A Coverage-Driven Constraint Random-Based Functional Verification Method of Memory Controller

Abstract

This paper presents a coverage-driven Constraint random-based functional verification method of memory controller in a microprocessor. Many special functions are integrated into this memory controller for anti-radiating, so it is more difficult to verify . This system of verification, which is creating by means of verification methodology manual (VMM) for systemverilog and classification trees, is reusable, scalable, configurable and can reduce time of verification.