图书标签: assertion system Verilog SVA 计算机 verification tech-software systemverilog
发表于2024-11-24
System Verilog Assertions应用指南 pdf epub mobi txt 电子书 下载 2024
本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章,可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章,读者应该能在他们的设计/验证环境中写断言。
第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节,以这些章节作为起点开始写断言。这些章节也可以作为指导。
随书附一张光盘。本书中所有例子都可以用VCS 2005.06发行版运行,也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。
一本供数字电路验证员查阅的assertion语法手册和实例参考。原版成书时也是SystemVerilog-2005标准发布。读完前0-2章,工程assertion能读懂;3-7章按需而读,从中慢慢体会用法。能感觉到作者编例子想深入浅出囊括所有语法的努力。但阅罢也估计写不出一行像样的testbench,缘知此事要恭行。
评分只看过第一章。写的太细了。。。
评分一本供数字电路验证员查阅的assertion语法手册和实例参考。原版成书时也是SystemVerilog-2005标准发布。读完前0-2章,工程assertion能读懂;3-7章按需而读,从中慢慢体会用法。能感觉到作者编例子想深入浅出囊括所有语法的努力。但阅罢也估计写不出一行像样的testbench,缘知此事要恭行。
评分入门还可以。整本书不是很详细。 还有其他更好地书籍可供选择。
评分入门还可以。整本书不是很详细。 还有其他更好地书籍可供选择。
评分
评分
评分
评分
System Verilog Assertions应用指南 pdf epub mobi txt 电子书 下载 2024