Qing Xu 0004 Carl Tropper XTW, A Parallel and Distributed Logic Simulator. 181-188 2005 conf/pads/2005 PADS http://doi.acm.org/10.1145/1069810.1070168 db/conf/pads/pads2005.html#XuT05