Property Classification for Functional Verification Based on CDFG

摘要

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.