IEEE - Institute of Electrical and Electronics Engineers, Inc. - Hierarchical simulation-based verification of Anton, a special-purpose parallel machine

2008 IEEE International Conference on Computer Design

Author(s): J.P. Grossman ; J.K. Salmon ; C.R. Ho ; D.J. Ierardi ; B. Towles ; B. Batson ; J. Spengler ; S.C. Wang ; R. Mueller ; M. Theobald ; C. Young ; J. Gagliardo ; M.M. Deneroff ; R.O. Dror ; D.E. Shaw
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2008
Conference Location: Lake Tahoe, CA, USA
Conference Date: 12 October 2008
Page(s): 340 - 347
ISBN (CD): 978-1-4244-2658-4
ISBN (Paper): 978-1-4244-2657-7
ISSN (Paper): 1063-6404
DOI: 10.1109/ICCD.2008.4751883
Regular:

One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that computations spanning... View More

Advertisement