Symbolic simulation-techniques and applications

This publication has 12 references indexed in Scilit:

• Restricted symbolic evaluation is fast and useful
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Verifying pipelined hardware using symbolic logic simulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Coded time-symbolic simulation using shared binary decision diagram
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Time-symbolic simulation for accurate timing verification of asynchronous behavior of logic circuits
  Published by Association for Computing Machinery (ACM) ,1989
• Test pattern generation for sequential MOS circuits by symbolic fault simulation
  Published by Association for Computing Machinery (ACM) ,1989
• ISAAC: a symbolic simulator for analog integrated circuits
  IEEE Journal of Solid-State Circuits, 1989
• COSMOS: a compiled simulator for MOS circuits
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Symbolic Simulation for Functional Verification with ADLIB and SDL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Concurrent simulation of nearly identical digital networks
  Computer, 1974