Title :
Property-classified hybrid verification based on CDFG
Author :
Ming Zhu ; Jinian Bian ; Weimin Wu ; Hongxi Xue
Author_Institution :
Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Abstract :
Developing the advantages of simulation and formal verification on CDFG structure, classified properties verification, a new strategy is proposed in this paper: Improving on OVL assertions and CTL descriptions, three types of properties are defined as blank PROCEDUREs in VHDL for simulation, CDFG matching, and model checking, respectively. For ITC99 benchmarks, test properties are designed and verified, and the results confirm that classified properties verifying is practice.
Keywords :
data flow graphs; digital simulation; formal verification; hardware description languages; CDFG matching; CDFG structure; CTL descriptions; ITC99 benchmarks; OVL assertions; VHDL; classified properties hybrid verification; control flow graph; data flow graph; formal verification; model checking; verilog hardware description language;
Conference_Titel :
ASIC, 2003. Proceedings. 5th International Conference on
Print_ISBN :
0-7803-7889-X
DOI :
10.1109/ICASIC.2003.1277531
