Microprocessor Verification Framework For SPARC-LEON Microprocessor

dc.contributor.authorMoralwar, Prathamesh
dc.contributor.authorKenneth, Peter
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data och informationstekniksv
dc.contributor.examinerLarsson-Edefors, Per
dc.contributor.supervisorPetersen Moura Trancoso, Pedro
dc.date.accessioned2019-10-03T13:20:25Z
dc.date.available2019-10-03T13:20:25Z
dc.date.issued2019sv
dc.date.submitted2019
dc.description.abstractVerification is a crucial part of an engineering project to assure quality of the product. In digital design, verification is a heavily researched topic as companies desperately look for ways to make the process faster and more reliable. The challenge only grows by the day as designs ambitiously swell in size and complexity. The language used, the methodology followed, the goal of verification and the evaluation of the verification process itself are some important aspects to be decided upon before commencement of this imperative exercise. Directed testcases can overlook peculiar cases which can easily be encountered by allowing a certain degree of randomness in test vectors. In this thesis it is shown how verification can be improved by randomizing test inputs. The usefulness of functional coverage is also elucidated. It is also shown how randomizing test vectors and implementing functional coverage compliment each other. While randomization help achieve coverage goals faster, the results from functional coverage can be analysed to update test vector generation. The design at hand is the SPARC based LEON-3 microprocessor by Cobham Gaisler. The above tasks were performed by maintaining the spirit of software-based testing.sv
dc.identifier.coursecodeDATX05sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/300388
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.subjectVerificationsv
dc.subjectCode Coveragesv
dc.subjectFunctional Coveragesv
dc.subjectMethodologysv
dc.subjectSPARCsv
dc.subjectLEON-3sv
dc.subjectRandomizationsv
dc.subjectCoverage Metricssv
dc.titleMicroprocessor Verification Framework For SPARC-LEON Microprocessorsv
dc.type.degreeExamensarbete för masterexamensv
dc.type.uppsokH
local.programmeEmbedded electronic system design (MPEES), MSc

Ladda ner

Original bundle

Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
CSE 19-77 Peter_Moralwar.pdf_2.pdf
Storlek:
1.68 MB
Format:
Adobe Portable Document Format
Beskrivning:

License bundle

Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.14 KB
Format:
Item-specific license agreed upon to submission
Beskrivning: