基于自由二元判决图转换的可测性优化方法

作     者：章小兵 王勇 陈光 

作者机构：电子科技大学CAT研究室 

基　　金：国家"八五"重点科研项目 

出 版 物：《电子科技大学学报》 (Journal of University of Electronic Science and Technology of China)

年 卷 期：1997年第26卷第2期

页      码：171-174页

摘      要：提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比，这种方法适用于任意电路，特别是规模较大。

主 题 词：可测性 优化 冗余消除 自由二元判决图 

学科分类：080902[080902] 0809[工学-计算机类] 08[工学] 

核心收录：

馆 藏 号：203162379...