A tool for hierarchical test generation

This publication has 6 references indexed in Scilit:

• Chip-level modeling with HDLs
  IEEE Design & Test of Computers, 1988
• Graph based retargetable microcode compilation in the MIMOLA design system
  Published by Association for Computing Machinery (ACM) ,1987
• The MIMOLA Design System: Tools for the Design of Digital Processors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Automatic Generation of Microprocessor Test Programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980
• EBT: A Comprehensive Test Generation Technique for Highly Sequential Circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978