位置：成果数据库 > 著作 > 著作详情页
数字集成电路设计验证——量化评估,激励生成,形式化验证
  • 国际标准书号：ISBN 978-7-03-027609-4
  • 所属机构名称：中国科学院计算技术研究所
  • 成果类型：著作
  • 出版社：科学出版社
  • 相关项目：数字VLSI电路测试技术研究
同著作项目
数字VLSI电路测试技术研究
期刊论文 158 会议论文 59 著作 2
同项目著作
数字集成电路测试优化——测试压缩,测试功耗优化,测试调度