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

Marc Boule, McGill University

Zeljko Zilic,McGill University

Generating Hardware

Assertion Checkers

For Hardware Verificaiton, Emulation,

PostMFabrication Debugging and

OnMLine Monitoring

2008, 279pp.

Hardcover

ISBN: 9781402085857

M.博尔等著

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

本书介绍的确证检验程序对于基于确证的广泛设计领域是关键性的,这些领域包括调试、交流设计意图、联机监控以及在设计过程中统一所有这些领域的处理方法。作者发明的工具产生了更有效和更正确的检验程序,同时该工具要比如今在文献中发现的任何其他的检验程序生成器更为彻底地支持DSL和SVA语言构造。

本书共有10章。1.绪论;2.确证及验证景观;3.在确证检验程序后面的基本技术;4.PSL和SVA确证语言;5.确证检验程序的动机;6.PSL确证检验程序的构造;7.PSL检验程序的增强特性及使用;8.PSL确证检验程序的评估与验证;9.System Verilog确证语言的检验程序;10.结论及未来的研究工作。最后是附录A:双向计数器实例。

本书适合人们在以下情况下使用:(1)想要有效地使用确证作为改进设计质量的手段;(2)想要更多地了解现代确证语言生成硬件确证检验程序。

胡光华,高级软件工程师

(原中国科学院物理学研究所)

Hu Guanghua, Senior Software Engineer

(Former Institute of Physics,CAS)