VLSI design synthesis with testability

This publication has 7 references indexed in Scilit:

• Flamel: A High-Level Hardware Compiler
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• An Automatic DFT System for the Silc Silicon Compiler
  IEEE Design & Test of Computers, 1986
• Using Bottom-Up Design Techniques in the Synthesis of Digital Hardware from Abstract Behavioral Descriptions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• A Knowledge-Based System for Designing Testable VLSI Chips
  IEEE Design & Test of Computers, 1985
• A knowledge based system for selecting a test methodology for a PLA
  Published by Association for Computing Machinery (ACM) ,1985
• Automatic Data Path Synthesis
  Computer, 1983
• Design for testability—A survey
  Proceedings of the IEEE, 1983