Search

Your search keyword '"Yasin, Atif"' showing total 10 results
Start Over Author "Yasin, Atif" Publisher ieee
10 results on '"Yasin, Atif"'

8. Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model.

Author

Ciesielski, Maciej, Su, Tiankai, Yasin, Atif, and Yu, Cunxi

Subjects
OPEN source software, ARITHMETIC, DIGITAL electronics, CONSERVATION laws (Physics), GOAL programming
Abstract

This paper addresses theoretical aspects of arithmetic circuit verification based on algebraic rewriting. Its goal is to advance the understanding of algebraic techniques for arithmetic circuit verification in the context of symbolic computer algebra. The paper offers a new insight into the arithmetic circuit verification problem, by viewing the computation performed by the circuit as the flow of digital data. In the proposed bit-flow model, the circuit is modeled as a network of logic components satisfying a bit-flow conservation law. We prove that the value of the flow of data in the circuit is invariant throughout the circuit and use this to prove soundness and completeness of the rewriting technique, independently from the computer algebra arguments. The efficiency of the method is illustrated with impressive results for large integer multipliers. The verification system and benchmarks are offered in an open source software environment. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results