Ravel: assigned-delay compiled-code logic simulation.

Emily J. Shriver, Karem A. Sakallah

Browse the full ICCAD paper archive.