西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

System Verilog Assertions应用指南/(美) Srikanth Vijayaraghavan, Meyyappan Ramanathan编著 陈俊杰等译

出版发行项:

北京:清华大学出版社,2006

ISBN及定价:

7-302-13441-3/CNY39.80 (含光盘)

ISBN及定价:

7-89486-065-4 光盘

载体形态项:

305页:图;23cm+光盘1片

并列正题名:

Practical guide for systemVerilog assertions

丛编项:

国外电子信息经典教材

个人责任者:

维加亚拉哈文, S. (Vijayaraghavan, Srikanth) 编著

个人责任者:

拉马纳坦, M. (Ramanathan, Meyyappan) 编著

个人次要责任者:

陈俊杰 译

学科主题:

集成电路-芯片-计算机辅助设计-硬件描述语言, Verilog

中图法分类号:

TN431.202

出版发行附注:

由施普林格出版公司授权清华大学出版社出版

责任者附注:

编目员自译责任者 (Vijayaraghavan) 汉译姓: 维加亚拉哈文, 责任者(Ramanathan)规范汉译姓: 拉马纳坦

提要文摘附注:

本书包括基于断言的验证,SVA介绍, SVA模拟方法论, SVA在有限状态机中的应用, SVA用于数据集约型(DATA iTENSIVE)的设计, SVA储存器, SVA协议接口,对检验器的检验等内容。

豆瓣简介：