Title :
A novel collaborative scheme of simulation and model checking for property verification
Author :
Zhu, Ming ; Bian, Jinian ; Wu, Weimin
Author_Institution :
Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Abstract :
A collaborative scheme for verifying classified properties of a design is proposed. These properties are classified for three verification techniques, i.e. module logic simulation, BDD (binary decision diagram) based model checking and CDFG (control data flow graph) matching. The cooperative process is performed on a refined model from CDFG structure and three interactive methods are employed to complete the verification. The optimization techniques, BDD variables reordering and property grouping are discussed and examined. This collaborative scheme is implemented on the benchmarks ITC99, which demonstrates its validity and practicality.
Keywords :
binary decision diagrams; data flow graphs; digital simulation; groupware; optimisation; program verification; temporal logic; BDD variables reordering; ITC99; binary decision diagram based model checking; collaborative simulation; control data flow graph matching; interactive methods; module logic simulation; optimization techniques; property grouping; property verification; Binary decision diagrams; Boolean functions; Collaboration; Computational modeling; Computer bugs; Computer science; Data structures; Design engineering; Logic design; Testing;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on
Print_ISBN :
0-7803-7941-1
DOI :
10.1109/CACWD.2004.1349159
