A controller resynthesis based method for improving datapath testability
Marie-Lise Flottes, Bruno Rouzeyre, L. Volpe · 2000
Even if a datapath has been synthesized with testability in view, its testability may strongly decreases once it is connected to its controller. In this paper, we propose controller modifications for restoring the testability of the datapath to a level close to the initial one. Those modifications concern the next state logic as well as the decoder part of the controller. The method is based on the results of a testability analysis of the datapath at RT level and on finite automata theory.