Functional Verification

Hung Pin Wen*, Li C. Wang, Kwang Ting Cheng


研究成果: Chapter同行評審

1 引文 斯高帕斯(Scopus)


This chapter reviews the basic concepts of functional verification and the challenges associated with it. In a typical integrated circuit design flow, functional verification ensures that the implementation conforms to the specification. Because of the rapid growth of both design size and complexity, functional verification has become one of the key bottlenecks in the design process. Different levels of the verification hierarchy, including the designer level, unit level, core level, chip level, and system/board level, are explained. Various coverage metrics used for measuring the explored extent of verification also are provided. The simulation-based approach is currently the most pervasive form of verification. Key components such as test bench and simulation environment development are reviewed as well. The emerging assertion-based verification method is explained in detail. To compensate for the incompleteness of simulation-based verification, formal methods built on mathematical theories are developed. Basic concepts in equivalence checking, model checking, and theorem proving also are reviewed in the chapter. Current research efforts toward advancing functional verification are summarized in the conclusion.

主出版物標題Electronic Design Automation
發行者Elsevier Inc.
出版狀態Published - 1 12月 2009


深入研究「Functional Verification」主題。共同形成了獨特的指紋。