Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056330178> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2056330178 abstract "Designs of Systems-on-Chip (SoC) modules can be comprehensively verified by property checking together with different coverage metrics. Some of these coverage criteria measure whether or not the property set fully describes the functional behavior of the design under verification. Making coverage statements with formal precision, however, is a difficult task, especially, in compositional verification approaches where the legal behavior of a module's environment is modeled through reactive environment constraints. In this paper, we address the validity of certain coverage criteria for property suites of individual SoC modules when composing these modules into a system. In particular, we provide a compositional reasoning framework determining that a system is “completely” verified if all modules are verified with Complete Interval Property Checking (C-IPC) under reactive constraints. Our method discovered issues that could not be detected by the verifications and coverage statements of the submodules alone." @default.
- W2056330178 created "2016-06-24" @default.
- W2056330178 creator A5020337959 @default.
- W2056330178 creator A5047920654 @default.
- W2056330178 creator A5066184879 @default.
- W2056330178 creator A5066490294 @default.
- W2056330178 creator A5072273065 @default.
- W2056330178 date "2014-03-01" @default.
- W2056330178 modified "2023-09-25" @default.
- W2056330178 title "Coverage of compositional property sets under reactive constraints" @default.
- W2056330178 cites W1491807613 @default.
- W2056330178 cites W1503052451 @default.
- W2056330178 cites W2098376757 @default.
- W2056330178 cites W2110648791 @default.
- W2056330178 cites W2137467159 @default.
- W2056330178 cites W2296232480 @default.
- W2056330178 cites W2912904668 @default.
- W2056330178 cites W3150683616 @default.
- W2056330178 cites W3152003981 @default.
- W2056330178 cites W2531647505 @default.
- W2056330178 doi "https://doi.org/10.1109/isqed.2014.6783380" @default.
- W2056330178 hasPublicationYear "2014" @default.
- W2056330178 type Work @default.
- W2056330178 sameAs 2056330178 @default.
- W2056330178 citedByCount "0" @default.
- W2056330178 crossrefType "proceedings-article" @default.
- W2056330178 hasAuthorship W2056330178A5020337959 @default.
- W2056330178 hasAuthorship W2056330178A5047920654 @default.
- W2056330178 hasAuthorship W2056330178A5066184879 @default.
- W2056330178 hasAuthorship W2056330178A5066490294 @default.
- W2056330178 hasAuthorship W2056330178A5072273065 @default.
- W2056330178 hasConcept C110251889 @default.
- W2056330178 hasConcept C111472728 @default.
- W2056330178 hasConcept C111498074 @default.
- W2056330178 hasConcept C118021083 @default.
- W2056330178 hasConcept C124101348 @default.
- W2056330178 hasConcept C127413603 @default.
- W2056330178 hasConcept C138885662 @default.
- W2056330178 hasConcept C149635348 @default.
- W2056330178 hasConcept C177264268 @default.
- W2056330178 hasConcept C189950617 @default.
- W2056330178 hasConcept C199360897 @default.
- W2056330178 hasConcept C201995342 @default.
- W2056330178 hasConcept C2780009758 @default.
- W2056330178 hasConcept C2780451532 @default.
- W2056330178 hasConcept C41008148 @default.
- W2056330178 hasConcept C80444323 @default.
- W2056330178 hasConceptScore W2056330178C110251889 @default.
- W2056330178 hasConceptScore W2056330178C111472728 @default.
- W2056330178 hasConceptScore W2056330178C111498074 @default.
- W2056330178 hasConceptScore W2056330178C118021083 @default.
- W2056330178 hasConceptScore W2056330178C124101348 @default.
- W2056330178 hasConceptScore W2056330178C127413603 @default.
- W2056330178 hasConceptScore W2056330178C138885662 @default.
- W2056330178 hasConceptScore W2056330178C149635348 @default.
- W2056330178 hasConceptScore W2056330178C177264268 @default.
- W2056330178 hasConceptScore W2056330178C189950617 @default.
- W2056330178 hasConceptScore W2056330178C199360897 @default.
- W2056330178 hasConceptScore W2056330178C201995342 @default.
- W2056330178 hasConceptScore W2056330178C2780009758 @default.
- W2056330178 hasConceptScore W2056330178C2780451532 @default.
- W2056330178 hasConceptScore W2056330178C41008148 @default.
- W2056330178 hasConceptScore W2056330178C80444323 @default.
- W2056330178 hasLocation W20563301781 @default.
- W2056330178 hasOpenAccess W2056330178 @default.
- W2056330178 hasPrimaryLocation W20563301781 @default.
- W2056330178 hasRelatedWork W144551325 @default.
- W2056330178 hasRelatedWork W1490302755 @default.
- W2056330178 hasRelatedWork W1495279197 @default.
- W2056330178 hasRelatedWork W1523478698 @default.
- W2056330178 hasRelatedWork W1647344315 @default.
- W2056330178 hasRelatedWork W1968029379 @default.
- W2056330178 hasRelatedWork W2019887336 @default.
- W2056330178 hasRelatedWork W2028655245 @default.
- W2056330178 hasRelatedWork W2097209634 @default.
- W2056330178 hasRelatedWork W2120510805 @default.
- W2056330178 hasRelatedWork W2124025245 @default.
- W2056330178 hasRelatedWork W2151755292 @default.
- W2056330178 hasRelatedWork W2165566357 @default.
- W2056330178 hasRelatedWork W2367198932 @default.
- W2056330178 hasRelatedWork W2381959530 @default.
- W2056330178 hasRelatedWork W2532977475 @default.
- W2056330178 hasRelatedWork W2997917922 @default.
- W2056330178 hasRelatedWork W3080159074 @default.
- W2056330178 hasRelatedWork W3143914093 @default.
- W2056330178 hasRelatedWork W2123277242 @default.
- W2056330178 isParatext "false" @default.
- W2056330178 isRetracted "false" @default.
- W2056330178 magId "2056330178" @default.
- W2056330178 workType "article" @default.