A fast two-pass HDL simulation with on-demand dump | IEEE Conference Publication | IEEE Xplore