Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/09/01 Vol. E97-DNo. 9 ;
pp. 2270-2277 Type of Manuscript: Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing) Category: VLSI Architecture Keyword: arithmetic circuits, formal verification, normal basis, computer algebra,
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-ANo. 8 ;
pp. 2036-2045 Type of Manuscript: PAPER Category: Systems and Control Keyword: parametric system, frequency-restricted norm, H∞ norm, computer algebra, KYP Lemma,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/10/01 Vol. E91-ANo. 10 ;
pp. 3038-3046 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: datapath, arithmetic circuits, formal verification, computer algebra,