Amir Masoud Gharehbaghi, Masahiro Fujita. Error Model Free Automatic Design Error Correction of Complex Processors Using Formal Methods. In 21st IEEE Asian Test Symposium, ATS 2012, Niigata, Japan, November 19-22, 2012. pages 143-148, IEEE Computer Society, 2012. [doi]
Abstract is missing.