Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113194610> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2113194610 abstract "This paper addresses the verification of a modern multi-core SoC using an approach that quantifies the verification problem and defines its solution. We show how to analyze a specification to create a verification plan that describes the verification problem, quantifies it using measurable metrics, specifies the solution to the problem, and facilitates automation of functional closure. Specifically, we show how to analyze a specification with an eye toward identifying product features and their associated attributes and behavioral requirements. Quantifying the verification problem through coverage model design is demystified. We describe how to choose the appropriate verification technique-ex. simulation, formal, hybrid-for each feature and design its application. Finally, the use of verification plan automation, allowing the verification plan to be used to directly control and measure the verification process, is addressed. This paper is based on a tutorial having the same title given by the authors at the 2008 Multiprocessor Test and Verification (MTV) workshop." @default.
- W2113194610 created "2016-06-24" @default.
- W2113194610 creator A5019854432 @default.
- W2113194610 creator A5037152791 @default.
- W2113194610 creator A5041046910 @default.
- W2113194610 creator A5056331186 @default.
- W2113194610 creator A5069731703 @default.
- W2113194610 date "2008-01-01" @default.
- W2113194610 modified "2023-09-27" @default.
- W2113194610 title "Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution" @default.
- W2113194610 cites W1600068019 @default.
- W2113194610 cites W1607765501 @default.
- W2113194610 cites W2059376007 @default.
- W2113194610 cites W2064268191 @default.
- W2113194610 cites W2098165956 @default.
- W2113194610 cites W2141680368 @default.
- W2113194610 cites W2143387652 @default.
- W2113194610 cites W313395762 @default.
- W2113194610 cites W626284047 @default.
- W2113194610 cites W2141637679 @default.
- W2113194610 doi "https://doi.org/10.1109/mtv.2008.20" @default.
- W2113194610 hasPublicationYear "2008" @default.
- W2113194610 type Work @default.
- W2113194610 sameAs 2113194610 @default.
- W2113194610 citedByCount "2" @default.
- W2113194610 countsByYear W21131946102013 @default.
- W2113194610 countsByYear W21131946102019 @default.
- W2113194610 crossrefType "proceedings-article" @default.
- W2113194610 hasAuthorship W2113194610A5019854432 @default.
- W2113194610 hasAuthorship W2113194610A5037152791 @default.
- W2113194610 hasAuthorship W2113194610A5041046910 @default.
- W2113194610 hasAuthorship W2113194610A5056331186 @default.
- W2113194610 hasAuthorship W2113194610A5069731703 @default.
- W2113194610 hasConcept C105795698 @default.
- W2113194610 hasConcept C110251889 @default.
- W2113194610 hasConcept C111498074 @default.
- W2113194610 hasConcept C115901376 @default.
- W2113194610 hasConcept C115903868 @default.
- W2113194610 hasConcept C126433048 @default.
- W2113194610 hasConcept C127413603 @default.
- W2113194610 hasConcept C142284323 @default.
- W2113194610 hasConcept C149091818 @default.
- W2113194610 hasConcept C166957645 @default.
- W2113194610 hasConcept C186846655 @default.
- W2113194610 hasConcept C187250869 @default.
- W2113194610 hasConcept C199360897 @default.
- W2113194610 hasConcept C202973057 @default.
- W2113194610 hasConcept C2776505523 @default.
- W2113194610 hasConcept C2777904410 @default.
- W2113194610 hasConcept C33054407 @default.
- W2113194610 hasConcept C33923547 @default.
- W2113194610 hasConcept C3406870 @default.
- W2113194610 hasConcept C41008148 @default.
- W2113194610 hasConcept C62460635 @default.
- W2113194610 hasConcept C75606506 @default.
- W2113194610 hasConcept C78519656 @default.
- W2113194610 hasConcept C95457728 @default.
- W2113194610 hasConcept C98045186 @default.
- W2113194610 hasConceptScore W2113194610C105795698 @default.
- W2113194610 hasConceptScore W2113194610C110251889 @default.
- W2113194610 hasConceptScore W2113194610C111498074 @default.
- W2113194610 hasConceptScore W2113194610C115901376 @default.
- W2113194610 hasConceptScore W2113194610C115903868 @default.
- W2113194610 hasConceptScore W2113194610C126433048 @default.
- W2113194610 hasConceptScore W2113194610C127413603 @default.
- W2113194610 hasConceptScore W2113194610C142284323 @default.
- W2113194610 hasConceptScore W2113194610C149091818 @default.
- W2113194610 hasConceptScore W2113194610C166957645 @default.
- W2113194610 hasConceptScore W2113194610C186846655 @default.
- W2113194610 hasConceptScore W2113194610C187250869 @default.
- W2113194610 hasConceptScore W2113194610C199360897 @default.
- W2113194610 hasConceptScore W2113194610C202973057 @default.
- W2113194610 hasConceptScore W2113194610C2776505523 @default.
- W2113194610 hasConceptScore W2113194610C2777904410 @default.
- W2113194610 hasConceptScore W2113194610C33054407 @default.
- W2113194610 hasConceptScore W2113194610C33923547 @default.
- W2113194610 hasConceptScore W2113194610C3406870 @default.
- W2113194610 hasConceptScore W2113194610C41008148 @default.
- W2113194610 hasConceptScore W2113194610C62460635 @default.
- W2113194610 hasConceptScore W2113194610C75606506 @default.
- W2113194610 hasConceptScore W2113194610C78519656 @default.
- W2113194610 hasConceptScore W2113194610C95457728 @default.
- W2113194610 hasConceptScore W2113194610C98045186 @default.
- W2113194610 hasLocation W21131946101 @default.
- W2113194610 hasOpenAccess W2113194610 @default.
- W2113194610 hasPrimaryLocation W21131946101 @default.
- W2113194610 hasRelatedWork W1542124114 @default.
- W2113194610 hasRelatedWork W1563456403 @default.
- W2113194610 hasRelatedWork W1980237913 @default.
- W2113194610 hasRelatedWork W2106507440 @default.
- W2113194610 hasRelatedWork W2140586641 @default.
- W2113194610 hasRelatedWork W2148966220 @default.
- W2113194610 hasRelatedWork W3036403349 @default.
- W2113194610 hasRelatedWork W3120172095 @default.
- W2113194610 hasRelatedWork W3171879404 @default.
- W2113194610 hasRelatedWork W47563837 @default.
- W2113194610 isParatext "false" @default.
- W2113194610 isRetracted "false" @default.
- W2113194610 magId "2113194610" @default.
- W2113194610 workType "article" @default.