Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Assertion Based Verification on Senior DSP
Linköping University, Department of Electrical Engineering, Computer Engineering. Linköping University, The Institute of Technology.
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Digital designs are often very large and complex, this makes locating and fixing a bug very hard and time consuming. Often more than half of the development time is spent on verification. Assertion based verification is a method that uses assertions that can help to improve the verification time. Simulating with assertions provides more information that can be used to locate and correct a bug. In this master thesis assertions are discussed and implemented in Senior DSP processor.

Place, publisher, year, edition, pages
2011. , 45 p.
Keyword [en]
SystemVerilog, Verification, Assertion, DSP
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-74392ISRN: LiTH-ISY-EX--11/4538--SEOAI: oai:DiVA.org:liu-74392DiVA: diva2:483658
Subject / course
Computer Engineering
Uppsok
Technology
Supervisors
Examiners
Available from: 2012-02-14 Created: 2012-01-25 Last updated: 2012-02-14Bibliographically approved

Open Access in DiVA

fulltext(1078 kB)363 downloads
File information
File name FULLTEXT01.pdfFile size 1078 kBChecksum SHA-512
6145c45ebd2b2b38b5e047f16f5ad88f2b2672d812e32bd1c869598f09b5bbd7b1701b91cf889b4a552121ede6db7a067f3a259c0ddc71e56ce12f62f3d52a12
Type fulltextMimetype application/pdf

By organisation
Computer EngineeringThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 363 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 286 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf