System Verilog Assertions应用指南(附光盘)(国外电子信息经典教材)

特别声明:本站仅为商品信息简介,并不出售商品,您可点击文中链接进入淘宝网搜索页搜索该商品,有任何问题请与具体淘宝商家联系。
參考價格: 点此进入淘宝搜索页搜索分類: 图书,电子与通信,基本电子电路,一般性问题,电子电路设计,
品牌: 维加亚拉哈文
基本信息·出版社:清华大学出版社
·页码:305 页
·出版日期:2006年
·ISBN:7302134413
·条形码:9787302134411
·包装版本:1
·装帧:平装
·开本:32开
·丛书名:国外电子信息经典教材
产品信息有问题吗?请帮我们更新产品信息。
内容简介本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章,可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章,读者应该能在他们的设计/验证环境中写断言。
第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节,以这些章节作为起点开始写断言。这些章节也可以作为指导。
随书附一张光盘。本书中所有例子都可以用VCS 2005.06发行版运行,也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。
编辑推荐本书不仅系统地介绍了SVA这种硬件验证语言(HVL)的基本语法,而且针对不同类型的IC设计深入浅出地介绍了SVA的应用。全书共分8章,其中前面三章介绍了ABV(基于断言的验证)方法学、SVA的语法及用一个实例介绍了SVA的应用。后四章分别讨论了SVA在各种典型设计中的应用。这些典型设计模型包括了:有限状态机(FSM),数据通道,存储控制器,基于PCI局部总线系统和测试平台(testbench)。无论是对刚刚接触断言的新手还是资深设计验证工程师,本书都是案前必备的一本参考书!
目录
第0章 基于断言的验证
第1章 SVA介绍
1.1什么是断言
1.2为什么使用System Verilog断言(SVA)
1.3System Verilog的调度
1.4SVA术语
……[看更多目录]