Kotaro OKAMOTO


Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations
Kotaro OKAMOTO Naofumi HOMMA Takafumi AOKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/09/01
Vol. E97-D  No. 9  pp. 2270-2277
Type of Manuscript:  Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing)
Category: VLSI Architecture
Keyword: 
arithmetic circuitsformal verificationnormal basiscomputer algebra
 Summary | Full Text:PDF(1.2MB)