Event-flow computation as key to fast digital design simulation
Microprocessing and Microprogramming
Timing verification by formal signal interaction modeling in a multi-level timing simulator
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
MuSiC: an event-flow computer for fast simulation of digital systems
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Hi-index | 0.00 |