Matches in SemOpenAlex for { <https://semopenalex.org/work/W986753913> ?p ?o ?g. }
- W986753913 abstract "This chapter describes a synthesis procedure of designing digital systems that do not require the distribution of a clocking signal. Guarded commands [1] were chosen to provide a simple syntax for circuit specifications. The notation of signal transition graphs [2] was used to represent circuit behavior and to simplify algorithms and graph manipulations. The definition of semi-modularity [3] was modified and the theorems developed for marked directed graphs [4] were used to guarantee a hazard-free implementation. All together, a deterministic algorithm of synthesizing self-timed synchronization circuits from high-level specifications was constructed. The implication is that fully asynchronous design (or more precisely, asynchronous design using anisochronous interconnect according to the previous chapter) is feasible and self-timed circuit synthesis can be automated. Although in this chapter we are primarily concerned with the synthesis of non-metastable circuits, the procedure is also valid for metastable circuit synthesis." @default.
- W986753913 created "2016-06-24" @default.
- W986753913 creator A5083640009 @default.
- W986753913 date "1991-01-01" @default.
- W986753913 modified "2023-09-26" @default.
- W986753913 title "Synthesis of Self-Timed Circuits" @default.
- W986753913 cites W1981519869 @default.
- W986753913 cites W1992481212 @default.
- W986753913 cites W1993742654 @default.
- W986753913 cites W2029005287 @default.
- W986753913 cites W2066210260 @default.
- W986753913 cites W2083131182 @default.
- W986753913 cites W4211008702 @default.
- W986753913 cites W4240821204 @default.
- W986753913 doi "https://doi.org/10.1007/978-1-4615-3990-2_3" @default.
- W986753913 hasPublicationYear "1991" @default.
- W986753913 type Work @default.
- W986753913 sameAs 986753913 @default.
- W986753913 citedByCount "3" @default.
- W986753913 crossrefType "book-chapter" @default.
- W986753913 hasAuthorship W986753913A5083640009 @default.
- W986753913 hasConcept C111472728 @default.
- W986753913 hasConcept C11413529 @default.
- W986753913 hasConcept C119599485 @default.
- W986753913 hasConcept C127162648 @default.
- W986753913 hasConcept C127413603 @default.
- W986753913 hasConcept C132525143 @default.
- W986753913 hasConcept C134146338 @default.
- W986753913 hasConcept C134652429 @default.
- W986753913 hasConcept C137059387 @default.
- W986753913 hasConcept C138885662 @default.
- W986753913 hasConcept C151319957 @default.
- W986753913 hasConcept C192328126 @default.
- W986753913 hasConcept C24326235 @default.
- W986753913 hasConcept C2778562939 @default.
- W986753913 hasConcept C2779478453 @default.
- W986753913 hasConcept C2780586882 @default.
- W986753913 hasConcept C31258907 @default.
- W986753913 hasConcept C33923547 @default.
- W986753913 hasConcept C41008148 @default.
- W986753913 hasConcept C42196554 @default.
- W986753913 hasConcept C45357846 @default.
- W986753913 hasConcept C54355233 @default.
- W986753913 hasConcept C76155785 @default.
- W986753913 hasConcept C80444323 @default.
- W986753913 hasConcept C81843906 @default.
- W986753913 hasConcept C86803240 @default.
- W986753913 hasConcept C87695204 @default.
- W986753913 hasConcept C94375191 @default.
- W986753913 hasConceptScore W986753913C111472728 @default.
- W986753913 hasConceptScore W986753913C11413529 @default.
- W986753913 hasConceptScore W986753913C119599485 @default.
- W986753913 hasConceptScore W986753913C127162648 @default.
- W986753913 hasConceptScore W986753913C127413603 @default.
- W986753913 hasConceptScore W986753913C132525143 @default.
- W986753913 hasConceptScore W986753913C134146338 @default.
- W986753913 hasConceptScore W986753913C134652429 @default.
- W986753913 hasConceptScore W986753913C137059387 @default.
- W986753913 hasConceptScore W986753913C138885662 @default.
- W986753913 hasConceptScore W986753913C151319957 @default.
- W986753913 hasConceptScore W986753913C192328126 @default.
- W986753913 hasConceptScore W986753913C24326235 @default.
- W986753913 hasConceptScore W986753913C2778562939 @default.
- W986753913 hasConceptScore W986753913C2779478453 @default.
- W986753913 hasConceptScore W986753913C2780586882 @default.
- W986753913 hasConceptScore W986753913C31258907 @default.
- W986753913 hasConceptScore W986753913C33923547 @default.
- W986753913 hasConceptScore W986753913C41008148 @default.
- W986753913 hasConceptScore W986753913C42196554 @default.
- W986753913 hasConceptScore W986753913C45357846 @default.
- W986753913 hasConceptScore W986753913C54355233 @default.
- W986753913 hasConceptScore W986753913C76155785 @default.
- W986753913 hasConceptScore W986753913C80444323 @default.
- W986753913 hasConceptScore W986753913C81843906 @default.
- W986753913 hasConceptScore W986753913C86803240 @default.
- W986753913 hasConceptScore W986753913C87695204 @default.
- W986753913 hasConceptScore W986753913C94375191 @default.
- W986753913 hasLocation W9867539131 @default.
- W986753913 hasOpenAccess W986753913 @default.
- W986753913 hasPrimaryLocation W9867539131 @default.
- W986753913 hasRelatedWork W1493750408 @default.
- W986753913 hasRelatedWork W1877932305 @default.
- W986753913 hasRelatedWork W1911691937 @default.
- W986753913 hasRelatedWork W1968602877 @default.
- W986753913 hasRelatedWork W2030913109 @default.
- W986753913 hasRelatedWork W2092333098 @default.
- W986753913 hasRelatedWork W2101481392 @default.
- W986753913 hasRelatedWork W2103485967 @default.
- W986753913 hasRelatedWork W2109864488 @default.
- W986753913 hasRelatedWork W2123710050 @default.
- W986753913 hasRelatedWork W2144506669 @default.
- W986753913 hasRelatedWork W2150081387 @default.
- W986753913 hasRelatedWork W2157658705 @default.
- W986753913 hasRelatedWork W2163023948 @default.
- W986753913 hasRelatedWork W2314123426 @default.
- W986753913 hasRelatedWork W2387840968 @default.
- W986753913 hasRelatedWork W2486241036 @default.
- W986753913 hasRelatedWork W2543514385 @default.
- W986753913 hasRelatedWork W2588387294 @default.
- W986753913 hasRelatedWork W3001137031 @default.