RobuCheck: A Robustness Checker for Digital Circuits.

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

Published in: DSD (2010)

Keyphrases

digital circuits
analog circuits
model based diagnosis
data flow
finite state machines
evolvable hardware
circuit design
artificial intelligence
genetic algorithm
information systems
query processing
high robustness
decision diagrams