Abstract
We present a behavioral synthesis method aimed at generating testabledatapaths. A non-scan testing strategy is targeted. Given performanceand area constraints, the system is aimed at seeking among potentialdesign alternatives the one presenting the least testabilityproblems. The backbone of this methodology is a testability analysismethod that works at different abstraction levels of the designdescription--from strictly behavioral domain to purely structuraldomain. Considering a partially mapped behavioral specification, thetestability analysis identifies the testability problems of thefuture structure. These problems are solved along the synthesisprocess, for example during the register allocation/binding task aspresented in this paper.[PUBLICATION ABSTRACT]