METHODS AND SYSTEMS FOR IMPROVED INTEGRATED CIRCUIT FUNCTIONAL SIMULATION

摘要

Methods and systems for performing symbolic simulation, including techniques for translating (230) a conventional simulation into a symbolic simulation, for handling wait and delay states, and for performing temporally out-of-order simulations. Additional techniques for extracting (245) a signal graph from an HDL representation (205) of a device, for representing signal values as functions of time using binary decision diagrams (250), and for computing minimal signal sets for accurate simulation. Techniques and methods for improving waveform dumping, reducing the waveform database, and for combining out of-order simulation or reduced time steps with conventional time-based simulation.