Diagrammatic Semantics for Digital Circuits.

Dan R. Ghica Achim Jung Aliaume Lopez

Published in: CoRR (2017)

Keyphrases

digital circuits
data flow
formal semantics
model based diagnosis
finite state machines
evolvable hardware
circuit design
semantic information
databases
logic programming
functional decomposition
natural language
lower bound
np hard
low cost
decision diagrams