Abstract:The thesis work presents assertion based functional verification of RTL representation of a digital design. The MBIST controller is designed based on a memory testing March algorithm. This March algorithm is a little modified March C algorithm which is modified by adding a paused element to test memory data retention faults. In assertion based functional verification, creation of verification plan, for MBIST controller RTL model and the implementation & simulation of the verification plan using System-Verilog and Synopsys-VCS are done. In ABV, verification plan includes the MBIST controller design and functional specification, functional coverage goals, code coverage goals, and assertions. Assertions are used to check the errors in RTL model of MBIST controller and to provide the functionality coverage. Functional coverage metrics are used to track the level or quality of verification. Most of the functional metrics score approximately reached the planned goal of 100 % which is planned in the verification plan. The designed MBIST controller is verified against the intended features. ABV approach helped to make the verification and design process efficient and less time-consuming by finding the bugs, exercising the corner cases in the design, and using the directed test cases in a small design. ABV helped to write directed and efficient test cases (25) which are approx 32 % less than the use of maximum possible random test cases (88) for designed MBIST controller with 100% assertion coverage and approximately equal total functional coverage, i.e., 97 % approx. In this way, ABV helped to fasten the design and verification process with better quality and assurance of correct functionality of MBIST controller after the integration in MBIST architecture.

Functional Verification Based on VMT for DDR-SDRAM Controller

Functional Verification of EPA Chip

A Generic UVM Verification Framework Based on Two-Stage Comparison for Protocol-Agnostic Data Streams in Digital Designs

Coverage-directed Functional Verification Methodology for WTB Controller

A Function Verification Method Based on the Models at Test Case Level

Functional Verification of a Multi-Protocol Serial Communication Controller with Eight Channels

Assertion Based Functional Verification of March Algorithm Based MBIST Controller

Functional verification of external memory interface IP core based on restricted random testbench

Functional Verification Methodology of A 32-Bit Risc Microprocessor

Application of SVA in Hardware functional verification

Deadlock Detection in FPGA Design: A Practical Approach

Automated Formal Verification of a Highly-Configurable Register Generator

Design of SPARC V8 Based Transaction Level SoC Verification Platform

A Functional Verification Framework For Dsps With Vliw Architecture Based On A Random Program Generator

The Research and Implement of an Advanced Function Coverage Based Verification Environment

The FCU Verification Platform Based on VMM

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.

Hierarchical Formal Verification Method based on Transactions

A C-based RTL design verification methodology for complex microprocessor

VHDL Design and Verification for PCI-Slave Interface

A Simulation-Based Verification Method for SoC Bus System