A fast two-pass HDL simulation with on-demand dump. - Kyuho Shim; Young-Rae Cho; Namdo Kim; Hyuncheol Baik; Kyungkuk Kim; Dusung Kim; Jaebum Kim; Byeongun Min; Kyumyung Choi; Maciej J. Ciesielski; Seiyang Yang (ASP-DAC, 2008)