ARMulator II formed the basis for the high accuracy, cycle callable co-verification models of ARM processors, these CoVs models (see Cycle Accurate Simulator) were the basis of many CoVerification systems for ARM processors.
Az ARMulator II képezte az alapját az ARM processzorok nagy cikluspontossággal hívható co-verification modelljeinek, ezek a CoV modellek (ld. ciklushelyes szimulátor) szolgáltak alapul több koverifikációs rendszernek az ARM processzorok számára.