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

摘要

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