Title of article :
Modular verification of timed circuits using automatic abstraction
Author/Authors :
Zheng، Hao نويسنده , , E.، Mercer, نويسنده , , C.، Myers, نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
-1137
From page :
1138
To page :
0
Abstract :
The major barrier that prevents the application of formal verification to large designs is state explosion. This paper presents a new approach for verification of timed circuits using automatic abstraction. This approach partitions the design into modules, each with constrained complexity. Before verification is applied to each individual module, irrelevant information to the behavior of the selected module is abstracted away. This approach converts a verification problem with big exponential complexity to a set of subproblems, each with small exponential complexity. Experimental results are promising in that they indicate that our approach has the potential of completing much faster while using less memory than traditional flat analysis.
Keywords :
homocysteine , Cretan Mediterranean diet , folate , Ischaemic heart disease
Journal title :
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Serial Year :
2003
Journal title :
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Record number :
97883
Link To Document :
بازگشت