稀土掘金 稀土掘金
    • 首页
    • 沸点
    • 课程
    • 数据标注 HOT
    • AI Coding
    • 更多
      • 直播
      • 活动
      • APP
      • 插件
    • 直播
    • 活动
    • APP
    • 插件
      • 搜索历史 清空
        • 写文章
        • 发沸点
        • 写笔记
        • 写代码
        • 草稿箱
        创作灵感 查看更多
枕猫睡的个人资料头像

枕猫睡

创作等级LV.2
掘友等级
掘友1级：预备掘友
AE
Verilog、SystemVerilog，SVA
获得徽章 0
动态
文章
专栏
沸点
收藏集
关注
作品
赞
1
文章 1 沸点 0
赞
1
返回
|
搜索文章
SystemVerilog
SystemVerilog
SystemVerilog的基础知识
2022-03-21 16:37 · 文章数 2 · 订阅人数 0
Formal Verification
Formal Verification
形式化验证是芯片设计的一个重要环节，这是一个很有前景的应用领域。用形式化的数学模型，根据设计的specs对设计功能进行属性描述，并自动进行模拟和证明。
2022-03-18 15:45 · 文章数 2 · 订阅人数 0
Assert
Assert
学习编写断言property的基础知识
2022-03-18 15:06 · 文章数 2 · 订阅人数 0
新建专栏
欢迎大家使用稀土掘金专栏，让你的写作更加体系化～
0/50
0/150
点击上传图片
建议尺寸：480*270px
个人成就
文章被点赞 3
文章被阅读 5,273
掘力值 88
关注了
0
关注者
1
收藏集
0
关注标签
2
加入于
2022-03-18