Back-tracing and event-driven techniques in highlevel simulation with decision diagrams (2000)

by R Ubar, A Morawiec, J Raik
Venue:In Proc. IEEE International Symposium on Circuits and Systems ’00