Diagrammatic Semantics for Digital Circuits.

Dan R. Ghica Achim Jung Aliaume Lopez

Published in: CSL (2017)

Keyphrases

digital circuits
data flow
model based diagnosis
formal semantics
logic programming
circuit design
evolvable hardware
finite state machines
semantic information
decision diagrams
relational databases
data warehouse
object oriented
speech acts