An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths

DOI10.1007/978-3-540-70545-1_45zbMath1155.68448OpenAlexW1844774176MaRDI QIDQ3512511

Oliver Wienand, Wolfgang Kunz, Gert-Martin Greuel, Dominik Stoffel, Markus Wedler

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_45

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items

The Gröbner basis of the ideal of vanishing polynomials, Incremental column-wise verification of arithmetic circuits using computer algebra, Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey

Uses Software

• CoCoA
• Macaulay2
• Magma
• SINGULAR

Cites Work

• Unnamed Item
• The Gröbner basis of the ideal of vanishing polynomials
• New developments in the theory of Gröbner bases and applications to formal verification
• The Magma algebra system. I: The user language
• Spear operators between Banach spaces
• A Singular Introduction to Commutative Algebra
• Efficient E-Matching for SMT Solvers
• SINGULAR