TESTABILITY ANALYSIS DRIVEN DATA PATH MODIFICATION AND CONTROLLER SYNTHESIS

In the paper, it is shown how testability analysis can be used both to modify digital data path for maximize testability at minimal costs and to offer information applicable during automated synthesis of a controller used to apply a test to the modified data path