Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214731104> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4214731104 abstract "This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. The main goal of this paper is conceptual: to fill a foundational gap in reasoning about digital circuits, which is currently almost exclusively semantic (simulations). The level of abstraction we target is circuits with discrete signal levels, discrete time, and explicit delays, which is appropriate for modelling a range of components such as boolean gates or transistors working in saturation mode. We start with an algebraic signature consisting of the basic electronic components of a given class of circuits and extend it gradually (and in a free way) with further algebraic structure (representing circuit combinations, delays, and feedback), while quotienting it with a notion of equivalence corresponding to input-output observability. Using well-known results about the correspondence between free monoidal categories and graph-like structures we can develop, in a principled way, a graph rewriting system which is shown to be useful in reasoning about such circuits. We illustrate the power of our system by reasoning equationally about a challenging class of circuits: combinational circuits with feedback." @default.
- W4214731104 created "2022-03-02" @default.
- W4214731104 creator A5027574821 @default.
- W4214731104 creator A5072298249 @default.
- W4214731104 date "2016-10-01" @default.
- W4214731104 modified "2023-09-27" @default.
- W4214731104 title "Categorical semantics of digital circuits" @default.
- W4214731104 cites W1587863652 @default.
- W4214731104 cites W1973799895 @default.
- W4214731104 cites W1977825116 @default.
- W4214731104 cites W1978909743 @default.
- W4214731104 cites W1982895477 @default.
- W4214731104 cites W2003131643 @default.
- W4214731104 cites W2010590963 @default.
- W4214731104 cites W2087656024 @default.
- W4214731104 cites W2102357532 @default.
- W4214731104 cites W2142091551 @default.
- W4214731104 cites W2145852050 @default.
- W4214731104 cites W236653988 @default.
- W4214731104 cites W2950993906 @default.
- W4214731104 cites W3105507374 @default.
- W4214731104 cites W32293111 @default.
- W4214731104 cites W4245561868 @default.
- W4214731104 doi "https://doi.org/10.1109/fmcad.2016.7886659" @default.
- W4214731104 hasPublicationYear "2016" @default.
- W4214731104 type Work @default.
- W4214731104 citedByCount "11" @default.
- W4214731104 countsByYear W42147311042017 @default.
- W4214731104 countsByYear W42147311042018 @default.
- W4214731104 countsByYear W42147311042019 @default.
- W4214731104 countsByYear W42147311042020 @default.
- W4214731104 countsByYear W42147311042021 @default.
- W4214731104 countsByYear W42147311042022 @default.
- W4214731104 countsByYear W42147311042023 @default.
- W4214731104 crossrefType "proceedings-article" @default.
- W4214731104 hasAuthorship W4214731104A5027574821 @default.
- W4214731104 hasAuthorship W4214731104A5072298249 @default.
- W4214731104 hasBestOaLocation W42147311042 @default.
- W4214731104 hasConcept C11413529 @default.
- W4214731104 hasConcept C119599485 @default.
- W4214731104 hasConcept C119857082 @default.
- W4214731104 hasConcept C127413603 @default.
- W4214731104 hasConcept C131017901 @default.
- W4214731104 hasConcept C132525143 @default.
- W4214731104 hasConcept C134146338 @default.
- W4214731104 hasConcept C141796577 @default.
- W4214731104 hasConcept C187075797 @default.
- W4214731104 hasConcept C28826006 @default.
- W4214731104 hasConcept C33923547 @default.
- W4214731104 hasConcept C36299963 @default.
- W4214731104 hasConcept C41008148 @default.
- W4214731104 hasConcept C5274069 @default.
- W4214731104 hasConcept C80444323 @default.
- W4214731104 hasConcept C81843906 @default.
- W4214731104 hasConceptScore W4214731104C11413529 @default.
- W4214731104 hasConceptScore W4214731104C119599485 @default.
- W4214731104 hasConceptScore W4214731104C119857082 @default.
- W4214731104 hasConceptScore W4214731104C127413603 @default.
- W4214731104 hasConceptScore W4214731104C131017901 @default.
- W4214731104 hasConceptScore W4214731104C132525143 @default.
- W4214731104 hasConceptScore W4214731104C134146338 @default.
- W4214731104 hasConceptScore W4214731104C141796577 @default.
- W4214731104 hasConceptScore W4214731104C187075797 @default.
- W4214731104 hasConceptScore W4214731104C28826006 @default.
- W4214731104 hasConceptScore W4214731104C33923547 @default.
- W4214731104 hasConceptScore W4214731104C36299963 @default.
- W4214731104 hasConceptScore W4214731104C41008148 @default.
- W4214731104 hasConceptScore W4214731104C5274069 @default.
- W4214731104 hasConceptScore W4214731104C80444323 @default.
- W4214731104 hasConceptScore W4214731104C81843906 @default.
- W4214731104 hasLocation W42147311041 @default.
- W4214731104 hasLocation W42147311042 @default.
- W4214731104 hasOpenAccess W4214731104 @default.
- W4214731104 hasPrimaryLocation W42147311041 @default.
- W4214731104 hasRelatedWork W106155582 @default.
- W4214731104 hasRelatedWork W2067889755 @default.
- W4214731104 hasRelatedWork W2125850227 @default.
- W4214731104 hasRelatedWork W2127780103 @default.
- W4214731104 hasRelatedWork W2135500595 @default.
- W4214731104 hasRelatedWork W2153257643 @default.
- W4214731104 hasRelatedWork W2226776300 @default.
- W4214731104 hasRelatedWork W2393977054 @default.
- W4214731104 hasRelatedWork W2758667664 @default.
- W4214731104 hasRelatedWork W3016324803 @default.
- W4214731104 isParatext "false" @default.
- W4214731104 isRetracted "false" @default.
- W4214731104 workType "article" @default.