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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
