|
题名:
|
数字集成电路设计验证 / 李晓维 ... [等] 著 , |
|
ISBN:
|
978-7-03-027609-4 价格： CNY58.00 |
|
语种:
|
chi |
|
载体形态:
|
xii, 411页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2010.05 |
|
内容提要:
|
本书重点介绍过去五年内取得的相关研究成果, 兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。 |
|
主题词:
|
数字集成电路 电路设计 |
|
中图分类法:
|
TN431.2 版次： 4 |
|
其它题名:
|
量化评估、激励生成、形式化验证 |
|
主要责任者:
|
李晓维 著 |
|
主要责任者:
|
吕涛 著 |
|
主要责任者:
|
李华伟 著 |
|
主要责任者:
|
李光辉 著 |