基于断言的模拟矢量自动生成方法

摘要：

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高.

关键词：VLSI、断言、模拟矢量自动生成

所属期刊栏目：15

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金60303011,90207019;国家高技术研究发展计划863计划2002AA1Z1480

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

页数：共10页

页码：1441-1450