John P. Grossman John K. Salmon Richard C. Ho Doug Ierardi Brian Towles Brannon Batson Jochen Spengler Stanley C. Wang Rolf Mueller Michael Theobald Cliff Young Joseph Gagliardo Martin M. Deneroff Ron O. Dror David E. Shaw Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. 340-347 2008 ICCD http://dx.doi.org/10.1109/ICCD.2008.4751883 conf/iccd/2008 db/conf/iccd/iccd2008.html#GrossmanSHITBSWMTYGDDS08