An automated SAT-based method for the design of on-chip bit-flip detectors.

Pouya Taatizadeh Nicola Nicolici

Published in: ICCAD (2017)

Keyphrases

detection method
preprocessing
significant improvement
high accuracy
fully automatic
neural network
similarity measure
computer aided
objective function
user interface
analog to digital converter