分享一本断言书籍

xxppno1 · 发表于 2025-3-17 20:54:12

本帖最后由 xxppno1 于 2025-3-18 13:58 编辑

System Verilog Assertion_应用指南完整版这本书有点大上传不了,也怕有版权原因, 需要可以留言发给你. 这本书基本上把常用的断言都以案例方式展示出来了,而且是中文的好理解.提取码: mqs2

xxppno1 · 发表于 2025-3-17 20:57:10

这本书内容我感觉路科验证就是从这本书中抄的,或者作者和路科验证抄的同一个资源. 这本书把经常遇见的比如状态机,算法单元,还有数据存储单元都讲的.而不只是讲语法,不是只讲一些信号关系的判别.

xxppno1 · 发表于 2025-3-17 20:59:07

最后发表一下我的观点,非常适合FPGA工程师学习, 毕竟查错误, 不如自己写一个断言相当于功能说明了, 功能自己写的也知道断言怎么写, 错误也能提示自己哪里代码出问题了,不用天天看着波形, 我就不明白0101图那么好看吗 ,就应该写个验证, 直接报告错误出现在哪里, 也对验证工程师是个交代.

CrazyBingo · 发表于 2025-3-17 22:42:00

你可以放百度网盘，如果太大的话

CrazyBingo · 发表于 2025-3-17 22:42:29

xxppno1 发表于 2025-3-17 20:59
最后发表一下我的观点,非常适合FPGA工程师学习, 毕竟查错误, 不如自己写一个断言相当于功能说明了, 功能自 ...

可惜的是玩FPGA的，100个有101个不会断言，断言一般都是IC UVM验证的时候用的

Shane.F · 发表于 2025-3-18 12:38:39

感谢分享，给我一份，让团队成员学习一下。邮箱 576959481@qq.com

xxppno1 · 发表于 2025-3-18 13:29:37

cyZHANG · 发表于 2025-3-18 13:46:45

xxppno1 · 发表于 2025-3-18 13:58:40

cyZHANG 发表于 2025-3-18 13:46
感谢分享

楼顶, 发了

xxppno1 · 发表于 2025-3-18 13:59:12

Shane.F 发表于 2025-3-18 12:38
感谢分享，给我一份，让团队成员学习一下。邮箱

楼顶发了

		自动登录	找回密码
密码			立即注册