期刊文献+

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

Generating Hardware Assertion Checkers For Hardware Verificaiton, Emulation, Post-Fabrication Debugging and On-Line Monitoring
原文传递
导出
摘要 基于确证的设计是一个功能强大的范式,该范式促进了电子设计中质量的改进。确证是一语句,它被用来描述所能包括的性质(即设计意图)以便在整个设计周期甚至产品的生产周期主动地检验正确性。本书作者介绍了许多使用现代硬件确证语言产生检验程序电路自动生成的技术。如今,在现代电子集成电路及系统的开发中,70%的时间是花费在验证上。而且系统越来越需要未经全面的验证就被送入费用昂贵的制造过程,人们通常用验证危机来描述这一现象。多年以来,研发工程师能够使用的新验证方法进展不大。
作者 胡光华
出处 《国外科技新书评介》 2009年第7期17-17,共1页 Scientific & Technology Book Review
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部