| 异步时序电路的功能测试自动生成方法 |
| |
| 引用本文： | 徐敬波,郑明,薄亚明.异步时序电路的功能测试自动生成方法[J].计算机工程,2003,29(16):71-72,102. |
| |
| 作者姓名： | 徐敬波 郑明 薄亚明 |
| |
| 作者单位： | 1. 江南大学信控学院,无锡,214036
2. 无锡华晶矽科微电子公司 |
| |
| 摘 要： | 异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上，提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图，然后通过对转换图的强连通图的搜索运算简化状态转换图，最后使用图论的方法求出测试序列。
|
| 关 键 词： | 异步时序电路 功能测试 有序二元判决图 状态转换图 |
| 文章编号： | 1000-3428(2003)16-0071-02 |
Functional Test Generation for Asynchronous Sequential Circuits |
| |
| XU Jingbo,ZHENG Ming,BO Yaming.Functional Test Generation for Asynchronous Sequential Circuits[J].Computer Engineering,2003,29(16):71-72,102. |
| |
| Authors: | XU Jingbo ZHENG Ming BO Yaming |
| |
| Affiliation: | XU Jingbo1,ZHENG Ming2,BO Yaming1 |
| |
| Abstract: | It is difficult to test for asynhchronous sequential circuits. This paper improves the approach of functional test generation for asynchronous sequential circuits.New method expresses the transition relation of circuit through Boolean characteristic function based on OBDD and determines the stable state by the operations based on OBDD.Furthermore, the transition relation of circuit is transformed into STG of circuit and simplifing the STG to detemine the sequential test by the algorithmic graph theory. |
| |
| Keywords: | Asynchronous sequential circuit Functional test OBDD STG |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
