Figure 2: SoC Verification using ARM RTL model. The processor model is a design-signoff model (DSM) and all the peripherals and additional blocks in the design are included as RTL models (cores). Some ...