FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036799076> ?p ?o ?g. }

• W3036799076 abstract "The required manual effort and verification expertise are among the main hurdles for adopting formal verification in processor design flows. Developing a set of properties that fully covers all instruction behaviors is a laborious and challenging task. This paper proposes a highly automated and complete processor verification approach which requires considerably less manual effort and expertise compared to the state of the art.The proposed approach extends the S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> QED approach to cover both single and multiple instruction bugs and ensures that a design is completely verified according to a well-defined criterion. This makes the approach robust against human errors. The properties are simple and can be automatically generated from an ISA model with small manual effort. Furthermore, unlike in conventional property checking, the verification engineer does not need to explicitly specify the processor's behavior in different special scenarios, such as stalling, exception, or speculation, since these scenarios are taken care of implicitly by the proposed computational model. The great promise of the approach is shown by an industrial case study with a 5-stage RISC-V processor." @default.
• W3036799076 created "2020-06-25" @default.
• W3036799076 creator A5026961968 @default.
• W3036799076 creator A5036312663 @default.
• W3036799076 creator A5039610957 @default.
• W3036799076 creator A5046956677 @default.
• W3036799076 creator A5047920654 @default.
• W3036799076 creator A5055282803 @default.
• W3036799076 creator A5056116323 @default.
• W3036799076 creator A5066184879 @default.
• W3036799076 date "2020-03-01" @default.
• W3036799076 modified "2023-09-30" @default.
• W3036799076 title "Gap-free Processor Verification by S²QED and Property Generation" @default.
• W3036799076 cites W1819209966 @default.
• W3036799076 cites W1827056974 @default.
• W3036799076 cites W1965953351 @default.
• W3036799076 cites W2476747876 @default.
• W3036799076 cites W2798765367 @default.
• W3036799076 cites W2908642059 @default.
• W3036799076 cites W2964039708 @default.
• W3036799076 cites W3150683616 @default.
• W3036799076 cites W4231943951 @default.
• W3036799076 cites W4241627488 @default.
• W3036799076 doi "https://doi.org/10.23919/date48585.2020.9116515" @default.
• W3036799076 hasPublicationYear "2020" @default.
• W3036799076 type Work @default.
• W3036799076 sameAs 3036799076 @default.
• W3036799076 citedByCount "7" @default.
• W3036799076 countsByYear W30367990762019 @default.
• W3036799076 countsByYear W30367990762020 @default.
• W3036799076 countsByYear W30367990762021 @default.
• W3036799076 countsByYear W30367990762023 @default.
• W3036799076 crossrefType "proceedings-article" @default.
• W3036799076 hasAuthorship W3036799076A5026961968 @default.
• W3036799076 hasAuthorship W3036799076A5036312663 @default.
• W3036799076 hasAuthorship W3036799076A5039610957 @default.
• W3036799076 hasAuthorship W3036799076A5046956677 @default.
• W3036799076 hasAuthorship W3036799076A5047920654 @default.
• W3036799076 hasAuthorship W3036799076A5055282803 @default.
• W3036799076 hasAuthorship W3036799076A5056116323 @default.
• W3036799076 hasAuthorship W3036799076A5066184879 @default.
• W3036799076 hasConcept C111472728 @default.
• W3036799076 hasConcept C111498074 @default.
• W3036799076 hasConcept C113775141 @default.
• W3036799076 hasConcept C126298526 @default.
• W3036799076 hasConcept C127413603 @default.
• W3036799076 hasConcept C138885662 @default.
• W3036799076 hasConcept C139719470 @default.
• W3036799076 hasConcept C162324750 @default.
• W3036799076 hasConcept C177264268 @default.
• W3036799076 hasConcept C186846655 @default.
• W3036799076 hasConcept C189950617 @default.
• W3036799076 hasConcept C199360897 @default.
• W3036799076 hasConcept C201995342 @default.
• W3036799076 hasConcept C202491316 @default.
• W3036799076 hasConcept C206880738 @default.
• W3036799076 hasConcept C2777904410 @default.
• W3036799076 hasConcept C2780451532 @default.
• W3036799076 hasConcept C2780586882 @default.
• W3036799076 hasConcept C3406870 @default.
• W3036799076 hasConcept C41008148 @default.
• W3036799076 hasConcept C47941915 @default.
• W3036799076 hasConcept C48103436 @default.
• W3036799076 hasConcept C529173508 @default.
• W3036799076 hasConcept C62460635 @default.
• W3036799076 hasConceptScore W3036799076C111472728 @default.
• W3036799076 hasConceptScore W3036799076C111498074 @default.
• W3036799076 hasConceptScore W3036799076C113775141 @default.
• W3036799076 hasConceptScore W3036799076C126298526 @default.
• W3036799076 hasConceptScore W3036799076C127413603 @default.
• W3036799076 hasConceptScore W3036799076C138885662 @default.
• W3036799076 hasConceptScore W3036799076C139719470 @default.
• W3036799076 hasConceptScore W3036799076C162324750 @default.
• W3036799076 hasConceptScore W3036799076C177264268 @default.
• W3036799076 hasConceptScore W3036799076C186846655 @default.
• W3036799076 hasConceptScore W3036799076C189950617 @default.
• W3036799076 hasConceptScore W3036799076C199360897 @default.
• W3036799076 hasConceptScore W3036799076C201995342 @default.
• W3036799076 hasConceptScore W3036799076C202491316 @default.
• W3036799076 hasConceptScore W3036799076C206880738 @default.
• W3036799076 hasConceptScore W3036799076C2777904410 @default.
• W3036799076 hasConceptScore W3036799076C2780451532 @default.
• W3036799076 hasConceptScore W3036799076C2780586882 @default.
• W3036799076 hasConceptScore W3036799076C3406870 @default.
• W3036799076 hasConceptScore W3036799076C41008148 @default.
• W3036799076 hasConceptScore W3036799076C47941915 @default.
• W3036799076 hasConceptScore W3036799076C48103436 @default.
• W3036799076 hasConceptScore W3036799076C529173508 @default.
• W3036799076 hasConceptScore W3036799076C62460635 @default.
• W3036799076 hasLocation W30367990761 @default.
• W3036799076 hasOpenAccess W3036799076 @default.
• W3036799076 hasPrimaryLocation W30367990761 @default.
• W3036799076 hasRelatedWork W1550280164 @default.
• W3036799076 hasRelatedWork W2098699043 @default.
• W3036799076 hasRelatedWork W2138825781 @default.
• W3036799076 hasRelatedWork W2163719676 @default.
• W3036799076 hasRelatedWork W2197865678 @default.
• W3036799076 hasRelatedWork W2535164759 @default.
• W3036799076 hasRelatedWork W2549038596 @default.
• W3036799076 hasRelatedWork W280188670 @default.

• next