[IEEE 2012 21st Asian Test Symposium (ATS) - Niigata, Japan (2012.11.19-2012.11.22)] 2012 IEEE 21st Asian Test Symposium - Error Model Free Automatic Design Error Correction of Complex Processors Using Formal Methods
Gharehbaghi, Amir Masoud; Fujita, Masahiro
- 作者Gharehbaghi, Amir Masoud; Fujita, Masahiro
- 文件大小197.67KB
- 发表时间2012
- DOI10.1109/ats.2012.44
- 页码143-148