中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

ISBN及定价:

7-89486-065-4 光盘

载体形态项:

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

统一题名:

Practical guide for system Verilog assertions

丛编项:

国外电子信息经典教材

个人责任者:

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

个人责任者:

拉马纳坦 (Ramanathan, Meyyappan) 编著

个人次要责任者:

陈俊杰 译

学科主题:

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

中图法分类号:

TN431.202

版本附注:

据Springer Press Ltd. 2005年英文版译出.

出版发行附注:

本书中文简体字版由施普林格出版公司授权清华大学出版社出版

责任者附注:

责任者 (Ramanathan) 规范汉译姓: 拉马纳坦.

提要文摘附注:

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

豆瓣简介：