Abstract:Today's microprocessors have grown significantly in complexity and functionality. Most of today's processors provide at least three levels of memory hierarchy, are heavily pipelined, and support some sort of cache coherency protocol. These features are extremely complex and sophisticated, and present their own set of unique verification challenges. Verification is clearly not a point tool, but is part of a process that starts from initial product conception and is to some degrees complete when the product goes to market. Functional verification is necessary to verify the functionality at RTL level. Complex micro-processors like ARM are high performance, low cost and low power 32-bit RISC processors. In our paper complex microprocessor is ARM cortex M3, developed for the embedded applications having low interrupt latency, low gate count, 3- stage pipelining, branch prediction, THUMB and THUMB-2 instruction set. Functional verification is used to verify that the circuit full fills each abstract assertion under the implementation mapping. we explore several aspects of processor design, including caches, pipeline depth, ALUs, and bypass logic.The verification was done concurrently with the design implementation of the processor.

Hardware Verification of a 32-Bit Embedded RISC Microprocessor

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

Functional Verification Methodology of A 32-Bit Risc Microprocessor

Software and Hardware Co-Verification of Embedded Microprocessor

Media SOC Verification Framework Based on FPGA Platform

Functional Verification of EPA Chip

RISC micrprocessor verification

Design and Simulation of a RISC-Based 32-bit Embedded On-Board Computer

Design of Efficient and Reusable SoC Verification Platform for USIM Card

A System-Level SOC Verification Method Based on Hardware Accelerator

A Deep Research on the Chip Verification Platform Based on Network

Simulation and Design of MIPS Processor Based on VLSI Platform

Research on SoC prototype verification technology

Design of an ASIC Verification System with Dual PCI Interface

Hardware/software Co-Verification Platform for RPR

Design of Hardware Verification Platform for Embedded Reconfigurable SoC

Design and Implementation of FPGA Verification Platform for a Programmable Vertex Processing Unit

Vlsi Implementation of A High-Performance 32-Bit Risc Microprocessor

An Automatic Software/hardware Verification Platform Prototype for Reconfigurable Audio Algorithm in Media SoC.

Hardware security and reliability verification based on fault propagation model

Media processor hardware/software co-simulation and co-verification platform