登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

数字集成电路设计验证 : 量化评估、激励生成、形式化验证
PISBN：9787030276094
出版类型：专著
出版时间：2010-05-01
版次：1
作者：李晓维[等]著
学科：动力与电气工程
语种：中文
所属数据库：科学文库
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

集成电路验证
  • 作者：沈海华,张锋,乐翔 著
  • PISBN：9787030553706
  • 出版时间：2019-01-01
...

数字集成电路设计与技术
  • 作者：林丰成，竺红卫，李立编著
  • PISBN：9787030220301
  • 出版时间：2008-10-01
...

数字集成电路设计实验教程
  • 作者：王忆文，杜涛，谢小东，李辉
  • PISBN：9787030442697
  • 出版时间：2015-06-01
...

集成电路系统设计、验证与测试
  • 作者：(美)Louis Scheffer，(美)Luciano Lavagno，(美)Grant Martin著；陈力颖，王猛译
  • PISBN：9787030214904
  • 出版时间：2008-06-01
...

数字集成电路物理设计
  • 作者：陈春章， 艾霞， 王国雄编著
  • PISBN：9787030220318
  • 出版时间：2008-08-01
...

数字集成电路的分析与设计
  • PISBN：0070291535