Optimising Design Verification Using Machine Learning: An Open Source Solution

12/04/2020
by   B. Samhita Varambally, et al.
0

With the complexity of Integrated Circuits increasing, design verification has become the most time consuming part of the ASIC design flow. Nearly 70 the SoC design cycle is consumed by verification. The most commonly used approach to test all corner cases is through the use of Constrained Random Verification. Random stimulus is given in order to hit all possible combinations and test the design thoroughly. However, this approach often requires significant human expertise to reach all corner cases. This paper presents an alternative using Machine Learning to generate the input stimulus. This will allow for faster thorough verification of the design with less human intervention. Furthermore, it is proposed to use the open source verification environment 'Cocotb'. Based on Python, it is simple, intuitive and has a vast library of functions for machine learning applications. This makes it more convenient to use than the bulkier approach using traditional Hardware Verification Languages such as System Verilog or Specman E.

READ FULL TEXT

page 1

page 2

page 3

research
09/28/2019

Optimizing Design Verification using Machine Learning: Doing better than Random

As integrated circuits have become progressively more complex, constrain...
research
08/09/2021

VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning

Digital hardware is verified by comparing its behavior against a referen...
research
09/09/2023

PyHGL: A Python-based Hardware Generation Language Framework

Hardware generation languages (HGLs) increase hardware design productivi...
research
07/14/2018

Deriving AOC C-Models from D V Languages for Single- or Multi-Threaded Execution Using C or C++

The C language is getting more and more popular as a design and verifica...
research
02/26/2021

Open-Source Verification with Chisel and Scala

Performance increase with general-purpose processors has come to a halt....
research
01/04/2022

Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection

Globalization in the semiconductor industry enables fabless design house...
research
04/30/2021

Open-Source Memory Compiler for Automatic RRAM Generation and Verification

The lack of open-source memory compilers in academia typically causes si...

Please sign up or login with your details

Forgot password? Click here to reset