同济大学学报(自然科学版)

2002, (10) 1199-1203

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

一种面向测试的RTL行为抽象与蕴含方法
Test-oriented Approach to RT-level Behavior Abstraction and Implication

尹志刚,李华伟,李晓维

摘要(Abstract):

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

关键词(KeyWords): 寄存器传输级;行为描述;测试向量

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金资助项目 ( 6 97330 10 ) ;; 国家“86 3”高技术研究发展计划重点资助项目 ( 2 0 01AA11110 0 ) ;; 北京市重点科技资助项目 (H 0 2 0 12 0 14 0 130 )

作者(Author): 尹志刚,李华伟,李晓维

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享