|
题名:
|
System Verilog Assertions应用指南 / (美)维加亚拉哈文Vijayaraghavan,Srikanth , |
|
ISBN:
|
7-302-13441-3 价格： 39.80 |
|
载体形态:
|
402页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 20060101 |
|
内容提要:
|
本书涉及SVA介绍，SVA模拟方法论，SVA在有限状态机中的应用，SVA用于数据集约型的设计，储存器，SVA协议接口，对校验器的检验等。 |
|
主题词:
|
电子电路 |
|
中图分类法:
|
TN702 版次： |