Qing Xu 0004 Carl Tropper XTW, a parallel and distributed logic simulator. 1064-1069 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120825 db/conf/aspdac/aspdac2005.html#XuT05