L. J. Avra and E. J. Mccluskey, High-Level Synthesis of Testable Designs: An Overview of University Systems, International Test Conference, 1994.

K. D. Wagner and S. Dey, 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

S. Dey, V. Gangaram, and M. Potkonjak, 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

F. F. Hsu, E. M. Rudnick, and J. H. Patel, Enhancing highlevel control-flow for improved testability, Proc. Int. Conf. Comput.-Aided Des, pp.322-328, 1996.

S. Ravi, G. Lakshminarayana, and N. K. Jha, 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

S. Bathia and N. K. Jha, Genesis: a behavioral synthesis system for hierarchical testability, Proc. Eur. Des. Test Conf, pp.272-276, 1994.

M. L. Flottes, R. Pires, and B. Rouzeyre, 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

M. L. Flottes, R. Pires, and B. Rouzeyre, 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

R. Smith and V. J. , A First Course in Formal Language Theory, 1983.