Farahmandi, Farimah
Alizadeh, Bijan
Funding for this research was provided by:
Institute for Research in Fundamental Sciences (CS1393-4-46)
This article is maintained by: Elsevier
Article Title: Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction
Journal Title: Microprocessors and Microsystems
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.micpro.2015.01.007
Content Type: article
Copyright: Copyright © 2015 Elsevier B.V. All rights reserved.