1. Hierarchical test generation using precomputed tests for modules;Murray;IEEE Trans. Comput. Aided Des.,1990
2. CHEETA: Composition of hierarchical sequential tests using ATKET;Vishakantaiah,1993
3. Hierarchical test generation under architectural level functional constraints;Lee;IEEE Trans. Computer-Aided Des. Integrated Circuits Syst.,1997
4. Test generation for gigahertz processors using an automatic functional constraint extractor;Tupuri,1999
5. TRANSPARENT: A system for RTL testability analysis, DFT guidance and hierarchical test generation;Makris,1999