LCC simulators speed development of synchronous hardware
Computer Design
Distributed and parallel demand driven logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
LECSIM: a levelized event driven compiled logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Automatic generation of compiled simulations through program specialization
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Efficient circuit partitioning to extend cycle simulation beyond synchronous circuits
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Logic simulation using networks of state machines
DATE '00 Proceedings of the conference on Design, automation and test in Europe
IEEE Design & Test
On the Complexity of Boolean Functions Computed by Lazy Oracles
IEEE Transactions on Computers
A Parallel LCC Simulation System
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Demand-driven logic simulation using a network of loosely coupled processors
Journal of Systems Architecture: the EUROMICRO Journal
Is Compiled Simulation Really Faster than Interpreted Simulation?
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
An Approach to Mapping the Timing Behavior of VLSI Circuits on Emulators
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Interactive Cosimulation with Partial Evaluation
Proceedings of the conference on Design, automation and test in Europe - Volume 1
An interactive codesign environment for domain-specific coprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
D3FS: a demand driven deductive fault simulator
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
Formal Methods in System Design
Hi-index | 0.00 |
A new digital simulation algorithm is presented based on the concept of demand driven simulation. Where traditional event driven simulation propagates signal values forward through a circuit in response to input pin events, demand driven simulation propagates requests for simulation values backwards both through the circuit and through time. In this manner, only those evaluations required to obtain “watched” signal values are performed. BACKSIM, the simulator based on this algorithm, has proven to be faster and more efficient than event driven simulation for every test case tried to date.