Formal Design of Arithmetic Circuits Based on Arithmetic Description Language

Naofumi Homma, Yuki Watanabe, Takafumi Aoki, Tatsuo Higuchi. Formal Design of Arithmetic Circuits Based on Arithmetic Description Language. IEICE Transactions, 89-A(12):3500-3509, 2006. [doi]

Abstract

Abstract is missing.