Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125513782> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2125513782 abstract "The author describes algorithms and techniques underlying a CAD system for automatic synthesis and verification of control circuits based on asynchronous finite state machine (AFSM) specifications. AFSM specifications are transformed into signal transition graphs, and then into state graphs. Techniques for hazard-free synthesis techniques from state graphs are described. An efficient two-level hierarchical technique based on state graph contraction and D. Dill's verifier (ACM Distinguished Dissertation Series) is used to verify the logic implementations against the state graph. A CAD prototype called CLASS, (Cirrus Logic Asynchronous Synthesis System) has been used to successfully synthesize and verify the HP Labs benchmark and various other real applications. >" @default.
- W2125513782 created "2016-06-24" @default.
- W2125513782 creator A5065280193 @default.
- W2125513782 date "2003-01-02" @default.
- W2125513782 modified "2023-09-27" @default.
- W2125513782 title "Automatic synthesis and verification of hazard-free control circuits from asynchronous finite state machine specifications" @default.
- W2125513782 cites W130167763 @default.
- W2125513782 cites W1554812212 @default.
- W2125513782 cites W1733023992 @default.
- W2125513782 cites W2141393995 @default.
- W2125513782 cites W2153364763 @default.
- W2125513782 doi "https://doi.org/10.1109/iccd.1992.276302" @default.
- W2125513782 hasPublicationYear "2003" @default.
- W2125513782 type Work @default.
- W2125513782 sameAs 2125513782 @default.
- W2125513782 citedByCount "11" @default.
- W2125513782 crossrefType "proceedings-article" @default.
- W2125513782 hasAuthorship W2125513782A5065280193 @default.
- W2125513782 hasConcept C113775141 @default.
- W2125513782 hasConcept C11413529 @default.
- W2125513782 hasConcept C131017901 @default.
- W2125513782 hasConcept C132525143 @default.
- W2125513782 hasConcept C13280743 @default.
- W2125513782 hasConcept C134652429 @default.
- W2125513782 hasConcept C137059387 @default.
- W2125513782 hasConcept C151319957 @default.
- W2125513782 hasConcept C157922185 @default.
- W2125513782 hasConcept C167822520 @default.
- W2125513782 hasConcept C181062253 @default.
- W2125513782 hasConcept C185798385 @default.
- W2125513782 hasConcept C187075797 @default.
- W2125513782 hasConcept C199360897 @default.
- W2125513782 hasConcept C205649164 @default.
- W2125513782 hasConcept C26713055 @default.
- W2125513782 hasConcept C2776350369 @default.
- W2125513782 hasConcept C31258907 @default.
- W2125513782 hasConcept C41008148 @default.
- W2125513782 hasConcept C42196554 @default.
- W2125513782 hasConcept C48103436 @default.
- W2125513782 hasConcept C76155785 @default.
- W2125513782 hasConcept C80444323 @default.
- W2125513782 hasConcept C87695204 @default.
- W2125513782 hasConceptScore W2125513782C113775141 @default.
- W2125513782 hasConceptScore W2125513782C11413529 @default.
- W2125513782 hasConceptScore W2125513782C131017901 @default.
- W2125513782 hasConceptScore W2125513782C132525143 @default.
- W2125513782 hasConceptScore W2125513782C13280743 @default.
- W2125513782 hasConceptScore W2125513782C134652429 @default.
- W2125513782 hasConceptScore W2125513782C137059387 @default.
- W2125513782 hasConceptScore W2125513782C151319957 @default.
- W2125513782 hasConceptScore W2125513782C157922185 @default.
- W2125513782 hasConceptScore W2125513782C167822520 @default.
- W2125513782 hasConceptScore W2125513782C181062253 @default.
- W2125513782 hasConceptScore W2125513782C185798385 @default.
- W2125513782 hasConceptScore W2125513782C187075797 @default.
- W2125513782 hasConceptScore W2125513782C199360897 @default.
- W2125513782 hasConceptScore W2125513782C205649164 @default.
- W2125513782 hasConceptScore W2125513782C26713055 @default.
- W2125513782 hasConceptScore W2125513782C2776350369 @default.
- W2125513782 hasConceptScore W2125513782C31258907 @default.
- W2125513782 hasConceptScore W2125513782C41008148 @default.
- W2125513782 hasConceptScore W2125513782C42196554 @default.
- W2125513782 hasConceptScore W2125513782C48103436 @default.
- W2125513782 hasConceptScore W2125513782C76155785 @default.
- W2125513782 hasConceptScore W2125513782C80444323 @default.
- W2125513782 hasConceptScore W2125513782C87695204 @default.
- W2125513782 hasLocation W21255137821 @default.
- W2125513782 hasOpenAccess W2125513782 @default.
- W2125513782 hasPrimaryLocation W21255137821 @default.
- W2125513782 hasRelatedWork W1483902580 @default.
- W2125513782 hasRelatedWork W1514733365 @default.
- W2125513782 hasRelatedWork W1541135555 @default.
- W2125513782 hasRelatedWork W1554812212 @default.
- W2125513782 hasRelatedWork W1557588235 @default.
- W2125513782 hasRelatedWork W1963240520 @default.
- W2125513782 hasRelatedWork W1995436603 @default.
- W2125513782 hasRelatedWork W2095700397 @default.
- W2125513782 hasRelatedWork W2097914781 @default.
- W2125513782 hasRelatedWork W2118818031 @default.
- W2125513782 hasRelatedWork W2119240323 @default.
- W2125513782 hasRelatedWork W2120519502 @default.
- W2125513782 hasRelatedWork W2135669900 @default.
- W2125513782 hasRelatedWork W2135794938 @default.
- W2125513782 hasRelatedWork W2143721527 @default.
- W2125513782 hasRelatedWork W2148456309 @default.
- W2125513782 hasRelatedWork W2152903342 @default.
- W2125513782 hasRelatedWork W2153364763 @default.
- W2125513782 hasRelatedWork W2158888072 @default.
- W2125513782 hasRelatedWork W2537392761 @default.
- W2125513782 isParatext "false" @default.
- W2125513782 isRetracted "false" @default.
- W2125513782 magId "2125513782" @default.
- W2125513782 workType "article" @default.