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

作者：李暾; 郭阳; 李思昆

来源：软件学报, 2004, (10): 1441-1450.

DOI：10.13328/j.cnki.jos.2004.10.003

• VLSI
• 断言
• 模拟矢量自动生成 VLSI
• assertion
• automatic functional vectors generation

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

• 单位
  中国人民解放军国防科学技术大学