Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520384708> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1520384708 endingPage "362" @default.
- W1520384708 startingPage "359" @default.
- W1520384708 abstract "Large Systems on Chips (SoC) comprise multiple clock domains, and inter-domain data transfers require synchronization. Synchronizers may fail due to metastability, but when using proper synchronization circuits the probability of such failures can be made negligible. Failures due to unexpected order of events (caused by interfacing multiple unrelated clocks) are more common. Correct synchronization is independent of event order, and can be verified by model checking. Given a synchronizer, a correct protocol is guessed, verification rules are generated out of the protocol specification, and the model checker applies these rules to the given synchronizer. An alternative method verifies correct data transfer and seeks potential data missing or duplication. Both approaches require specific modeling of multiple clocks, allowing for non-determinism in their relative ordering. These methods have been applied successfully to several synchronizers." @default.
- W1520384708 created "2016-06-24" @default.
- W1520384708 creator A5010407295 @default.
- W1520384708 creator A5022926525 @default.
- W1520384708 date "2005-01-01" @default.
- W1520384708 modified "2023-09-25" @default.
- W1520384708 title "Formal Verification of Synchronizers" @default.
- W1520384708 cites W1520384708 @default.
- W1520384708 cites W1544623790 @default.
- W1520384708 cites W1579939990 @default.
- W1520384708 cites W2007675081 @default.
- W1520384708 cites W2141725526 @default.
- W1520384708 cites W2142598547 @default.
- W1520384708 cites W2155155782 @default.
- W1520384708 cites W2164897374 @default.
- W1520384708 doi "https://doi.org/10.1007/11560548_31" @default.
- W1520384708 hasPublicationYear "2005" @default.
- W1520384708 type Work @default.
- W1520384708 sameAs 1520384708 @default.
- W1520384708 citedByCount "19" @default.
- W1520384708 countsByYear W15203847082012 @default.
- W1520384708 countsByYear W15203847082013 @default.
- W1520384708 countsByYear W15203847082016 @default.
- W1520384708 countsByYear W15203847082017 @default.
- W1520384708 countsByYear W15203847082021 @default.
- W1520384708 crossrefType "book-chapter" @default.
- W1520384708 hasAuthorship W1520384708A5010407295 @default.
- W1520384708 hasAuthorship W1520384708A5022926525 @default.
- W1520384708 hasBestOaLocation W15203847081 @default.
- W1520384708 hasConcept C110251889 @default.
- W1520384708 hasConcept C111498074 @default.
- W1520384708 hasConcept C120314980 @default.
- W1520384708 hasConcept C121332964 @default.
- W1520384708 hasConcept C127162648 @default.
- W1520384708 hasConcept C192183473 @default.
- W1520384708 hasConcept C2776303644 @default.
- W1520384708 hasConcept C2778562939 @default.
- W1520384708 hasConcept C2779662365 @default.
- W1520384708 hasConcept C31258907 @default.
- W1520384708 hasConcept C41008148 @default.
- W1520384708 hasConcept C62520636 @default.
- W1520384708 hasConcept C66727535 @default.
- W1520384708 hasConcept C79403827 @default.
- W1520384708 hasConcept C80444323 @default.
- W1520384708 hasConcept C9390403 @default.
- W1520384708 hasConceptScore W1520384708C110251889 @default.
- W1520384708 hasConceptScore W1520384708C111498074 @default.
- W1520384708 hasConceptScore W1520384708C120314980 @default.
- W1520384708 hasConceptScore W1520384708C121332964 @default.
- W1520384708 hasConceptScore W1520384708C127162648 @default.
- W1520384708 hasConceptScore W1520384708C192183473 @default.
- W1520384708 hasConceptScore W1520384708C2776303644 @default.
- W1520384708 hasConceptScore W1520384708C2778562939 @default.
- W1520384708 hasConceptScore W1520384708C2779662365 @default.
- W1520384708 hasConceptScore W1520384708C31258907 @default.
- W1520384708 hasConceptScore W1520384708C41008148 @default.
- W1520384708 hasConceptScore W1520384708C62520636 @default.
- W1520384708 hasConceptScore W1520384708C66727535 @default.
- W1520384708 hasConceptScore W1520384708C79403827 @default.
- W1520384708 hasConceptScore W1520384708C80444323 @default.
- W1520384708 hasConceptScore W1520384708C9390403 @default.
- W1520384708 hasLocation W15203847081 @default.
- W1520384708 hasLocation W15203847082 @default.
- W1520384708 hasOpenAccess W1520384708 @default.
- W1520384708 hasPrimaryLocation W15203847081 @default.
- W1520384708 hasRelatedWork W1520384708 @default.
- W1520384708 hasRelatedWork W1559358658 @default.
- W1520384708 hasRelatedWork W178421615 @default.
- W1520384708 hasRelatedWork W2117798332 @default.
- W1520384708 hasRelatedWork W2131630752 @default.
- W1520384708 hasRelatedWork W2147711412 @default.
- W1520384708 hasRelatedWork W2349020459 @default.
- W1520384708 hasRelatedWork W2370841479 @default.
- W1520384708 hasRelatedWork W2373884999 @default.
- W1520384708 hasRelatedWork W2377216019 @default.
- W1520384708 isParatext "false" @default.
- W1520384708 isRetracted "false" @default.
- W1520384708 magId "1520384708" @default.
- W1520384708 workType "book-chapter" @default.