Login / Signup
Synchronous digital circuits as functional programs.
Peter Gammie
Published in:
ACM Comput. Surv. (2013)
Keyphrases
</>
digital circuits
functional programs
term rewriting systems
lazy evaluation
logic programs
data flow
model based diagnosis
finite state machines
functional language
circuit design
stochastic grammar
functional decomposition
databases
functional programming