组合逻辑线路动态测试方法论 |
| |
引用本文: | 袁由光,陈廷槐.组合逻辑线路动态测试方法论[J].重庆大学学报(自然科学版),1981,4(3). |
| |
作者姓名: | 袁由光 陈廷槐 |
| |
作者单位: | 重庆大学计算机及自动化系
(袁由光),重庆大学计算机及自动化系(陈廷槐) |
| |
摘 要: | 本文系统地研究了组合逻辑线路的动态测试,给出了生成一个动态可测故障以及一个冒险可测故障(静态不可测)完全测试集的方法。首先在“四值逻辑和星算法”的基础上,导出了一个识别逻辑线路所有(静态和动态)冒险的一个新的、系统的方法,然后应用获得的结果,推导了静态不可测单固定故障、多固定故障以及桥接故障的冒险测试公式,并举出了若干实例。
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《重庆大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆大学学报(自然科学版)》下载免费的PDF全文 |
|