一种面向测试的RTL行为抽象与蕴含方法

摘要：

针对寄存器传输级(register transfer level,RTL)行为的抽象,提出了一种层次化的带条件的表示.这种抽象的行为是面向测试的,它不仅表达简单,而且能很方便地进行蕴含操作.通过抽象,电路可以规范为行为集,并代替电路本身进行功能测试向量的生成.在测试生成过程中,大量地应用蕴含操作可以使其中的行为得到简化,并极大地提高了系统的效率.

关键词：寄存器传输级、行为描述、测试向量

所属期刊栏目：30

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

资助基金：国家自然科学基金69733010;国家高技术研究发展计划863计划2001AA111100;北京市重点科技基金H 020120140130

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

页数：共5页

页码：1199-1203