RTL Verification

Introduction

Is a 'design closure' stage to ensure independent register-transfer level (RTL) description of the system is consistent and ready for later stages of the design process.

Methods of Verification

The RTL description of the system can be deployed to an FPGA.

If a formal method approach is being used for the behavioural design task then proofs can be generated that show the design matches the specification for the system.

The RDL can be verified using  test benches in a simulator environment. High level languages have constructs to aid the verification process, these generate the stimuli that are used to verify the RTL design descriptions in a simulation tool.

 

Projects Using This Design Flow

Collaborative
Active Project
dflynn-University of Southampton

Arm Cortex-M0 microcontroller
learn more
Not see the kind of project you are looking for? Create a Request for Collaboration project to find potential collaborators for your idea.

Experts and Interested People

Members

 
Name
Sandeepan Roy
Research Area
Computer architecture, Machine Learning, Accelerator Design, Architecture Verification
Role
Independent Researcher

Related Project Milestones

Project Name Target Date Completed Date Description
Battery Management System-on-chip (BMSoC) for large scale battery energy storage RTL Verification
  • Generate RTL for ARM Cortex-M3 using Corstone-101 reference design with ETM
  • Testing of the reference design peripherals.
  • Integration strategy for the BMS accelerator and memories. 

Actions

Interested in this topic? Log-in to Add to Your Profile

Add new comment

To post a comment on this article, please log in to your account. New users can create an account.