数字集成电路设计验证：量化评估、激励生成、形式化验证出版时间：2010年版内容简介　　《数字集成电路设计验证：量化评估、激励生成、形式化验证》内容涉及数字集成电路设计验证的三个主要方面：量化评估、激励生成和形式化验证。主要包括寄存器传输级（RTL）电路建模、基于可观测性的覆盖率评估方法、设计错误模型；基于故障模型的激励生成、基于RTL行为模型的激励生成、覆盖率驱动的激励生成；基于可满...

上一篇：看图学电子元器件选用、检测与查用100问
下一篇：电路实验技术 2010年版