Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116963288> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2116963288 endingPage "24" @default.
- W2116963288 startingPage "21" @default.
- W2116963288 abstract "Arbiters are commonly used components in electronic systems to control access to shared resources. In this paper, we describe a novel method to check starvation in random priority-based arbiters. Typical implementations of random priority-based arbiters use pseudo-random number generators such as linear feedback shift registers (LFSRs) which makes them sequentially deep precluding a direct analysis of the design. The proposed technique checks a stronger bounded-starvation property; if the stronger property fails, we use the counter-example to construct an underapproximation abstraction. We next check the original property on the abstraction to check for its validity. We have found the approach to be a very effective bug hunting technique to reveal starvation issues in LFSR-based arbiters. We describe its successful application on formal verification of arbiters on a commercial processor design." @default.
- W2116963288 created "2016-06-24" @default.
- W2116963288 creator A5039572250 @default.
- W2116963288 creator A5047346133 @default.
- W2116963288 creator A5066374175 @default.
- W2116963288 date "2010-10-20" @default.
- W2116963288 modified "2023-09-23" @default.
- W2116963288 title "Formal verification of arbiters using property strengthening and underapproximations" @default.
- W2116963288 cites W1501077214 @default.
- W2116963288 cites W176994763 @default.
- W2116963288 cites W1783770095 @default.
- W2116963288 cites W2092218351 @default.
- W2116963288 cites W2119599393 @default.
- W2116963288 cites W2127574686 @default.
- W2116963288 cites W3003193617 @default.
- W2116963288 doi "https://doi.org/10.5555/1998496.1998504" @default.
- W2116963288 hasPublicationYear "2010" @default.
- W2116963288 type Work @default.
- W2116963288 sameAs 2116963288 @default.
- W2116963288 citedByCount "1" @default.
- W2116963288 crossrefType "proceedings-article" @default.
- W2116963288 hasAuthorship W2116963288A5039572250 @default.
- W2116963288 hasAuthorship W2116963288A5047346133 @default.
- W2116963288 hasAuthorship W2116963288A5066374175 @default.
- W2116963288 hasConcept C110251889 @default.
- W2116963288 hasConcept C111472728 @default.
- W2116963288 hasConcept C111498074 @default.
- W2116963288 hasConcept C124304363 @default.
- W2116963288 hasConcept C138885662 @default.
- W2116963288 hasConcept C189950617 @default.
- W2116963288 hasConcept C199360897 @default.
- W2116963288 hasConcept C26713055 @default.
- W2116963288 hasConcept C2780801425 @default.
- W2116963288 hasConcept C41008148 @default.
- W2116963288 hasConcept C80444323 @default.
- W2116963288 hasConceptScore W2116963288C110251889 @default.
- W2116963288 hasConceptScore W2116963288C111472728 @default.
- W2116963288 hasConceptScore W2116963288C111498074 @default.
- W2116963288 hasConceptScore W2116963288C124304363 @default.
- W2116963288 hasConceptScore W2116963288C138885662 @default.
- W2116963288 hasConceptScore W2116963288C189950617 @default.
- W2116963288 hasConceptScore W2116963288C199360897 @default.
- W2116963288 hasConceptScore W2116963288C26713055 @default.
- W2116963288 hasConceptScore W2116963288C2780801425 @default.
- W2116963288 hasConceptScore W2116963288C41008148 @default.
- W2116963288 hasConceptScore W2116963288C80444323 @default.
- W2116963288 hasLocation W21169632881 @default.
- W2116963288 hasOpenAccess W2116963288 @default.
- W2116963288 hasPrimaryLocation W21169632881 @default.
- W2116963288 hasRelatedWork W1549699884 @default.
- W2116963288 hasRelatedWork W1563491775 @default.
- W2116963288 hasRelatedWork W1790874646 @default.
- W2116963288 hasRelatedWork W2059600276 @default.
- W2116963288 hasRelatedWork W2073157156 @default.
- W2116963288 hasRelatedWork W2083795828 @default.
- W2116963288 hasRelatedWork W2096700601 @default.
- W2116963288 hasRelatedWork W2098310162 @default.
- W2116963288 hasRelatedWork W2160499017 @default.
- W2116963288 hasRelatedWork W2161867035 @default.
- W2116963288 hasRelatedWork W2170212320 @default.
- W2116963288 hasRelatedWork W2407549018 @default.
- W2116963288 hasRelatedWork W2568409254 @default.
- W2116963288 hasRelatedWork W2596962460 @default.
- W2116963288 hasRelatedWork W2907657690 @default.
- W2116963288 hasRelatedWork W3087943799 @default.
- W2116963288 hasRelatedWork W3107502392 @default.
- W2116963288 hasRelatedWork W3144526578 @default.
- W2116963288 hasRelatedWork W2116852200 @default.
- W2116963288 hasRelatedWork W2173756553 @default.
- W2116963288 isParatext "false" @default.
- W2116963288 isRetracted "false" @default.
- W2116963288 magId "2116963288" @default.
- W2116963288 workType "article" @default.