一种面向测试的RTL行为抽象与蕴含方法
在当今集成电路设计中,RTL(Register Transfer Level,寄存器传输级)行为描述被广泛采用.然在则,与其相关的测试分析或验证技术却远没有其设计技术成熟,因此得到了深入的研究.文中针对RTL行为的抽象,提出了一种层次化的带条件的表示.这种抽象的行为是面向测试的,它不仅表达简单,而且能很方便地进行蕴含操作.通过抽象,电路可以规范为行为集,并代替电路本身来进行功能测试向量的生成.在测试生成的过程中,大量地应用蕴含操作可以使其中的行为得到简化,并极大地提高系统的效率.
RTL(寄存器传输级) 行为描述 测试向量 测试生成
尹志刚 李华伟 李晓维
中国科学院计算技术研究所(北京)
国内会议
上海
中文
24-29
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）