Keyword : computer algebra


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)

Extension of the Algorithm to Compute H Norm of a Parametric System
Takuya KITAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/08/01
Vol. E92-A  No. 8 ; pp. 2036-2045
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
parametric systemfrequency-restricted normH normcomputer algebraKYP Lemma
 Summary | Full Text:PDF(221.9KB)

Arithmetic Circuit Verification Based on Symbolic Computer Algebra
Yuki WATANABE Naofumi HOMMA Takafumi AOKI Tatsuo HIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/10/01
Vol. E91-A  No. 10 ; pp. 3038-3046
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
datapatharithmetic circuitsformal verificationcomputer algebra
 Summary | Full Text:PDF(754.8KB)