Abstract:
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.