数字集成电路设计验证: 量化评估、激励生成、形式化验证/李晓维 ...

附件:

设置1:

设置2:吕涛

设置3:

设置4:本书重点介绍过去五年内取得的相关研究成果, 兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。

附注提要

本书重点介绍过去五年内取得的相关研究成果, 兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息