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术语
……[看更多目录]