Test-pattern generation for VLSI circuits in a Prolog environment

This publication has 5 references indexed in Scilit:

• Hardware Verification
  Computer, 1985
• Concurrent Prolog as an Efficient VLSI Design Language
  Computer, 1985
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980
• Diagnosis & Reliable Design of Digital Systems
  Published by Springer Nature ,1976
• Concurrent simulation of nearly identical digital networks
  Computer, 1974