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

作     者：李暾 郭阳 李思昆 

作者机构：国防科学技术大学计算机学院湖南长沙410073 

基　　金：国家自然科学基金 国家高技术研究发展计划(863) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2004年第15卷第10期

页      码：1441-1450页

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

主 题 词：VLSI 断言 模拟矢量自动生成 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2004.10.003

馆 藏 号：203393049...