RTL级模拟矢量自动生成设计化简方法研究

摘要：

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的.实验结果表明:该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题.

关键词：VLSI、Verilog程序切片、有限状态机、模拟矢量自动生成

所属期刊栏目：16

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

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

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

页数：共7页

页码：671-677