Ching-Yi Huang, Daw-Ming Lee, Chun-Chi Lin, Chun-Yao Wang. Error Injection & Correction: An efficient formal logic restructuring algorithm. In International SoC Design Conference, ISOCC 2012, Jeju Island, South Korea, November 4-7, 2012. pages 188-191, IEEE, 2012. [doi]
Abstract is missing.