Categorical semantics of digital circuits.

Dan R. Ghica Achim Jung

Published in: FMCAD (2016)

Keyphrases

digital circuits
data flow
model based diagnosis
evolvable hardware
formal semantics
logic programming
functional decomposition
categorical data
circuit design
finite state machines
data warehouse
multi agent
conceptual model
semantic information
data integration
np hard
special case