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

Pouya Taatizadeh, Nicola Nicolici

Browse the full ICCAD paper archive.