FRINK Linked Data Fragments server

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

• W2126044864 endingPage "958" @default.
• W2126044864 startingPage "945" @default.
• W2126044864 abstract "Statistical model checking (SMC) is a simulation-based approach for verifying the statistical properties of large, complex systems. If a large number of low-probability events (rare events) is required to be simulated, SMC is extremely time-consuming. In this paper, we present a methodology to accelerate the SMC of hardware circuits by generating rare events with a higher frequency. Unlike existing techniques, our methodology can be applied to circuits with multiple rare-event regions. We first sample the circuit uniformly to quickly generate a set of rare events. We employ variational Bayes, a variational inference technique used in machine learning, to infer the distribution of the rare events in the circuit. We then bias the statistical distribution toward these rare event regions. Finally, we employ the SMC using the biased distribution and adjust for the bias that we introduce. The use of variational Bayes enables our methodology to distinguish between multiple rare event regions in the circuit. We demonstrate the effectiveness of our biasing approach on two real-world hardware circuits. We consider the analog (i.e., continuous-time) behavior of these circuits. For an SRAM memory cell, which has a single failure region, we show that our approach provides around 31× speedup over regular SMC while verifying whether the failure rate is less than 10 <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-4</sup> . For a successive approximation ADC circuit, which has multiple failure regions, we demonstrate a speedup of 42× while verifying whether the failure rate is less than 10 <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-5</sup> ." @default.
• W2126044864 created "2016-06-24" @default.
• W2126044864 creator A5005200855 @default.
• W2126044864 creator A5006914360 @default.
• W2126044864 creator A5034719762 @default.
• W2126044864 date "2014-06-01" @default.
• W2126044864 modified "2023-09-27" @default.
• W2126044864 title "Efficient Statistical Model Checking of Hardware Circuits With Multiple Failure Regions" @default.
• W2126044864 cites W1544634046 @default.
• W2126044864 cites W1966998099 @default.
• W2126044864 cites W1980147245 @default.
• W2126044864 cites W2007072455 @default.
• W2126044864 cites W2018632396 @default.
• W2126044864 cites W2113613740 @default.
• W2126044864 cites W2114158268 @default.
• W2126044864 cites W2120353978 @default.
• W2126044864 cites W2126632986 @default.
• W2126044864 cites W2129938207 @default.
• W2126044864 cites W2130282462 @default.
• W2126044864 cites W2130329609 @default.
• W2126044864 cites W2136081346 @default.
• W2126044864 cites W2277593739 @default.
• W2126044864 cites W2899702797 @default.
• W2126044864 cites W3139804307 @default.
• W2126044864 cites W3141081940 @default.
• W2126044864 cites W3151880060 @default.
• W2126044864 cites W4230704549 @default.
• W2126044864 cites W4231501498 @default.
• W2126044864 cites W4233436407 @default.
• W2126044864 cites W4247460323 @default.
• W2126044864 cites W47917046 @default.
• W2126044864 cites W3147832535 @default.
• W2126044864 doi "https://doi.org/10.1109/tcad.2014.2299957" @default.
• W2126044864 hasPublicationYear "2014" @default.
• W2126044864 type Work @default.
• W2126044864 sameAs 2126044864 @default.
• W2126044864 citedByCount "5" @default.
• W2126044864 countsByYear W21260448642017 @default.
• W2126044864 countsByYear W21260448642018 @default.
• W2126044864 countsByYear W21260448642020 @default.
• W2126044864 countsByYear W21260448642021 @default.
• W2126044864 crossrefType "journal-article" @default.
• W2126044864 hasAuthorship W2126044864A5005200855 @default.
• W2126044864 hasAuthorship W2126044864A5006914360 @default.
• W2126044864 hasAuthorship W2126044864A5034719762 @default.
• W2126044864 hasConcept C105795698 @default.
• W2126044864 hasConcept C107673813 @default.
• W2126044864 hasConcept C11413529 @default.
• W2126044864 hasConcept C119599485 @default.
• W2126044864 hasConcept C121332964 @default.
• W2126044864 hasConcept C127413603 @default.
• W2126044864 hasConcept C134146338 @default.
• W2126044864 hasConcept C134261354 @default.
• W2126044864 hasConcept C149441793 @default.
• W2126044864 hasConcept C154945302 @default.
• W2126044864 hasConcept C173608175 @default.
• W2126044864 hasConcept C177650935 @default.
• W2126044864 hasConcept C207201462 @default.
• W2126044864 hasConcept C2776214188 @default.
• W2126044864 hasConcept C2777317252 @default.
• W2126044864 hasConcept C2779662365 @default.
• W2126044864 hasConcept C33923547 @default.
• W2126044864 hasConcept C41008148 @default.
• W2126044864 hasConcept C62520636 @default.
• W2126044864 hasConcept C68339613 @default.
• W2126044864 hasConcept C9390403 @default.
• W2126044864 hasConceptScore W2126044864C105795698 @default.
• W2126044864 hasConceptScore W2126044864C107673813 @default.
• W2126044864 hasConceptScore W2126044864C11413529 @default.
• W2126044864 hasConceptScore W2126044864C119599485 @default.
• W2126044864 hasConceptScore W2126044864C121332964 @default.
• W2126044864 hasConceptScore W2126044864C127413603 @default.
• W2126044864 hasConceptScore W2126044864C134146338 @default.
• W2126044864 hasConceptScore W2126044864C134261354 @default.
• W2126044864 hasConceptScore W2126044864C149441793 @default.
• W2126044864 hasConceptScore W2126044864C154945302 @default.
• W2126044864 hasConceptScore W2126044864C173608175 @default.
• W2126044864 hasConceptScore W2126044864C177650935 @default.
• W2126044864 hasConceptScore W2126044864C207201462 @default.
• W2126044864 hasConceptScore W2126044864C2776214188 @default.
• W2126044864 hasConceptScore W2126044864C2777317252 @default.
• W2126044864 hasConceptScore W2126044864C2779662365 @default.
• W2126044864 hasConceptScore W2126044864C33923547 @default.
• W2126044864 hasConceptScore W2126044864C41008148 @default.
• W2126044864 hasConceptScore W2126044864C62520636 @default.
• W2126044864 hasConceptScore W2126044864C68339613 @default.
• W2126044864 hasConceptScore W2126044864C9390403 @default.
• W2126044864 hasFunder F4320306076 @default.
• W2126044864 hasIssue "6" @default.
• W2126044864 hasLocation W21260448641 @default.
• W2126044864 hasOpenAccess W2126044864 @default.
• W2126044864 hasPrimaryLocation W21260448641 @default.
• W2126044864 hasRelatedWork W1509211761 @default.
• W2126044864 hasRelatedWork W1869243490 @default.
• W2126044864 hasRelatedWork W1963456657 @default.
• W2126044864 hasRelatedWork W1967627035 @default.
• W2126044864 hasRelatedWork W2032984508 @default.
• W2126044864 hasRelatedWork W2047344457 @default.

• next