COSMOS: a compiled simulator for MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Digital system simulation: methodologies and examples
DAC '98 Proceedings of the 35th annual Design Automation Conference
Hybrid techniques for fast functional simulation
DAC '98 Proceedings of the 35th annual Design Automation Conference
Enhancing simulation with BDDs and ATPG
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Reliable verification using symbolic simulation with scalar values
Proceedings of the 37th Annual Design Automation Conference
Logic simulation using networks of state machines
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Event manipulation for discrete simulations requiring large numbers of events
Communications of the ACM
Proceedings of the 38th annual Design Automation Conference
A fast, inexpensive and scalable hardware acceleration technique for functional simulation
Proceedings of the 39th annual Design Automation Conference
Event driven simulation without loops or conditionals
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Improvements in functional simulation addressing challenges in large, distributed industry projects
Proceedings of the 40th annual Design Automation Conference
The inversion algorithm for digital simulation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Efficient event-driven simulation by exploiting the output observability of gate clusters
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Formal Methods in System Design
| Hi-index | 0.00 |
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare. Conjugate symmetries can be used to reduce the state space for functions that have no detectable symmetries, allowing the benefits of symmetry to be applied to a much wider class of functions. Substantial improvements in simulation speed, from 30-40% have been realized using these techniques.