Hong K. Kim Jack S. N. Jean Parallel Optimistic Logic Simulation with Event Lookahead. 20-27 1998 conf/icpp/1998 ICPP http://computer.org/proceedings/icpp/8650/86500020abs.htm db/conf/icpp/icpp1998.html#KimJ98