| 基于自由二元判决图转换的可测性优化方法 |
| |
| 引用本文： | 章小兵,王勇,陈光.基于自由二元判决图转换的可测性优化方法[J].电子科技大学学报(社会科学版),1997(2). |
| |
| 作者姓名： | 章小兵 王勇 陈光 |
| |
| 作者单位： | 电子科技大学ＣＡＴ研究室 |
| |
| 基金项目： | 国家“八五”重点科研项目 |
| |
| 摘 要： | 提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比，这种方法适用于任意电路，特别是规模较大、不能用两级逻辑表达的电路
|
| 关 键 词： | 可测性 优化 冗余消除 自由二元判决图 |
Testability Optimization Based on Free Binary Decision Diagram Transformation |
| |
| Zhang Xiaobing,Wang Yong,Cheng Guangju.Testability Optimization Based on Free Binary Decision Diagram Transformation[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),1997(2). |
| |
| Authors: | Zhang Xiaobing Wang Yong Cheng Guangju |
| |
| Abstract: | |
| |
| Keywords: | testability logic optimization redundancy removal free binary decision diagram |
| 本文献已被 CNKI 等数据库收录！ |
