Hierarchical simulation-based verification of Anton, a special-purpose parallel machine

Citations Over TimeTop 16% of 2008 papers

Abstract

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 more than a quadrillion clock cycles will produce valid scientific results. Our verification methodology addressed this problem by using a hierarchy of RTL, architectural, and numerical simulations. Block- and chip-level RTL models were verified by means of extensive co-simulation with a detailed C++ architectural simulator, ensuring that the RTL models could perform the same molecular dynamics computations as the architectural simulator. The output of the architectural simulator was compared to a parallelized numerical simulator that produces bitwise identical results to Anton, and is fast enough to verify the long-term numerical stability of computations on Anton. These explicit couplings between adjacent levels of the simulation hierarchy created a continuous verification chain from molecular dynamics to individual logic gates.

Related Papers

• → A scalable multiphysics algorithm for massively parallel direct numerical simulations of electrophoretic motion(2018)9 cited
• → Massively parallel array processor for logic, fault, and design error simulation(2002)2 cited
• → Electromagnetic scattering simulations using overset grids on massively parallel computing platforms(2002)1 cited
• → Studies on the Efficiency of Massively Parallel Computational Method for Large-Scale Computation based on Unstructured Grid(1996)
• → M3E_LINSOL: A Scalable Linear Solver Package for Reservoir Simulations on Massively Parallel Computers(2017)