异步时序电路的功能测试自动生成方法

• 作者: 徐敬波 薄亚明 郑明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 异步时序电路 功能测试 有序二元判决图 状态转换图
• 年，卷（期）: 2003,（16）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 71-72,102
• 页数: 3页
• 分类号: TP391.76
• 字数: 4091字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.16.031

摘要

异步时序电路的测试一直是一个比较困难的问题.该文通过在前人研究的基础上,提出了一种实用、高效的自动测试生成方法.该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图,然后通过对转换图的强连通图的搜索运算简化状态转换图,最后使用图论的方法求出测试序列.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐敬波	江南大学信控学院	6	1	1.0	1.0
2	薄亚明	江南大学信控学院	26	136	5.0	11.0
3	郑明		2	1	1.0	1.0