摘要
为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。
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 practicalitv of this collaborative scheme were checked by the experiments on ITC99 benchmarks.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2005年第12期1732-1737,1796,共7页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(60203020
60273011)
国家863/CIMS主题资助项目(2003AA115110)~~
关键词
特性
验证
模拟
模型检验
协同验证
数据控制流图
property
verification
simulation
model checking
collaborative verification
control data flow graph
