数字集成电路设计验证 pdf epub mobi txt 电子书 下载 2024
发表于2024-09-20
数字集成电路设计验证 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
数字集成电路设计验证 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
数字集成电路设计验证 pdf epub mobi txt 电子书 下载 2024
图书描述
《数字集成电路设计验证:量化评估、激励生成、形式化验证》内容涉及数字集成电路设计验证的三个主要方面：量化评估、激励生成和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆盖率评估方法、设计错误模型；基于故障模型的激励生成、基于RTL行为模型的激励生成、覆盖率驱动的激励生成；基于可满足性的等价性检验、包含黑盒电路的形式化验证，以及不可满足问题。
全书图文并茂，阐述了作者及其科研团队自主创新的研究成果和结论，对致力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生)，具有较大的学术参考价值，也可用作集成电路专业的高等院校教师、研究生和高年级本科生的教学参考书。
著者简介
图书目录
数字集成电路设计验证 pdf epub mobi txt 电子书 下载
用户评价
评分
评分
评分
评分
评分
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
数字集成电路设计验证 pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
满地骨头 pdf epub mobi txt 电子书 下载 -
非晶和高熵合金 pdf epub mobi txt 电子书 下载
-
井巷工程设计与施工 pdf epub mobi txt 电子书 下载
-
计算机控制系统容错设计技术及应用 pdf epub mobi txt 电子书 下载
-
一汽奥迪A6轿车维修问答 pdf epub mobi txt 电子书 下载
-
日产轿车底盘维修手册 pdf epub mobi txt 电子书 下载
-
大电网最优潮流计算 pdf epub mobi txt 电子书 下载
-
日产轿车电气系统维修手册 pdf epub mobi txt 电子书 下载
-
彩电I2C总线系统维修调整资料大全 pdf epub mobi txt 电子书 下载
-
兽医内科学 pdf epub mobi txt 电子书 下载
-
有机化学 pdf epub mobi txt 电子书 下载
-
江泽民论党的建设学习问答 pdf epub mobi txt 电子书 下载
-
大学物理教程（上册） pdf epub mobi txt 电子书 下载
-
国际贸易实务 pdf epub mobi txt 电子书 下载
-
妇儿疾病误诊误治分析与对策 pdf epub mobi txt 电子书 下载
-
侵权责任法实务教程 pdf epub mobi txt 电子书 下载
-
家具与陈设 pdf epub mobi txt 电子书 下载
-
电脑多重启动不求人 pdf epub mobi txt 电子书 下载
-
公民道德建设范典 pdf epub mobi txt 电子书 下载
-
无敌 高中超要点万用手册 pdf epub mobi txt 电子书 下载
