A controller resynthesis based method for improving datapath testability

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.

[1]  Miodrag Potkonjak,et al.  A controller-based design-for-testability technique for controller-data path circuits , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[2]  Bruno Rouzeyre,et al.  Alleviating DFT cost using testability driven HLS , 1998, Proceedings Seventh Asian Test Symposium (ATS'98) (Cat. No.98TB100259).

[3]  Elizabeth M. Rudnick,et al.  Enhancing high-level control-flow for improved testability , 1996, ICCAD 1996.

[4]  Sujit Dey,et al.  High-level synthesis for testability: a survey and perspective , 1996, DAC '96.

[5]  Niraj K. Jha,et al.  Genesis: a behavioral synthesis system for hierarchical testability , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

[6]  Bruno Rouzeyre,et al.  Analyzing testability from behavioral to RT level , 1997, Proceedings European Design and Test Conference. ED & TC 97.