Simulation-based verification of large-integer arithmetic circuits | IEEE Conference Publication | IEEE Xplore