Collecting Data About Logic Simulation

This publication has 11 references indexed in Scilit:

• HAL: A High-Speed Logic Simulation Machine
  IEEE Design & Test of Computers, 1985
• A Survey of Hardware Accelerators Used in Computer-Aided Design
  IEEE Design & Test of Computers, 1984
• An Experimental MOS Fault Simulation Program CSASIM
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• A Logic Simulation Machine
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
• The Yorktown Simulation Engine: Introduction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• The Yorktown Simulation Engine
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• A unified switching theory with applications to VLSI design
  Proceedings of the IEEE, 1982
• Analysis of future event set algorithms for discrete event simulation
  Communications of the ACM, 1981
• Event manipulation for discrete simulations requiring large numbers of events
  Communications of the ACM, 1978
• TEGAS2---anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
  Published by Association for Computing Machinery (ACM) ,1972