符号模拟

摘要：

符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支.符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出端得到由这些初始符号变量组成的布尔表达式,并判断其是否具有所期望的特征.该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题,并对消除该问题的两种技术:近似值法和参数方法,进行了讨论.介绍了具有一定自动机处理能力的符号轨迹评价方法.

关键词：符号模拟、近似值、参数方法、符号轨迹评价方法

所属期刊栏目：33

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

资助基金：国家自然科学基金60373113;国家重点基础研究发展计划973计划2004CB318000

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

页数：共4页

页码：27-29,33