Matches in SemOpenAlex for { <https://semopenalex.org/work/W3018543728> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3018543728 abstract "Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalence between synchronous latch-based specifications and their desynchronized bundled-data asynchronous implementations. In this work we identify a counterexample to Cortadella et al.'s proof illustrating how their protocol can in fact lead to a violation of flow equivalence. However, two of the less concurrent protocols identified in their paper do preserve flow equivalence. To verify this fact, we formalize flow equivalence in the Coq proof assistant and provide mechanized, machine-checkable proofs of our results." @default.
- W3018543728 created "2020-05-01" @default.
- W3018543728 creator A5013696585 @default.
- W3018543728 creator A5034557410 @default.
- W3018543728 creator A5048819669 @default.
- W3018543728 creator A5084205024 @default.
- W3018543728 date "2020-04-06" @default.
- W3018543728 modified "2023-09-27" @default.
- W3018543728 title "Formal Verification of Flow Equivalence in Desynchronized Designs" @default.
- W3018543728 cites W121484200 @default.
- W3018543728 cites W2031351902 @default.
- W3018543728 cites W2031381504 @default.
- W3018543728 cites W2057843078 @default.
- W3018543728 cites W2069632812 @default.
- W3018543728 cites W2096336201 @default.
- W3018543728 cites W2133598769 @default.
- W3018543728 cites W2137541450 @default.
- W3018543728 cites W2160160584 @default.
- W3018543728 cites W2289386049 @default.
- W3018543728 cites W2495832856 @default.
- W3018543728 cites W2801972078 @default.
- W3018543728 cites W2973076780 @default.
- W3018543728 cites W2978827086 @default.
- W3018543728 cites W2979142728 @default.
- W3018543728 cites W3145153607 @default.
- W3018543728 hasPublicationYear "2020" @default.
- W3018543728 type Work @default.
- W3018543728 sameAs 3018543728 @default.
- W3018543728 citedByCount "0" @default.
- W3018543728 crossrefType "posted-content" @default.
- W3018543728 hasAuthorship W3018543728A5013696585 @default.
- W3018543728 hasAuthorship W3018543728A5034557410 @default.
- W3018543728 hasAuthorship W3018543728A5048819669 @default.
- W3018543728 hasAuthorship W3018543728A5084205024 @default.
- W3018543728 hasConcept C108710211 @default.
- W3018543728 hasConcept C118615104 @default.
- W3018543728 hasConcept C151319957 @default.
- W3018543728 hasConcept C162838799 @default.
- W3018543728 hasConcept C199360897 @default.
- W3018543728 hasConcept C2524010 @default.
- W3018543728 hasConcept C26713055 @default.
- W3018543728 hasConcept C2780069185 @default.
- W3018543728 hasConcept C31258907 @default.
- W3018543728 hasConcept C33923547 @default.
- W3018543728 hasConcept C41008148 @default.
- W3018543728 hasConcept C58861099 @default.
- W3018543728 hasConcept C80444323 @default.
- W3018543728 hasConcept C9390403 @default.
- W3018543728 hasConceptScore W3018543728C108710211 @default.
- W3018543728 hasConceptScore W3018543728C118615104 @default.
- W3018543728 hasConceptScore W3018543728C151319957 @default.
- W3018543728 hasConceptScore W3018543728C162838799 @default.
- W3018543728 hasConceptScore W3018543728C199360897 @default.
- W3018543728 hasConceptScore W3018543728C2524010 @default.
- W3018543728 hasConceptScore W3018543728C26713055 @default.
- W3018543728 hasConceptScore W3018543728C2780069185 @default.
- W3018543728 hasConceptScore W3018543728C31258907 @default.
- W3018543728 hasConceptScore W3018543728C33923547 @default.
- W3018543728 hasConceptScore W3018543728C41008148 @default.
- W3018543728 hasConceptScore W3018543728C58861099 @default.
- W3018543728 hasConceptScore W3018543728C80444323 @default.
- W3018543728 hasConceptScore W3018543728C9390403 @default.
- W3018543728 hasLocation W30185437281 @default.
- W3018543728 hasOpenAccess W3018543728 @default.
- W3018543728 hasPrimaryLocation W30185437281 @default.
- W3018543728 hasRelatedWork W1188080205 @default.
- W3018543728 hasRelatedWork W136121193 @default.
- W3018543728 hasRelatedWork W1493702131 @default.
- W3018543728 hasRelatedWork W1507932752 @default.
- W3018543728 hasRelatedWork W1573737512 @default.
- W3018543728 hasRelatedWork W1595726842 @default.
- W3018543728 hasRelatedWork W1599005250 @default.
- W3018543728 hasRelatedWork W1965122436 @default.
- W3018543728 hasRelatedWork W2016339333 @default.
- W3018543728 hasRelatedWork W2130928091 @default.
- W3018543728 hasRelatedWork W2286742647 @default.
- W3018543728 hasRelatedWork W2521663436 @default.
- W3018543728 hasRelatedWork W2897039247 @default.
- W3018543728 hasRelatedWork W2950225832 @default.
- W3018543728 hasRelatedWork W2967943502 @default.
- W3018543728 hasRelatedWork W3005249364 @default.
- W3018543728 hasRelatedWork W3029162146 @default.
- W3018543728 hasRelatedWork W3162279086 @default.
- W3018543728 hasRelatedWork W3193924946 @default.
- W3018543728 hasRelatedWork W35106564 @default.
- W3018543728 isParatext "false" @default.
- W3018543728 isRetracted "false" @default.
- W3018543728 magId "3018543728" @default.
- W3018543728 workType "article" @default.