Concepedia

Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction

Farimah Farahmandi, Bijan Alizadeh

Microprocessors and Microsystems · 2015 · 56 citations · 27 references

Concepts

ComputingComputer EngineeringComputer ScienceCircuit TheoryFormal MethodsTheory Of ComputationComputational AlgebraDeductive VerificationModel CheckingArithmetic Circuit EvaluationArithmetic CircuitsCircuit Equivalence CheckingCircuit EvaluationComputer Algebra SystemsFormal Hardware VerificationFormal VerificationGaussian Elimination

References

27

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Synthesis and optimization of digital circuits

Choice Reviews Online · 1994 · 2.4K citations

Engineering, Computer Engineering, Electrical Engineering +17

A new efficient algorithm for computing Gröbner bases (F4)

Jean‐Charles Faugère · Journal of Pure and Applied Algebra · 1999 · 1.1K citations

Computing, Computer Science, Algorithms +4

Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal

Bruno Buchberger · Journal of Symbolic Computation · 2005 · 610 citations

Natural Sciences, Computer Science, Mathematics +12

Verification of arithmetic circuits with binary moment diagrams

Randal E. Bryant, Yirng-An Chen · 1995 · 325 citations

Engineering, Computer Engineering, Computer Science +8