Background and Recent Related Works
Hardware-assists
- WWT [Sigmetrics’93] uses ECC bits
Trade-offs against simulation accuracy
Event handling
- Static resolution [French DAC’95]
- Delayed evaluation [Liao, DAC’97]
- Parallelization [Krishnaswamy, ASP-DAC’97]
- Reduction, Suppression [Mostly in timing simulations, e.g., Devadas TCAD’94]