面向系统功能特性的协同验证方法研究

为了提高芯片设计中功能验证环节的效率，提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法，构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是：特定的功能特性采用特定的验证技术更有效。因此，利用不同验证技术的互补验证能力，可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型，该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术，以提高验证速度。根据在ITC99上的验证，证明了该协同验证方法的有效性和实用性。

Collaborative verification scheme for system functional properties

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.