Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL

dc.contributor.advisorAbraham, Jacob A.
dc.contributor.committeeMemberMcDermott, Mark
dc.creatorGupta, Kshitiz
dc.creator.orcid0000-0002-4071-6439
dc.date.accessioned2017-12-05T14:29:06Z
dc.date.available2017-12-05T14:29:06Z
dc.date.created2017-05
dc.date.issued2017-05-04
dc.date.submittedMay 2017
dc.date.updated2017-12-05T14:29:06Z
dc.description.abstractThe coverage problem has been a long standing issue in simulation- based veri cation. Coverage metrics are required to track the progress and justify completeness of simulation vectors. This thesis presents a scalable methodology to automatically generate coverage directives which augment line coverage for complete coverage of the RTL. The directives target ambiguity in register relationships derived by statically analyzing behavioral RTL. A Python-based tool has been built on the presented methodology to gener- ates implication properties for coverage. The generated properties for two cores (Amber and V-scale) are instantiated within the testbenches provided with them. Simulation results with all the test programs highlight module instances with high line coverage but uncovered properties. These properties are formally proven to be reachable, thus highlighting coverage holes with the provided tests and the usefulness of our process.
dc.description.departmentElectrical and Computer Engineering
dc.format.mimetypeapplication/pdf
dc.identifierdoi:10.15781/T2W08WZ7V
dc.identifier.urihttp://hdl.handle.net/2152/62907
dc.language.isoen
dc.subjectCoverage
dc.subjectVerification
dc.subjectStatic analysis
dc.subjectRTL
dc.titleAutomatic generation of coverage directives targeting signal relationships by statically analyzing RTL
dc.typeThesis
dc.type.materialtext
thesis.degree.departmentElectrical and Computer Engineering
thesis.degree.disciplineElectrical and Computer Engineering
thesis.degree.grantorThe University of Texas at Austin
thesis.degree.levelMasters
thesis.degree.nameMaster of Science in Engineering

Access full-text files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
GUPTA-THESIS-2017.pdf
Size:
324.19 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
PROQUEST_LICENSE.txt
Size:
4.45 KB
Format:
Plain Text
Description:
No Thumbnail Available
Name:
LICENSE.txt
Size:
1.84 KB
Format:
Plain Text
Description: