High level synthesis with testability constraints

In this paper, a new approach to high-level synthesis testability evaluation is introduced. This approach consists of two phases: abstraction and propagation. In the abstraction phase, the function´s primitive testability measures are abstracted from their oBDD representation. Then, the testability measure is propagated to evaluate data path testability and used in the synthesis for testability process. The choice of a testable design and the modification of a data flow during or after the scheduling and allocation phases are shown to be efficient