This paper investigates the impact of inter- and intra-die variations on binary and high-radix adders that adopt the borrow-save encoding. High-radix adders have been employed for the recoding of ...

Once the arithmetic bit-level representation of the circuit is obtained, equivalence checking can be performed using simple arithmetic operations. We have successfully applied the technique for the ...

1. Agrawal, M. and Vinay, V. Arithmetic circuits: A chasm at depth four. In Proceedings of the Annual Symposium on Foundations of Computer Science. IEEE, 2008, 67–75. 2. Dvir, Z. and Shpilka, A.

This work started as a fork from the original arithmetic-circuits library which is no longer developed. Since there is currently no hope for merging changes upstream and GitHub forks have limited PM ...