| 一种面向测试的RTL行为抽象与蕴含方法 |
| |
| 引用本文： | 尹志刚,李华伟,李晓维. 一种面向测试的RTL行为抽象与蕴含方法[J]. 同济大学学报(自然科学版), 2002, 30(10): 1199-1203 |
| |
| 作者姓名： | 尹志刚 李华伟 李晓维 |
| |
| 作者单位： | 中国科学院,计算技术研究所,北京,100080 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 6 97330 10 )，国家“86 3”高技术研究发展计划重点资助项目 ( 2 0 01AA11110 0 )，北京市重点科技资助项目 (H 0 2 0 12 0 14 0 130 ) |
| |
| 摘 要： | 针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。
|
| 关 键 词： | 抽象 蕴含 寄存器传输级 行为描述 测试向量 集成电路 芯片测试 |
| 文章编号： | 0253-374X(2002)10-1199-05 |
| 修稿时间： | 2002-05-30 |
Test-oriented Approach to RT-level Behavior Abstraction and Implication |
| |
| YIN Zhi-gang,LI Hua-wei,LI Xiao-wei. Test-oriented Approach to RT-level Behavior Abstraction and Implication[J]. Journal of Tongji University(Natural Science), 2002, 30(10): 1199-1203 |
| |
| Authors: | YIN Zhi-gang LI Hua-wei LI Xiao-wei |
| |
| Abstract: | ion of RTL behaviors,this paper proposes a hierarchical and conditional representation method.Abstracted behaviors are test-oriented and simply represented,and can be conveniently implicated as well.Circuits described are modeled to behavior sets after abstraction,and can be replaced by their behavior sets during functional test vector generation procedures.Great efficiency is obtained when implication operations are widely used to simplify behaviors during test generation. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
