Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600508559> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2600508559 endingPage "6" @default.
- W2600508559 startingPage "6" @default.
- W2600508559 abstract "Todays SoCs are driving unprecedented verification complexity. The combination of billions of gates, system-level functionality on a chip, complex design methodologies like asynchronous clock domains and an explosion of untimed paths on a chip, interacting dynamic power domains, aggressive reset schemes etcetera could have been the perfect storm to staunch productivity. Instead it has turned out to be the mother of all necessities that has driven significant innovation in verification and brought about a paradigm shift. Static sign-off has proven to be a pillar in this new paradigm. This talk will discuss the template for what has made static techniques successful in verifying modern SoCs. The recent successes are, in no small part, due to the FMCAD community that has pursued formal methods doggedly for decades despite glacial practical adoption. Complementing the efforts of the research community has been the equally determined pursuit in the EDA community to bring structure and automation into the verification process. Through this partnership, we have been able to bring about an analysis framework within which a combination of semantic analysis and formal methods enables a systematic verification process that leads to sign-off level confidence for important failure modes. It will be gratifying for the FMCAD audience to realize that SAT, model checking, functional abstraction, QBF etcetera have become essential in being able to tape out some of the most complex chips in the world on time and within budget. The adoption of IC3/PDR into the verification process was almost immediate. The recent successes represent a strong debut for static methods. What is the vision to extend the promise into bigger slices of the verification pie? System-level verification continues to be an art-form with very little of the automation, process and problem-framing that have proven successful in other domains. May be the FMCAD community should adopt that as its next major challenge." @default.
- W2600508559 created "2017-04-07" @default.
- W2600508559 creator A5060336834 @default.
- W2600508559 date "2016-10-03" @default.
- W2600508559 modified "2023-09-25" @default.
- W2600508559 title "A paradigm shift in verification methodology" @default.
- W2600508559 doi "https://doi.org/10.5555/3077629.3077635" @default.
- W2600508559 hasPublicationYear "2016" @default.
- W2600508559 type Work @default.
- W2600508559 sameAs 2600508559 @default.
- W2600508559 citedByCount "0" @default.
- W2600508559 crossrefType "proceedings-article" @default.
- W2600508559 hasAuthorship W2600508559A5060336834 @default.
- W2600508559 hasConcept C111472728 @default.
- W2600508559 hasConcept C111498074 @default.
- W2600508559 hasConcept C115901376 @default.
- W2600508559 hasConcept C115903868 @default.
- W2600508559 hasConcept C124304363 @default.
- W2600508559 hasConcept C127413603 @default.
- W2600508559 hasConcept C134306372 @default.
- W2600508559 hasConcept C138885662 @default.
- W2600508559 hasConcept C139676723 @default.
- W2600508559 hasConcept C151319957 @default.
- W2600508559 hasConcept C199360897 @default.
- W2600508559 hasConcept C33923547 @default.
- W2600508559 hasConcept C41008148 @default.
- W2600508559 hasConcept C43540301 @default.
- W2600508559 hasConcept C76155785 @default.
- W2600508559 hasConcept C78519656 @default.
- W2600508559 hasConcept C80444323 @default.
- W2600508559 hasConcept C98045186 @default.
- W2600508559 hasConceptScore W2600508559C111472728 @default.
- W2600508559 hasConceptScore W2600508559C111498074 @default.
- W2600508559 hasConceptScore W2600508559C115901376 @default.
- W2600508559 hasConceptScore W2600508559C115903868 @default.
- W2600508559 hasConceptScore W2600508559C124304363 @default.
- W2600508559 hasConceptScore W2600508559C127413603 @default.
- W2600508559 hasConceptScore W2600508559C134306372 @default.
- W2600508559 hasConceptScore W2600508559C138885662 @default.
- W2600508559 hasConceptScore W2600508559C139676723 @default.
- W2600508559 hasConceptScore W2600508559C151319957 @default.
- W2600508559 hasConceptScore W2600508559C199360897 @default.
- W2600508559 hasConceptScore W2600508559C33923547 @default.
- W2600508559 hasConceptScore W2600508559C41008148 @default.
- W2600508559 hasConceptScore W2600508559C43540301 @default.
- W2600508559 hasConceptScore W2600508559C76155785 @default.
- W2600508559 hasConceptScore W2600508559C78519656 @default.
- W2600508559 hasConceptScore W2600508559C80444323 @default.
- W2600508559 hasConceptScore W2600508559C98045186 @default.
- W2600508559 hasLocation W26005085591 @default.
- W2600508559 hasOpenAccess W2600508559 @default.
- W2600508559 hasPrimaryLocation W26005085591 @default.
- W2600508559 hasRelatedWork W137668890 @default.
- W2600508559 hasRelatedWork W14345461 @default.
- W2600508559 hasRelatedWork W1523724142 @default.
- W2600508559 hasRelatedWork W2000443511 @default.
- W2600508559 hasRelatedWork W2040357531 @default.
- W2600508559 hasRelatedWork W2088632015 @default.
- W2600508559 hasRelatedWork W2089752971 @default.
- W2600508559 hasRelatedWork W2132150271 @default.
- W2600508559 hasRelatedWork W2157373763 @default.
- W2600508559 hasRelatedWork W2182745865 @default.
- W2600508559 hasRelatedWork W2240679135 @default.
- W2600508559 hasRelatedWork W2267833771 @default.
- W2600508559 hasRelatedWork W2276958098 @default.
- W2600508559 hasRelatedWork W2316694660 @default.
- W2600508559 hasRelatedWork W2740162891 @default.
- W2600508559 hasRelatedWork W2766140373 @default.
- W2600508559 hasRelatedWork W2807993512 @default.
- W2600508559 hasRelatedWork W3003290062 @default.
- W2600508559 hasRelatedWork W3040854785 @default.
- W2600508559 hasRelatedWork W3202827246 @default.
- W2600508559 isParatext "false" @default.
- W2600508559 isRetracted "false" @default.
- W2600508559 magId "2600508559" @default.
- W2600508559 workType "article" @default.