Matches in SemOpenAlex for { <https://semopenalex.org/work/W2315513105> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2315513105 endingPage "50" @default.
- W2315513105 startingPage "44" @default.
- W2315513105 abstract "The complexity of ASIC design has increased at an enormous rate in the last few years. This gives rise to difficulties in verification as well. Assertion Based Verification (ABV) provides a solution to this problem. Assertions are used to capture specifications and design intent in an executable form. They help in detecting the bugs faster and closer to the source. In addition to this ABV has a number of advantages such as, detection of corner cases, help in documentation and provide improved design reuse. With the introduction of many standard languages to capture assertions the ABV methodology has gained a lot of popularity. In addition to this many of the simulation tools available today also provide assertion coverage. In this project Avalon Interrupt Interface was designed and verified using assertions. The project carried out involved six stages: RTL design, linting, behavioral simulation, synthesis, Gate Level Simulation (GLS) and adding of assertions. In this project, an RTL design for Avalon Interrupt Interface was developed in VHDL. Testbench was written in Verliog. The design is verified using Accellera PSL assertions along with the test bench. The results were simulated using Aldec Riviera-PRO 2011.02 simulation tool." @default.
- W2315513105 created "2016-06-24" @default.
- W2315513105 creator A5043765990 @default.
- W2315513105 date "2013-01-01" @default.
- W2315513105 modified "2023-10-17" @default.
- W2315513105 title "Design & Assertion Based Verification of Avalon Interrupt Interface" @default.
- W2315513105 doi "https://doi.org/10.9790/4200-0364450" @default.
- W2315513105 hasPublicationYear "2013" @default.
- W2315513105 type Work @default.
- W2315513105 sameAs 2315513105 @default.
- W2315513105 citedByCount "0" @default.
- W2315513105 crossrefType "journal-article" @default.
- W2315513105 hasAuthorship W2315513105A5043765990 @default.
- W2315513105 hasBestOaLocation W23155131051 @default.
- W2315513105 hasConcept C111919701 @default.
- W2315513105 hasConcept C113843644 @default.
- W2315513105 hasConcept C129307140 @default.
- W2315513105 hasConcept C149635348 @default.
- W2315513105 hasConcept C157915830 @default.
- W2315513105 hasConcept C173018170 @default.
- W2315513105 hasConcept C199360897 @default.
- W2315513105 hasConcept C40422974 @default.
- W2315513105 hasConcept C41008148 @default.
- W2315513105 hasConcept C41661131 @default.
- W2315513105 hasConceptScore W2315513105C111919701 @default.
- W2315513105 hasConceptScore W2315513105C113843644 @default.
- W2315513105 hasConceptScore W2315513105C129307140 @default.
- W2315513105 hasConceptScore W2315513105C149635348 @default.
- W2315513105 hasConceptScore W2315513105C157915830 @default.
- W2315513105 hasConceptScore W2315513105C173018170 @default.
- W2315513105 hasConceptScore W2315513105C199360897 @default.
- W2315513105 hasConceptScore W2315513105C40422974 @default.
- W2315513105 hasConceptScore W2315513105C41008148 @default.
- W2315513105 hasConceptScore W2315513105C41661131 @default.
- W2315513105 hasIssue "6" @default.
- W2315513105 hasLocation W23155131051 @default.
- W2315513105 hasOpenAccess W2315513105 @default.
- W2315513105 hasPrimaryLocation W23155131051 @default.
- W2315513105 hasRelatedWork W2349471271 @default.
- W2315513105 hasRelatedWork W2364479399 @default.
- W2315513105 hasRelatedWork W2370630502 @default.
- W2315513105 hasRelatedWork W2371982574 @default.
- W2315513105 hasRelatedWork W2375933014 @default.
- W2315513105 hasRelatedWork W2375933392 @default.
- W2315513105 hasRelatedWork W2385760924 @default.
- W2315513105 hasRelatedWork W2392245654 @default.
- W2315513105 hasRelatedWork W29255946 @default.
- W2315513105 hasRelatedWork W9376681 @default.
- W2315513105 hasVolume "3" @default.
- W2315513105 isParatext "false" @default.
- W2315513105 isRetracted "false" @default.
- W2315513105 magId "2315513105" @default.
- W2315513105 workType "article" @default.