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.

Coverage-directed Functional Verification Methodology for WTB Controller

Functional Verification of EPA Chip

A Verification Methodology for Reusable Test Cases and Coverage Based on System Verilog

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

Design And Implementation Of The Universal Servo Control Algorithm Verification System Based On High-Speed Communication Fieldbus

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

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

Functional Verification Based on VMT for DDR-SDRAM Controller

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

A Simulation-Based Verification Method for SoC Bus System

Design and Implementation of Virtual Test System Based on LabWindows/CVI

The FCU Verification Platform Based on VMM

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

Formal Verification of Real-Time Function Blocks Using PVS

Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans

Safety assurance of an industrial robotic control system using hardware/software co-verification

A virtual test method for satellite system level verification and case study

Modelling and Verification of Program Logic Controllers Using Timed Automata

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers

Assertion Based Functional Verification of March Algorithm Based MBIST Controller