Results 221 to 230 of about 51,397 (286)

Arithmetic Circuit Verification Based on Symbolic Computer Algebra

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2008
This paper presents a formal approach to verify arithmetic circuits using symbolic computer algebra. Our method describes arithmetic circuits directly with high-level mathematical objects based on weighted number systems and arithmetic formulae. Such circuit description can be effectively verified by polynomial reduction techniques using Grobner Bases.
Naofumi Homma, Tatsuo Higuchi
exaly   +3 more sources

Application of symbolic computer algebra to arithmetic circuit verification

2007 25th International Conference on Computer Design, 2007
This paper presents a formal approach to verify arithmetic circuits using symbolic computer algebra. Our method describes arithmetic circuits directly with high-level mathematical objects based on weighted number systems and arithmetic formulae. Such circuit description can be effectively verified by polynomial reduction techniques using Grobner Bases.
Naofumi Homma, Tatsuo Higuchi
exaly   +3 more sources

Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

Design, Automation and Test in Europe, 2021
In this paper we build on methods based on Symbolic Computer Algebra that have been applied successfully to multiplier verification and more recently to divider verification as well.
Alireza Mahzoon, Daniel Grobe, Rolf Drechsler   +2 more
exaly   +2 more sources

Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification

Design Automation Conference, 2020
During the last few years Symbolic Computer Algebra (SCA) delivered excellent results in the verification of large integer and finite field multipliers at the gate level.
Christoph Scholl, Alexander Konrad
exaly   +2 more sources

Computer Algebra Systems and Symbolic Computations

Journal of Mathematical Sciences, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
V I Mysovskikh, Mysovskikh V I
exaly   +3 more sources

Symbolic Computation: Computer Algebra and Logic

International Symposium on Frontiers of Combining Systems, 1996
In this paper we present our personal view of what should be the next step in the development of symbolic computation systems. The main point is that future systems should integrate the power of algebra and logic. We identify four gaps between the future ideal and the systems available at present: the logic, the syntax, the mathematics, and the prover ...
B. Buchberger
openaire   +2 more sources

Symbolic computation: A Java based computer algebra system

2012 NATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION SYSTEMS, 2012
To solve complex and large mathematical expression manually using pen and paper is a time taking task which in most cases ends up in an erroneous result. This is a major drawback which may lead to heavy losses to people dealing in numbers. Henceforth we have come up with a vision of Symbolic computation which provides a quick, efficient and user ...
Motahar Reza
exaly   +2 more sources

Application of symbolic computer algebra in high-level data-flow synthesis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2003
A. Peymandoust, G. Micheli
exaly   +2 more sources

Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

Design Automation Conference, 2022
Modular multipliers are the essential components in cryptography and Residue Number System (RNS) designs. Especially, $2^{n}-1$ and $2^{n}+1$ modular multipliers have gained more attention due to their regular structures and a wide variety of ...
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, R. Drechsler   +4 more
semanticscholar   +1 more source

Computer Algebra and Symbolic Computation

2003
Joel s. Cohen
openaire   +2 more sources