RobuCheck: a robustness checker for digital circuits.

Stefan Frehse Görschwin Fey André Sülflow Rolf Drechsler

Published in: DYADEM-FTS@EDCC (2010)

Keyphrases

digital circuits
data flow
analog circuits
model based diagnosis
functional decomposition
finite state machines
circuit design
evolvable hardware
query language
high robustness
decision diagrams
information retrieval
case study
data model
computational efficiency
constraint satisfaction