High-Level Synthesis of Testable Designs: An Overview of University Systems, International Test Conference, 1994. ,
High-level synthesis for testability, Proceedings of the 33rd annual conference on Design automation conference , DAC '96, pp.131-136, 1996. ,
DOI : 10.1145/240518.240543
A controller-based design-for-testability technique for controller-data path circuits, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), pp.534-540, 1995. ,
DOI : 10.1109/ICCAD.1995.480168
Enhancing highlevel control-flow for improved testability, Proc. Int. Conf. Comput.-Aided Des, pp.322-328, 1996. ,
TAO: regular expression based high-level testability analysis and optimization, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270), pp.331-340, 1998. ,
DOI : 10.1109/TEST.1998.743171
Genesis: a behavioral synthesis system for hierarchical testability, Proc. Eur. Des. Test Conf, pp.272-276, 1994. ,
Analyzing testability from behavioral to RT level, Proceedings European Design and Test Conference. ED & TC 97, pp.158-165, 1997. ,
DOI : 10.1109/EDTC.1997.582352
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.3681
Alleviating DFT cost using testability driven HLS, Proceedings Seventh Asian Test Symposium (ATS'98) (Cat. No.98TB100259), pp.46-51, 1998. ,
DOI : 10.1109/ATS.1998.741582
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3000
A First Course in Formal Language Theory, 1983. ,