A Novel Collaborative Scheme of Simulation and Model Checking for Property Verification

摘要：

A novel collaborative scheme for verifying classifiedproperties of a design is proposed These properties areclassified for three verification techniques, i.e. modulelogic simulation, BDD (Binary Decision Diagram)-based model checking and CDFG (Control Data FlowGraph) matching. The cooperative process is performedon a refined model from CDFG structure and threeinteractive methods are employed to complete theverification. The optimization techniques, BDDvariables reordering and property grouping arediscussed and examined This collaborative scheme isimplemented on the benchmarks ITC99, whichdemonstrates its validity and practicality.

作者: Ming Zhu Jinian Bian Weimin Wu

作者单位: Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China

会议类型: 国际会议

会议名称: The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

会议地点: 厦门

会议语种:英文

页码: 67-72

在线出版日期: 2004-05-26（万方平台首次上网日期，不代表论文的发表时间）