Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387677150> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4387677150 abstract "Clock domain crossing (CDC) verification is an important and integral part of all system-on-chip designs. Static CDC verification uses structural analysis to identify missing synchronizers, potential glitch logic etc. While reviewing the generated violations, designers often overlook/assume certain facts about the design and waive the violations incorrectly. A single wrong assumption can cause downstream chip failure or critical function failure, which might lead to costly chip re-spins. Therefore, static CDC checks are not sufficient to guarantee the functional correctness of a design’s clock domains. CDC static verification tools typically have native assertion generation capability based on the crossing type to validate such designers’ assumptions. These assertions are subsequently leveraged by design verification teams to validate the assumptions made during static analysis. Achieving optimal functional coverage while verifying these assertions in simulation-based design verification (DV) is a major challenge due to the inherent incompleteness of simulation. In this paper, we propose a robust methodology for CDC verification by leveraging formal verification as a first step for verifying the static tool generated assertions and passing only the remaining assertions which could not converge through formal to simulation, hence reducing considerably the number of assertions to be targeted through simulation. This is turn can achieve a major left shift in CDC verification timeline, saving on time-consuming targeted testbench development which becomes the long pole. Also, assertions which are proved through formal are guaranteed to hold, improving the coverage and confidence of verification." @default.
- W4387677150 created "2023-10-17" @default.
- W4387677150 creator A5014930819 @default.
- W4387677150 creator A5020398145 @default.
- W4387677150 creator A5037096353 @default.
- W4387677150 creator A5053545618 @default.
- W4387677150 creator A5093071538 @default.
- W4387677150 creator A5093071539 @default.
- W4387677150 date "2023-09-21" @default.
- W4387677150 modified "2023-10-17" @default.
- W4387677150 title "Enhancing Coverage of Clock Domain Crossing Assertion Verification leveraging Formal" @default.
- W4387677150 cites W2062147277 @default.
- W4387677150 cites W2528910556 @default.
- W4387677150 cites W2550608975 @default.
- W4387677150 cites W3142972151 @default.
- W4387677150 cites W4226072545 @default.
- W4387677150 cites W4368227715 @default.
- W4387677150 doi "https://doi.org/10.1109/wintechcon58518.2023.10277198" @default.
- W4387677150 hasPublicationYear "2023" @default.
- W4387677150 type Work @default.
- W4387677150 citedByCount "0" @default.
- W4387677150 crossrefType "proceedings-article" @default.
- W4387677150 hasAuthorship W4387677150A5014930819 @default.
- W4387677150 hasAuthorship W4387677150A5020398145 @default.
- W4387677150 hasAuthorship W4387677150A5037096353 @default.
- W4387677150 hasAuthorship W4387677150A5053545618 @default.
- W4387677150 hasAuthorship W4387677150A5093071538 @default.
- W4387677150 hasAuthorship W4387677150A5093071539 @default.
- W4387677150 hasConcept C110251889 @default.
- W4387677150 hasConcept C111498074 @default.
- W4387677150 hasConcept C134306372 @default.
- W4387677150 hasConcept C142284323 @default.
- W4387677150 hasConcept C149635348 @default.
- W4387677150 hasConcept C186846655 @default.
- W4387677150 hasConcept C187250869 @default.
- W4387677150 hasConcept C199360897 @default.
- W4387677150 hasConcept C202973057 @default.
- W4387677150 hasConcept C2777904410 @default.
- W4387677150 hasConcept C33054407 @default.
- W4387677150 hasConcept C33923547 @default.
- W4387677150 hasConcept C3406870 @default.
- W4387677150 hasConcept C36503486 @default.
- W4387677150 hasConcept C40422974 @default.
- W4387677150 hasConcept C41008148 @default.
- W4387677150 hasConcept C529173508 @default.
- W4387677150 hasConcept C55439883 @default.
- W4387677150 hasConcept C62460635 @default.
- W4387677150 hasConcept C93682380 @default.
- W4387677150 hasConcept C97686452 @default.
- W4387677150 hasConceptScore W4387677150C110251889 @default.
- W4387677150 hasConceptScore W4387677150C111498074 @default.
- W4387677150 hasConceptScore W4387677150C134306372 @default.
- W4387677150 hasConceptScore W4387677150C142284323 @default.
- W4387677150 hasConceptScore W4387677150C149635348 @default.
- W4387677150 hasConceptScore W4387677150C186846655 @default.
- W4387677150 hasConceptScore W4387677150C187250869 @default.
- W4387677150 hasConceptScore W4387677150C199360897 @default.
- W4387677150 hasConceptScore W4387677150C202973057 @default.
- W4387677150 hasConceptScore W4387677150C2777904410 @default.
- W4387677150 hasConceptScore W4387677150C33054407 @default.
- W4387677150 hasConceptScore W4387677150C33923547 @default.
- W4387677150 hasConceptScore W4387677150C3406870 @default.
- W4387677150 hasConceptScore W4387677150C36503486 @default.
- W4387677150 hasConceptScore W4387677150C40422974 @default.
- W4387677150 hasConceptScore W4387677150C41008148 @default.
- W4387677150 hasConceptScore W4387677150C529173508 @default.
- W4387677150 hasConceptScore W4387677150C55439883 @default.
- W4387677150 hasConceptScore W4387677150C62460635 @default.
- W4387677150 hasConceptScore W4387677150C93682380 @default.
- W4387677150 hasConceptScore W4387677150C97686452 @default.
- W4387677150 hasLocation W43876771501 @default.
- W4387677150 hasOpenAccess W4387677150 @default.
- W4387677150 hasPrimaryLocation W43876771501 @default.
- W4387677150 hasRelatedWork W1985271980 @default.
- W4387677150 hasRelatedWork W2035244079 @default.
- W4387677150 hasRelatedWork W2325633191 @default.
- W4387677150 hasRelatedWork W2355428260 @default.
- W4387677150 hasRelatedWork W2361881307 @default.
- W4387677150 hasRelatedWork W2392047570 @default.
- W4387677150 hasRelatedWork W3036403349 @default.
- W4387677150 hasRelatedWork W3120172095 @default.
- W4387677150 hasRelatedWork W4205300843 @default.
- W4387677150 hasRelatedWork W4301348901 @default.
- W4387677150 isParatext "false" @default.
- W4387677150 isRetracted "false" @default.
- W4387677150 workType "article" @default.