Fast functional simulation using branching programs

This publication has 14 references indexed in Scilit:

• Logic verification using binary decision diagrams in a logic synthesis environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Sequential circuit design using synthesis and optimization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Dynamic variable ordering for ordered binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Implicit state enumeration of finite state machines using BDD's
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• MIS: A Multiple-Level Logic Optimization System
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• SSIM: a software levelized compiled-code simulator
  Published by Association for Computing Machinery (ACM) ,1987
• The Yorktown Simulation Engine: Introduction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• An Approach to Unified Methodology of Combinational Switching Circuits
  IEEE Transactions on Computers, 1977
• Diagnosis & Reliable Design of Digital Systems
  Published by Springer Nature ,1976
• Exclusive simulation of activity in digital networks
  Communications of the ACM, 1969