Testability properties of vertex precedent BDDs
A.I. Reis, A. Prado, M. Lubaszewski · 2002
This paper describes how technology mapping from VPBDDs is testability preserving. An algorithm for identifying unreachable arcs is presented. Theorems that prove the testability preservation during technology mapping are presented.