SSIM: a software levelized compiled-code simulator
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Demand driven simulation: BACKSIM
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Techniques for unit-delay compiled 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
Fast functional simulation using branching programs
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Unit delay simulation with the inversion algorithm
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Parallel multi-delay simulation
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Ravel: assigned-delay compiled-code logic simulation
ICCAD '92 Proceedings of the 1992 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
Is Compiled Simulation Really Faster than Interpreted Simulation?
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Compiled code in distributed logic simulation
Proceedings of the 38th conference on Winter simulation
Formal Methods in System Design
Hi-index | 0.00 |