Cohesive Coverage Management for Simulation and Formal Property Verification

Author

Hazra, Aritra ; Banerjee, Ansuman ; Mitra, Srobona ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim ; Mohan, Chunduri Rama

Author_Institution

Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur

fYear

2008

fDate

7-9 April 2008

Firstpage

251

Lastpage

256

Abstract

Relating formal verification coverage and simulation coverage is a challenge in pre-silicon validation. In this paper we propose the use of a test plan language as a formal basis for unifying the coverage goals for simulation and formal property verification. We present methods for computing the coverage of test points individually through simulation and formal property verification and for using the coverage due to one to ease the verification effort on the other. We demonstrate the efficiency of our approach through a study of the ARM AMBA pre-silicon verification plan.

Keywords

formal verification; ARM AMBA pre-silicon verification plan; cohesive coverage management; formal property verification; pre-silicon validation; test plan language; Computational modeling; Computer Society; Computer science; Computer simulation; Engineering management; Formal verification; Genetic mutations; Technology management; Testing; Very large scale integration; Coverage; Design for Test; Formal Property Verification; Simulation; Test; Test Plan; Verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Symposium on VLSI, 2008. ISVLSI '08. IEEE Computer Society Annual

Conference_Location

Montpellier

Print_ISBN

978-0-7695-3291-2

Electronic_ISBN

978-0-7695-3170-0

Type

conf

DOI

10.1109/ISVLSI.2008.53

Filename

4556803