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,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 2004/04/01 Vol. E87-CNo. 4 ;
pp. 598-605 Type of Manuscript: Special Section PAPER (Special Section on Low-Power System LSI, IP and Related Technologies) Category: Keyword: active bit, low power, datapath, data bus, dynamic,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/12/01 Vol. E86-ANo. 12 ;
pp. 3009-3019 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: IP Design Keyword: computer arithmetic algorithms, parallel counters, multipliers, datapath, VLSI, circuit synthesis,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1997/10/25 Vol. E80-ANo. 10 ;
pp. 1853-1860 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: performance evaluation, datapath, structure, parallel constraint,