Login | Register

Enhancing coverage based verification using probability distribution

Title:

Enhancing coverage based verification using probability distribution

Ahmed, Essam Arshed (2008) Enhancing coverage based verification using probability distribution. Masters thesis, Concordia University.

[thumbnail of MR45271.pdf]
Preview
Text (application/pdf)
MR45271.pdf - Accepted Version
3MB

Abstract

Functional Verification is considered to be a major bottleneck in the hardware design cycle. One of the challenges faced is to automate the verification cycle itself. Several attempts have been made to automate the verification cycle using Artificial Intelligence (AI) approaches. On the other hand, coverage based verification is an essential part of functional verification where the objective is to generate test vectors that maximize the functional coverage of a design. It uses a random test generator that can be directed by some AI algorithms. This process of adapting AI to direct the test generator according to coverage is called Coverage Directed Test Generation (CDG). CDG is a manual and exhausting process, but it is vital to complete the verification cycle. To increase the coverage, a Cell-based Genetic Algorithm (CGA) is developed to automate CDG. We propose a new approach of using CGA with random number generators based on different probability distribution functions such as Normal (Gaussian) distribution, Exponential distribution, Gamma distribution, Beta distribution and Triangle distribution. We apply the new approach on a 16{604}16 packet switch modeled in SystemC, where we define appropriately several static and temporal coverage points and study the effect of the probability distribution on the coverage rate using CGA as an optimization tool. Furthermore, we model the same 16{604}16 packet switch using Verilog and express the same coverage points using SystemVerilog and run the simulation using Verilog simulator and random number generator based on Normal distribution, Exponential distribution and Uniform distribution to show their effect on coverage and compare the results with our approach. Then experiments show that some probability distributions have more effect on the coverage than other distributions.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Ahmed, Essam Arshed
Pagination:xiii, 92 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2008
Thesis Supervisor(s):Tahar, Sofiène
Identification Number:LE 3 C66E44M 2008 A45
ID Code:976051
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:19
Last Modified:13 Jul 2020 20:09
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top