Back-tracing and event-driven techniques in high-level simulation with decision diagrams.

Raimund Ubar, Jaan Raik, Adam Morawiec

Browse the full ISCAS paper archive.