A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits.

Gürkan Uygur Sebastian Sattler

Published in: J. Electron. Test. (2013)

Keyphrases

digital circuits
finite state machines
model based diagnosis
circuit design
evolvable hardware
data flow
functional decomposition
pattern matching
cooperative
relevance feedback
high speed
complex systems
constraint satisfaction
formal model