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