大拱桥--暨南大学学生门户 » 图书馆 » 数字集成电路、逻辑集成电路 » System Verilog Assertions应用指南
名称 System Verilog Assertions应用指南
索引号 TN431.202/20091
分类号 TN431.202
TN431.2(数字集成电路、逻辑集成电路)
TN431(双极型)
TN43(半导体集成电路（固体电路）)
TN4(微电子学、集成电路（IC）)
TN(无线电电子学、电信技术)
T(工业技术)
作者 维加亚拉哈文、 S.、拉马纳坦、 M.、陈俊杰、
出版社 北京 : 清华大学出版社, 2006
ISBN 7-302-13441-3
页数 305页 : 图 ; 23cm 光盘1片
价格 CNY39.80
标签 assertion、verification、@已购纸书、it、verilog、system、systemverilog、
简介
注解 由施普林格出版公司授权清华大学出版社出版 据Springer Press Ltd. 2005年英文版译 编目员自译责任者 (Vijayaraghavan) 汉译姓: 维加亚拉哈文, 责任者(Ramanathan)规范汉译姓: 拉马纳坦 本书包括基于断言的验证,SVA介绍, SVA模拟方法论, SVA在有限状态机中的应用, SVA用于数据集约型(DATA iTENSIVE)的设计, SVA储存器, SVA协议接口,对检验器的检验等内容。
书籍简介

本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章，可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章，读者应该能在他们的设计/验证环境中写断言。
第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节，以这些章节作为起点开始写断言。这些章节也可以作为指导。
随书附一张光盘。本书中所有例子都可以用VCS 2005.06发行版运行，也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。