LCC simulators speed development of synchronous hardware
Computer Design
Demand driven simulation: BACKSIM
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
The Inversion Algorithm for digital simulation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
The Unison algorithm: fast evaluation of Boolean expressions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Unit delay simulation with the inversion algorithm
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Event manipulation for discrete simulations requiring large numbers of events
Communications of the ACM
IEEE Transactions on Parallel and Distributed Systems
Using conjugate symmetries to enhance gate-level simulations
Proceedings of the conference on Design, automation and test in Europe: Proceedings
| Hi-index | 0.00 |