Abhijit Ghosh, Sequential Test Generation and Synthesis for Testability at the Register-Transfer and Logic Levels, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, May 1993, vol. 12, No. 5, pp. 579-598, whole document. |
Steve Carlson et al., HDL Automation Targets Network Designs. Engineering Times, Nov. 11, 1996, No. 927, pages (4), whole document. |
http://www.silicon-sorcery.com/verilog-faq.html. |
Ho et al.; "Architecture Validation for Processors", Proceedings of the 22nd Annual International Symposium on Computer Architectures, pp. 404-413, Jun. 1995. |
Ho et al.; "Validation Coverage Analysis for Complex Digital Designs", Digest of Technical Papers of the IEEE/ACM International Conference on Computer-Aided Design, pp. 146-151, Nov. 1996. |
Armstrong, J. R.; "Efficient Approaches to Testing VHDL DSP Models", 1995 International Conference on Acoustics, Speech and Signal Processing, vol. 5, pp. 2865-2867, May 1995. |
Kapoor et al., "An Automatic Test Bench Generation System", Proceedings of the VHDL International Users Forum, pp. 8-17, May 1994. |
McCabe, P. A.; "VHDL-based System Simulation and Perfromance Measurement", Proceedings of the VHDL International Users Forum, pp. 48-57, May 1994. |
Hoskote et al.; "Automatic extraction of the Control Flow Machine and Application to Evaluating Coverage of Verification Vectors", Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, pp. 532-537, Oct. 1995. |
Mingyu et al., "Fault Coverage Analysis in Respect to an FSM Specification", Preceedings of the IEEE INFOCOM '94--Networking for Global Communications, vol. 2, pp. 768-775, Jun. 1994. |
Kapoor, S.; Armstrong, J.R.; Rao, S. R.; "An Automatic Test Bench Generation System", Proceedings of the VHDL International Users Forum, Spring Conference, pp. 8-17, May 4, 1994. |
Armstrong, J.R.; "Efficient Approaches to Testing VHDL DSP Models", International Conference on Acoustics, Speech and Signal Processing, ICASSP-95, vol. 5, pp. 2865-2867, May 12, 1995. |
Yao, M.; Petrenko, A.; v. Bochmann, G.; "Fault Coverage Analysis in Respect to an FSM Specification", 13th Proceedings IEEE INFOCOM '94: Networking for Global Communications, vol. 2, pp. 768-775, Jun. 16, 1994. |
Ho, R. C.; Han Yang, C.; Horowitz, M.A.; Dill, D. L.; "Architecture Validation for Processors", Proceedings of the 22nd Annual International Symposium on Computer Architecture, pp. 404-413, Jun. 24, 1995. |
Ho, R.C., Horowitz, M. A., "Validation Coverage Analysis for Complex Digital Designs", Digest of Technical Papers from the IEEE/ACM International Conference on Computer-Aided Design, pp. 146-151, Nov. 1996. |
Hoskote, Y. V.: Moundanos, D.; Abraham, J. A.; "Automatic Extraction of the Control Flow Machine in Application to Evaluating Coverage of Verification Vectors", Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Pro, Oct. 4, 1995. |
McCabe, P. A.; "VHDL-Based System Simulation and Performance Measurement", Proceedings of the VHDL International Users Forum. Spring Conference, pp. 48-57, May 4, 1994. |