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

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

Testability Optimization Based on Free Binary Decision Diagram Transformation

This paper presents a testability optimization method based on free binary decision diagram transformation.In this method,circuit is first converted to FBDD representation,then converted to easily testable multi-level network by replacing BDD nodes with multiplexors,and finally converted to testable circuit by redundancy removal.The method's advantage over the classical ones is that it is suitable for almost arbitrary circuits,especially very large scale circuits that can not be represented by two-level logic.