A general method for compiling event-driven simulations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Fast discrete function evaluation using decision diagrams
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Hybrid techniques for fast functional simulation
DAC '98 Proceedings of the 35th annual Design Automation Conference
Cycle-based simulation with decision diagrams
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Test Synthesis with Alternative Graphs
IEEE Design & Test
Hi-index | 0.00 |