A Formal Approach to Designing Multiple-Valued Arithmetic Circuits

Kazuya Saito, Naofumi Homma, Takafumi Aoki. A Formal Approach to Designing Multiple-Valued Arithmetic Circuits. Multiple-Valued Logic and Soft Computing, 24(1-4):21-34, 2015. [doi]

Abstract

Abstract is missing.