数字集成电路设计验证
数字集成电路设计验证电子书籍推荐下载地址
内容简介：
《数字集成电路设计验证:量化评估、激励生成、形式化验证》内容涉及数字集成电路设计验证的三个主要方面：量化评估、激励生成和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆盖率评估方法、设计错误模型；基于故障模型的激励生成、基于RTL行为模型的激励生成、覆盖率驱动的激励生成；基于可满足性的等价性检验、包含黑盒电路的形式化验证，以及不可满足问题。
全书图文并茂，阐述了作者及其科研团队自主创新的研究成果和结论，对致力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生)，具有较大的学术参考价值，也可用作集成电路专业的高等院校教师、研究生和高年级本科生的教学参考书。
书籍目录：
暂无相关目录，正在全力查找中！
作者简介：
暂无相关内容，正在全力查找中
其它内容：
暂无其它内容！
下载评论
-
用户1735361323：
( 2024-12-28 12:48:43 )
多格式功能搭配EPUB/MOBI格式，完整数字阅读体验，资源优质。
-
用户1735528091：
( 2024-12-30 11:08:11 )
极速下载EPUB/TXT文件，无损教材推荐收藏，体验良好。
-
用户1727621624：
( 2024-09-29 22:53:44 )
秒传下载EPUB/TXT文件，高清期刊推荐收藏，操作便捷。
-
用户1719036536：
( 2024-06-22 14:08:56 )
无延迟下载PDF/AZW3文件，无损小说推荐收藏，操作便捷。
-
用户1714427377：
( 2024-04-30 05:49:37 )
完整版本期刊资源，PDF/TXT格式适配各种阅读设备，操作便捷。
相关书评
暂时还没有人为这本书评论！
下载点评