A sound and complete denotational, operational, and algebraic semantics for synchronous sequential circuits with arbitrary feedback, plus a hypergraph rewriting framework for digital circuits.
Feedback, Trace and Fixed-Point Semantics
1 Pith paper cite this work, alongside 34 external citations. Polarity classification is still indexing.
1
Pith paper citing it
34
external citations · OpenAlex
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
A sound and complete denotational, operational, and algebraic semantics for synchronous sequential circuits with arbitrary feedback, plus a hypergraph rewriting framework for digital circuits.