Property classification for functional verification based on CDFG
Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue · 2003
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.