The design and verification of SEU-hardened configurable DFF.

Xinrui Zhang Liguang Chen Liyun Wang Jian Wang Jinmei Lai

Published in: ASICON (2011)

Keyphrases

case study
data sets
data mining
high level
database systems
digital libraries
user interface
knowledge based systems
real time
computer vision
information systems
low cost
building blocks
model checking
design methodology
formal methods