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.博爾等著

基于確證的設(shè)計是一個功能強(qiáng)大的范式,該范式促進(jìn)了電子設(shè)計中質(zhì)量的改進(jìn)。確證是一語句,它被用來描述所能包括的性質(zhì)(即設(shè)計意圖)以便在整個設(shè)計周期甚至產(chǎn)品的生產(chǎn)周期主動地檢驗正確性。本書作者介紹了許多使用現(xiàn)代硬件確證語言產(chǎn)生檢驗程序電路自動生成的技術(shù)。如今,在現(xiàn)代電子集成電路及系統(tǒng)的開發(fā)中,70%的時間是花費在驗證上。而且系統(tǒng)越來越需要未經(jīng)全面的驗證就被送入費用昂貴的制造過程,人們通常用驗證危機(jī)來描述這一現(xiàn)象。多年以來,研發(fā)工程師能夠使用的新驗證方法進(jìn)展不大。

本書介紹的確證檢驗程序?qū)τ诨诖_證的廣泛設(shè)計領(lǐng)域是關(guān)鍵性的,這些領(lǐng)域包括調(diào)試、交流設(shè)計意圖、聯(lián)機(jī)監(jiān)控以及在設(shè)計過程中統(tǒng)一所有這些領(lǐng)域的處理方法。作者發(fā)明的工具產(chǎn)生了更有效和更正確的檢驗程序,同時該工具要比如今在文獻(xiàn)中發(fā)現(xiàn)的任何其他的檢驗程序生成器更為徹底地支持DSL和SVA語言構(gòu)造。

本書共有10章。1.緒論;2.確證及驗證景觀;3.在確證檢驗程序后面的基本技術(shù);4.PSL和SVA確證語言;5.確證檢驗程序的動機(jī);6.PSL確證檢驗程序的構(gòu)造;7.PSL檢驗程序的增強(qiáng)特性及使用;8.PSL確證檢驗程序的評估與驗證;9.System Verilog確證語言的檢驗程序;10.結(jié)論及未來的研究工作。最后是附錄A:雙向計數(shù)器實例。

本書適合人們在以下情況下使用:(1)想要有效地使用確證作為改進(jìn)設(shè)計質(zhì)量的手段;(2)想要更多地了解現(xiàn)代確證語言生成硬件確證檢驗程序。

胡光華,高級軟件工程師

(原中國科學(xué)院物理學(xué)研究所)

Hu Guanghua, Senior Software Engineer

(Former Institute of Physics,CAS)