Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon Validation

Pouya Taatizadeh, Nicola Nicolici. Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon Validation. IEEE Trans. on CAD of Integrated Circuits and Systems, 35(12):2118-2130, 2016. [doi]

Abstract

Abstract is missing.