Farimah Farahmandi, Bijan Alizadeh. Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction. Microprocessors and Microsystems, 39(2):83-96, 2015. [doi]
Abstract is missing.