Modular arithmetic decision procedure with auto-correction mechanism

Bijan Alizadeh, Masahiro Fujita. Modular arithmetic decision procedure with auto-correction mechanism. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009. pages 138-145, IEEE, 2009. [doi]

Abstract

Abstract is missing.