Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979906691> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1979906691 abstract "Summary form only given. This talk focuses on the IBM internal (semi-)formal verification toolset SixthSense. We first provide a high-level overview of the SixthSense tool, developed to perform functional verification as well as sequential equivalence checking. We introduce the various synergistic transformation and verification engines it encompasses, encapsulated within a novel transformation-based verification framework. We have found this algorithmic synergy critical to enabling core semi-formal search algorithms to identify the most complex and deep bugs, as well as to enabling the completion of difficult correctness proofs. We additionally discuss various industrial applications of this toolset, from lighter-weight assertion and constraint-based verification to comprehensive block or unit-level reference model style of verification to silicon-failure recreation efforts" @default.
- W1979906691 created "2016-06-24" @default.
- W1979906691 creator A5072898984 @default.
- W1979906691 date "2006-11-01" @default.
- W1979906691 modified "2023-09-27" @default.
- W1979906691 title "Semi-Formal Verification at IBM" @default.
- W1979906691 doi "https://doi.org/10.1109/hldvt.2006.319981" @default.
- W1979906691 hasPublicationYear "2006" @default.
- W1979906691 type Work @default.
- W1979906691 sameAs 1979906691 @default.
- W1979906691 citedByCount "3" @default.
- W1979906691 countsByYear W19799066912013 @default.
- W1979906691 countsByYear W19799066912016 @default.
- W1979906691 crossrefType "proceedings-article" @default.
- W1979906691 hasAuthorship W1979906691A5072898984 @default.
- W1979906691 hasConcept C108710211 @default.
- W1979906691 hasConcept C111498074 @default.
- W1979906691 hasConcept C115903868 @default.
- W1979906691 hasConcept C142284323 @default.
- W1979906691 hasConcept C171250308 @default.
- W1979906691 hasConcept C186846655 @default.
- W1979906691 hasConcept C187250869 @default.
- W1979906691 hasConcept C192562407 @default.
- W1979906691 hasConcept C199360897 @default.
- W1979906691 hasConcept C202973057 @default.
- W1979906691 hasConcept C2524010 @default.
- W1979906691 hasConcept C2777904410 @default.
- W1979906691 hasConcept C33054407 @default.
- W1979906691 hasConcept C33923547 @default.
- W1979906691 hasConcept C3406870 @default.
- W1979906691 hasConcept C40422974 @default.
- W1979906691 hasConcept C41008148 @default.
- W1979906691 hasConcept C529173508 @default.
- W1979906691 hasConcept C55439883 @default.
- W1979906691 hasConcept C62460635 @default.
- W1979906691 hasConcept C70388272 @default.
- W1979906691 hasConcept C75606506 @default.
- W1979906691 hasConcept C96654402 @default.
- W1979906691 hasConceptScore W1979906691C108710211 @default.
- W1979906691 hasConceptScore W1979906691C111498074 @default.
- W1979906691 hasConceptScore W1979906691C115903868 @default.
- W1979906691 hasConceptScore W1979906691C142284323 @default.
- W1979906691 hasConceptScore W1979906691C171250308 @default.
- W1979906691 hasConceptScore W1979906691C186846655 @default.
- W1979906691 hasConceptScore W1979906691C187250869 @default.
- W1979906691 hasConceptScore W1979906691C192562407 @default.
- W1979906691 hasConceptScore W1979906691C199360897 @default.
- W1979906691 hasConceptScore W1979906691C202973057 @default.
- W1979906691 hasConceptScore W1979906691C2524010 @default.
- W1979906691 hasConceptScore W1979906691C2777904410 @default.
- W1979906691 hasConceptScore W1979906691C33054407 @default.
- W1979906691 hasConceptScore W1979906691C33923547 @default.
- W1979906691 hasConceptScore W1979906691C3406870 @default.
- W1979906691 hasConceptScore W1979906691C40422974 @default.
- W1979906691 hasConceptScore W1979906691C41008148 @default.
- W1979906691 hasConceptScore W1979906691C529173508 @default.
- W1979906691 hasConceptScore W1979906691C55439883 @default.
- W1979906691 hasConceptScore W1979906691C62460635 @default.
- W1979906691 hasConceptScore W1979906691C70388272 @default.
- W1979906691 hasConceptScore W1979906691C75606506 @default.
- W1979906691 hasConceptScore W1979906691C96654402 @default.
- W1979906691 hasLocation W19799066911 @default.
- W1979906691 hasOpenAccess W1979906691 @default.
- W1979906691 hasPrimaryLocation W19799066911 @default.
- W1979906691 hasRelatedWork W1576418322 @default.
- W1979906691 hasRelatedWork W1979906691 @default.
- W1979906691 hasRelatedWork W2103283735 @default.
- W1979906691 hasRelatedWork W2106035292 @default.
- W1979906691 hasRelatedWork W2108860137 @default.
- W1979906691 hasRelatedWork W2135756607 @default.
- W1979906691 hasRelatedWork W2149609054 @default.
- W1979906691 hasRelatedWork W2153955347 @default.
- W1979906691 hasRelatedWork W2162615969 @default.
- W1979906691 hasRelatedWork W3120172095 @default.
- W1979906691 isParatext "false" @default.
- W1979906691 isRetracted "false" @default.
- W1979906691 magId "1979906691" @default.
- W1979906691 workType "article" @default.