关键词: 特性, 验证, 模拟, 模型检验, 协同验证, 数据控制流图

Abstract: To improve functional verification efficiency in large-scale circuit designs, a novel collaborative verification scheme was proposed and seamless collaboration platform for various verification technologies was constructed. Through this scheme, system functions were verified by adaptively selecting appropriate techniques according to classified functional properties. Therefore, the overall verification scale could be effectively reduced by selecting the most suitable verification method and special optimization techniques for different parts of the design. The collaborative process was performed on a refined model extracted from Control Data Flow Graph (CDFG) by using special optimization techniques such as property grouping, variable reordering and model-refining. The validity and practicality of this collaborative scheme were checked by the experiments on ITC99 benchmarks.

Key words: property, verification, simulation, model checking, collaborative verification, control data flow graph