Functional Verification of an ALU Core applying the Constrained Random approach

Show full item record

Title: Functional Verification of an ALU Core applying the Constrained Random approach
Author: Hamilton, Patrick
Advisors: Dr.Eric Rotenberg, Committee Member
Dr.Rhett Davis, Committee Member
Dr. Paul Franzon, Committee Chair
Abstract: ASIC complexity is increasing so rapidly that designer productivity is not coping with the growth. Verification presents about 60-70% of the total design effort and only advances in verification methodology can improve the time to market considerably. Directed tests and 'golden' reference files will soon become the primitive tools of the modern test environment. Verification engineers are consequently looking towards new methodologies like Constrained-Random approach to reduce test bench development time, and speed-up the time it takes to achieve complete verification of their ASIC or SoC. Test bench automation tools for constrained-random stimulus generation and functional coverage create tests for corner cases that even engineers who designed the system may not anticipate and hence find bugs early in the development cycle. This thesis describes the study and implementation of the Constrained-Random concept in the Functional verification of a 32-bit ALU core using Specman.
Date: 2003-06-04
Degree: MS
Discipline: Computer Engineering
URI: http://www.lib.ncsu.edu/resolver/1840.16/2807


Files in this item

Files Size Format View
etd.pdf 3.777Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record