求书《数字集成电路设计验证》

dake1025 · 发表于 2016-3-28 16:39:59

您需要登录才可以下载或查看，没有账号？注册

x

如题：求李晓维编写的《数字集成电路设计验证》一书，电子版。

jacobshen · 发表于 2016-3-28 20:55:46

本书是全面论述数字集成电路设计验证方法的学术著作，汇集了自2000年以来中国科学院计算研究所（以下简称中科院计算所）在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面：量化评估、激励生成和形式化验证。　

iceinsky · 发表于 2022-12-30 17:46:25

版主，这本书你现在有了么？

[资料] 求书《数字集成电路设计验证》