硬件确证检验程序的产生 硬件验证、仿真、制造后调试及联机监控

• 作者: 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 硬件验证 检验程序 制造过程 电子集成电路 仿真 监控 联机 调试
• 年，卷（期）: 2009,（7）
• 页码范围: 17
• 页数: 1页
• 分类号: TP332

摘要

基于确证的设计是一个功能强大的范式，该范式促进了电子设计中质量的改进。确证是一语句，它被用来描述所能包括的性质（即设计意图）以便在整个设计周期甚至产品的生产周期主动地检验正确性。本书作者介绍了许多使用现代硬件确证语言产生检验程序电路自动生成的技术。如今，在现代电子集成电路及系统的开发中，70％的时间是花费在验证上。而且系统越来越需要未经全面的验证就被送入费用昂贵的制造过程，人们通常用验证危机来描述这一现象。多年以来，研发工程师能够使用的新验证方法进展不大。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光华	原中国科学院物理学研究所	254	0	0.0	0.0