Matches in SemOpenAlex for { <https://semopenalex.org/work/W417777375> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W417777375 abstract "This research addresses assertion-based verification to verify Look Aside Interface (LA-1 Standard). The Look Aside interface is intended for devices located adjacent to a network processing device (NPE) that off load certain tasks from the network processor. This verification is performed in several steps. First, we added assertions within the control logic of the RTL block and then we added assertions between interfaces of RTL blocks by following the Look Aside interface design specification. We developed the simulation environment in Verilog and relevant testcases derived from the specification, in order to perform simulation and observe the assertion messages for possible firings. Each firing pinpoints an error in the RTL. For the assertion monitors the Accellera Open Verification Library (OVL) was used. Finally, we transformed the same assertions into Sugar 2.0 properties and performed the model checking of our Verilog RTL model using Rulebase, from IBM corp." @default.
- W417777375 created "2016-06-24" @default.
- W417777375 creator A5015998120 @default.
- W417777375 date "2005-01-01" @default.
- W417777375 modified "2023-09-23" @default.
- W417777375 title "Assertion-based verification of look aside interface" @default.
- W417777375 hasPublicationYear "2005" @default.
- W417777375 type Work @default.
- W417777375 sameAs 417777375 @default.
- W417777375 citedByCount "1" @default.
- W417777375 crossrefType "dissertation" @default.
- W417777375 hasAuthorship W417777375A5015998120 @default.
- W417777375 hasConcept C111919701 @default.
- W417777375 hasConcept C113843644 @default.
- W417777375 hasConcept C124952713 @default.
- W417777375 hasConcept C129307140 @default.
- W417777375 hasConcept C142362112 @default.
- W417777375 hasConcept C149635348 @default.
- W417777375 hasConcept C157915830 @default.
- W417777375 hasConcept C171250308 @default.
- W417777375 hasConcept C192562407 @default.
- W417777375 hasConcept C199360897 @default.
- W417777375 hasConcept C2778120072 @default.
- W417777375 hasConcept C2779030575 @default.
- W417777375 hasConcept C40422974 @default.
- W417777375 hasConcept C41008148 @default.
- W417777375 hasConcept C42935608 @default.
- W417777375 hasConcept C70388272 @default.
- W417777375 hasConceptScore W417777375C111919701 @default.
- W417777375 hasConceptScore W417777375C113843644 @default.
- W417777375 hasConceptScore W417777375C124952713 @default.
- W417777375 hasConceptScore W417777375C129307140 @default.
- W417777375 hasConceptScore W417777375C142362112 @default.
- W417777375 hasConceptScore W417777375C149635348 @default.
- W417777375 hasConceptScore W417777375C157915830 @default.
- W417777375 hasConceptScore W417777375C171250308 @default.
- W417777375 hasConceptScore W417777375C192562407 @default.
- W417777375 hasConceptScore W417777375C199360897 @default.
- W417777375 hasConceptScore W417777375C2778120072 @default.
- W417777375 hasConceptScore W417777375C2779030575 @default.
- W417777375 hasConceptScore W417777375C40422974 @default.
- W417777375 hasConceptScore W417777375C41008148 @default.
- W417777375 hasConceptScore W417777375C42935608 @default.
- W417777375 hasConceptScore W417777375C70388272 @default.
- W417777375 hasLocation W4177773751 @default.
- W417777375 hasOpenAccess W417777375 @default.
- W417777375 hasPrimaryLocation W4177773751 @default.
- W417777375 hasRelatedWork W137141504 @default.
- W417777375 hasRelatedWork W176044046 @default.
- W417777375 hasRelatedWork W1917325995 @default.
- W417777375 hasRelatedWork W1974667640 @default.
- W417777375 hasRelatedWork W2036107243 @default.
- W417777375 hasRelatedWork W2063759518 @default.
- W417777375 hasRelatedWork W2074186102 @default.
- W417777375 hasRelatedWork W2109217033 @default.
- W417777375 hasRelatedWork W2147953536 @default.
- W417777375 hasRelatedWork W2153174871 @default.
- W417777375 hasRelatedWork W2170821802 @default.
- W417777375 hasRelatedWork W2212134920 @default.
- W417777375 hasRelatedWork W2346833256 @default.
- W417777375 hasRelatedWork W2349807137 @default.
- W417777375 hasRelatedWork W2367320441 @default.
- W417777375 hasRelatedWork W2736336393 @default.
- W417777375 hasRelatedWork W2765586026 @default.
- W417777375 hasRelatedWork W2960628509 @default.
- W417777375 hasRelatedWork W3056051289 @default.
- W417777375 hasRelatedWork W1948968279 @default.
- W417777375 isParatext "false" @default.
- W417777375 isRetracted "false" @default.
- W417777375 magId "417777375" @default.
- W417777375 workType "dissertation" @default.