Property Classification for Functional Verification Based on CDFG

M Zhu,JN Bian,WM Wu,HX Xue

DOI: https://doi.org/10.1109/ats.2003.1250871

2003-01-01

Abstract:Based on the advantages of simulation and model checking with CDFG structure, classified properties are proposed and defined for simulation, CDFG matching, and model checking respectively. With ITC99 benchmarks, the designed properties are verified, and the experimental results show that different properties should be verified distinguishingly.