TAKAGI Kazuyoshi

J-GLOBAL         Last updated: Nov 12, 2019 at 10:02
 
Avatar
Name
TAKAGI Kazuyoshi
E-mail
ktakagiarch.info.mie-u.ac.jp
Affiliation
Mie University
Section
Graduate School of Engineering
Job title
Professor
Degree
Master of Engineering(Kyoto University), Doctor of Engineering(Kyoto University)

Profile

Kazuyoshi Takagi
received the B.E., M.E. and Dr. of Engineering degrees in information science from Kyoto University, Kyoto, Japan, in 1991, 1993 and 1999 respectively.
From 1995 to 1999, he was a Research Associate at Nara Institute of Science and Technology.
He has been an Assistant Professor since 1999 and promoted to an Associate Professor in 2006, at the Department of Information Engineering, Nagoya University, Nagoya, Japan.
He moved to Department of Communications and Computer Engineering, Kyoto University in 2011.
In 2019, he joined Department of Information Engineering, Mie University, as a Professor.
His current interests include system LSI design and design algorithms.

Research Areas

 
 

Academic & Professional Experience

 
Apr 2019
 - 
Today
Professor, Dept. Information Engineering, G.S. Information Engineering, Mie University
 
Apr 2011
 - 
Mar 2019
Associate Professor, Dept. Communications and Computer Engineering, G.S. Informatics, Kyoto University
 
Apr 2007
 - 
Mar 2018
Cooperative Researcher, VDEC, The University of Tokyo
 
Apr 2007
 - 
Mar 2011
Associate Professor, Dept. Information Engineering, G.S. Information Science, Nagoya University
 
Jul 2006
 - 
Mar 2007
Associate Professor, Dept. Information Engineering, G.S. Information Science, Nagoya University
 
Apr 2005
 - 
Mar 2007
Visiting Researcher, VDEC, The University of Tokyo
 
Apr 2003
 - 
Jun 2006
Assistant Professor, Dept. Information Engineering, G.S. Information Science, Nagoya University
 
Feb 2000
 - 
Mar 2003
Assistant Professor, Dept. Information Engineering, G.S. Engineering, Nagoya University
 
Apr 1999
 - 
Jan 2000
Assistant Professor, Dept. Information Engineering, G.S. Engineering, Nagoya University
 
Apr 1995
 - 
Mar 1999
Research Associate, Nara Institute of Science and Technology
 

Education

 
 
 - 
1993
Department of Information Science, Graduate School, Division of Engineering, Kyoto University
 
 
 - 
1995
Department of Information Science, Graduate School, Division of Engineering, Kyoto University
 
 
 - 
1991
Department of Information Science, Faculty of Engineering, Kyoto University
 

Published Papers

 
Nobutaka Kito, Kazuyoshi Takagi, Naofumi Takagi
IEEE Transactions on Applied Superconductivity   28    Jun 2018   [Refereed]
© 2002-2011 IEEE. A fast wire-routing method considering wire-length matching of passive transmission lines (PTLs) is proposed. The method deals with channel routing between adjacent columns of active devices, and generates paths of PTLs with spec...
Kotaro Matsumoto,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions   101-A(2) 467-471   Feb 2018   [Refereed]
A fast wire-routing method and an automatic layout tool for RSFQ digital circuits considering wire-length matching
N. Kito, K. Takagi, N. Takagi
13th European Conference on Applied Superconductivity (EUCAS 2017)   1Ep1-03   Sep 2017   [Refereed]
Execution of stored programs in a Single-Flux-Quantum microprocessor with embedded memories at 50 GHz
A. Fujimaki, R. Sato, Y. Hatanaka, Y. Matsui, K. Takagi, N. Takagi, M. Tanaka
13th European Conference on Applied Superconductivity (EUCAS 2017)   2EO1-01   Sep 2017   [Refereed]
Ryo Sato, Yuki Hatanaka, Yuki Ando, Masamitsu Tanaka, Akira Fujimaki, Kazuyoshi Takagi, Naofumi Takagi
IEEE Transactions on Applied Superconductivity   27    Jun 2017   [Refereed]
© 2002-2011 IEEE. We present design and experimental results of a rapid single-flux-quantum (RSFQ) bit-serial microprocessor with reduced-size embedded random access memories (RAMs) and with a minimal instruction set, called CORE e2h. The micropro...
Tang Guang-Ming, Takagi Kazuyoshi, Takagi Naofumi
IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY   27(3)    Apr 2017   [Refereed]
Logic design of a pattern matching circuit based on systolic architecture using Single-Flux-Quantum circuits
M. Ohata, K. Takagi, N. Takagi
Applied Superconductivity Conference (ASC 2016)   3EPo1B-07   Sep 2016   [Refereed]
High-speed operation of Random-Access-Memory-embedded microprocessors based on Rapid Single-Flux-Quantum logic
R. Sato, Y. Hatanaka, Y. Ando, M. Tanaka, A. Fujimaki, K. Takagi, N. Takagi
Applied Superconductivity Conference (ASC 2016)   4EOr2B-01   Sep 2016   [Refereed]
Conceptual design of a 4-bit bit-slice 32-bit RSFQ microprocessor
G. Tang, Y. Ohmomo, K. Takagi, N. Takagi
Applied Superconductivity Conference (ASC 2016)   4EOr2B-03   Sep 2016   [Refereed]
Ando Yuki, Sato Ryo, Tanaka Masamitsu, Takagi Kazuyoshi, Takagi Naofumi, Fujimaki Akira
IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY   26(5)    Aug 2016   [Refereed]
Nobutaka Kito, Kazuyoshi Takagi, Naofumi Takagi
IEEE Transactions on Applied Superconductivity   26(3)    Jan 2016   [Refereed]
© 2016 IEEE. An automatic wire-routing method of passive transmission lines (PTLs) for single-flux-quantum digital circuits is proposed. The method considers the wire routing of a rectangular region between adjacent columns of active devices. To p...
Hideki Takase,Kazumi Aono,Yutaka Matsubara,Kazuyoshi Takagi,Naofumi Takagi
14th IEEE International New Circuits and Systems Conference, NEWCAS 2016, Vancouver, BC, Canada, June 26-29, 2016   1-4   2016   [Refereed]
Guang-Ming Tang,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions   99-C(6) 697-702   2016   [Refereed]
Masamitsu Tanaka,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions   99-C(6) 703-709   2016   [Refereed]
Guang-Ming Tang, Kazuyoshi Takagi, Naofumi Takagi
IEEE Transactions on Applied Superconductivity   26(1)    Sep 2015   [Refereed]
Automatic wire-routing of SFQ digital circuits considering wire-length matching
N. Kito, K. Takagi, N. Takagi
12th European Conference on Applied Superconductivity (EUCAS 2015)   2M-E-01   Sep 2015   [Refereed]
Takuya Hatayama,Hideki Takase,Kazuyoshi Takagi,Naofumi Takagi
IPSJ T. on System LSI Design Methodology   8 100-104   Aug 2015   [Refereed]
M. Tanaka, K. Takata, R. Sato, A. Fujimaki, T. Kawaguchi, Y. Ando, K. Takagi, N. Takagi, N. Yoshikawa
15th International Superconductive Electronics Conference (ISEC 2015)   DS-O01-INV   Jul 2015   [Refereed][Invited]
R. Sato, K. Takata, M. Tanaka, A. Fujimaki, N. Takagi, K. Takagi
15th International Superconductive Electronics Conference (ISEC 2015)   DS-P32   Jul 2015   [Refereed]
Y. Ando, R. Sato, M. Tanaka, K. Takagi, N. Takagi
15th International Superconductive Electronics Conference (ISEC 2015)   DS-P17   Jul 2015   [Refereed]
G. Tang, K. Takagi, N. Takagi
15th International Superconductive Electronics Conference (ISEC 2015)   DS-P05   Jul 2015   [Refereed]
`Demonstration of an 8-bit SFQ carry look-ahead adder using clockless logic cells
T. Kawaguchi, M. Tanaka, K. Takagi, N. Takagi
Demonstration of an 8-bit SFQ carry look-ahead adder using clockless logic cells   DS-P01-INV   Jul 2015   [Refereed]
Peng Xizhu, Xu Qiuyun, Kato Faichi, Yamanashi Yuki, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Naofumi, Takagi Kazuyoshi, Hidaka Mutsuo
IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY   25(3)    Jun 2015   [Refereed]
Takahiro Kawaguchi,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions   98-A(12) 2556-2564   2015   [Refereed]
Akihiro Suda,Hideki Takase,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   97-A(12) 2498-2506   Dec 2014   [Refereed]
Nobutaka Kito, Kazuyoshi Takagi, Naofumi Takagi
IEEE Transactions on Applied Superconductivity   25(3)    Nov 2014   [Refereed]
T. Hatayama, H. Takase, K. Takagi, N. Takagi
Proc. 11th International SoC Design Conference   118-119   Nov 2014   [Refereed]
K. Aono, A. Iwata, H. Takase, K. Takagi, N. Takagi
Proc. 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS)   554-557   Aug 2014   [Refereed]
Xizhu Peng,Yuki Yamanashi,Nobuyuki Yoshikawa,Akira Fujimaki,Naofumi Takagi,Kazuyoshi Takagi,Mutsuo Hidaka
IEICE Transactions on Electronics   97-C(3) 188-193   Mar 2014   [Refereed]
Akira Fujimaki,Masamitsu Tanaka,Ryo Kasagi,Katsumi Takagi,Masakazu Okada,Yuhi Hayakawa,Kensuke Takata,Hiroyuki Akaike,Nobuyuki Yoshikawa,Shuichi Nagasawa,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions on Electronics   97-C(3) 157-165   Mar 2014   [Refereed]
Kazuyoshi Takagi,Nobutaka Kito,Naofumi Takagi
IEICE Transactions on Electronics   97-C(3) 149-156   Mar 2014   [Refereed]
Shuichi Nagasawa,Kenji Hinode,Tetsuro Satoh,Mutsuo Hidaka,Hiroyuki Akaike,Akira Fujimaki,Nobuyuki Yoshikawa,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions on Electronics   97-C(3) 132-140   Mar 2014   [Refereed]
K. Kobayashi; N. Takagi; K. Takagi
IET Computers and Digital Techniques   6(3) 180-185   May 2012   [Refereed]
Kazuhiro Nakamura,Ryo Shimazaki,Masatoshi Yamamoto,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions on Electronics   95-C(4) 456-467   Apr 2012   [Refereed]
M. Tanaka; H. Akaike; A. Fujimaki; Y. Yamanashi; N. Yoshikawa; S. Nagasawa; K. Takagi; N. Takagi
IEEE Transactions on Applied Superconductivity   21(3) 792-796   Jun 2011   [Refereed]
T. Kainuma; Y. Shimamura; F. Miyaoka; Y. Yamanashi; N. Yoshikawa; A. Fujimaki; K. Takagi; N. Takagi; S. Nagasawa
IEEE Transactions on Applied Superconductivity   21(3) 827-830   Jun 2011   [Refereed]
Kazuyoshi Takagi,Yuki Ito,Shota Takeshima,Masamitsu Tanaka,Naofumi Takagi
IEICE Transactions on Electronics   94-C(3) 288-295   Mar 2011   [Refereed]
Masamitsu Tanaka,Koji Obata,Yuki Ito,Shota Takeshima,Motoki Sato,Kazuyoshi Takagi,Naofumi Takagi,Hiroyuki Akaike,Akira Fujimaki
IEICE Transactions on Electronics   93-C(4) 435-439   Apr 2010   [Refereed]
K. Nakamura; M. Yamamoto; K. Takagi; N. Takagi
IEICE Transactions on Information and Systems   93-D(2) 300-305   Feb 2010   [Refereed]
T. Satoh; K. Hinode; S. Nagasawa; Y. Kitagawa; M. Hidaka; N. Yoshikawa; H. Akaike; A. Fujimaki; K. Takagi; N. Takagi
IEEE Transactions on Applied Superconductivity   19(3) 167-170   Jun 2009   [Refereed]
H. Akaike; M. Tanaka; K. Takagi; I. Kataeva; R. Kasagi; A. Fujimaki; K. Takagi; M. Igarashi; H. Park; Y. Yamanashi; N. Yoshikawa; K. Fujiwara; S. Nagasawa; M. Hidaka; N. Takagi
Physica C: Superconductivity and its Applications   469(15-20) 1670-1673   2009   [Refereed]
S. Nagasawa; T. Satoh; K. Hinode; Y. Kitagawa; M. Hidaka; H. Akaike; A. Fujimaki; K. Takagi; N. Takagi; N. Yoshikawa
Physica C: Superconductivity and its Applications   469(15-20) 1578-1584   2009   [Refereed]
H. Hara; K. Obata; H. Park; Y. Yamanashi; K. Taketomi; N. Yoshikawa; M. Tanaka; A. Fujimaki; N. Takagi; K. Takagi; S. Nagasawa
IEEE Transactions on Applied Superconductivity   19(3) 657-660   2009   [Refereed]
H. Park; Y. Yamanashi; K. Taketomi; N. Yoshikawa; M. Tanaka; K. Obata; Y. Ito; A. Fujimaki; N. Takagi; K. Takagi; S. Nagasawa
IEEE Transactions on Applied Superconductivity   19(3) 634-639   2009   [Refereed]
M. Tanaka; K. Obata; K. Takagi; N. Takagi; A. Fujimaki; N. Yoshikawa
IEEE Transactions on Applied Superconductivity   19(3) 653-656   2009   [Refereed]
K. Fujiwara; S. Nagasawa; Y. Hashimoto; M. Hidaka; N. Yoshikawa; M. Tanaka; H. Akaike; A. Fujimaki; K. Takagi; N. Takagi
IEEE Transactions on Applied Superconductivity   19(3) 603-606   2009   [Refereed]
K. Obata; K. Takagi; N. Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   91-A(12) 3772-3782   2008   [Refereed]
Koji Obata,Kazuyoshi Takagi,Naofumi Takagi
IEICE Transactions on Electronics   90-C(12) 2278-2284   2007   [Refereed]
K. Obata; K. Takagi; N. Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   90-A(1) 257-266   2007   [Refereed]
M. Tanaka; Y. Yamanashi; N. Irie; H.-J. Park; S. Iwasaki; K. Takagi; K. Taketomi; A. Fujimaki; N. Yoshikawa; H. Terai; S. Yorozu
Superconductor Science and Technology   20(11) S305-S309   2007   [Refereed]
N. Takagi; S. Kadowaki; K. Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   89-A(10) 2874-2881   2006   [Refereed]
K. Obata; M. Tanaka; Y. Tashiro; Y. Kamiya; N. Irie; K. Takagi; N. Takagi; A. Fujimaki; N. Yoshikawa; H. Terai; S. Yorozu
Physica C: Superconductivity and its Applications   445-448(1-2) 1014-1019   2006   [Refereed]
H. Onodera; M. Ikeda; T. Ishihara; T. Isshiki; K. Inoue; K. Okada; S. Kajihara; M. Kaneko; H. Kawaguchi; S. Kimura; M. Kuga; A. Kurokawa; T. Sato; T. Shibuya; Y. Shiraishi; K. Takagi; A. Takahashi; Y. Takeuchi; N. Togawa; H. Tomiyama; Y. Nakamura; K. Hamaguchi; Y. Miura; S.-I. Minato; R. Yamaguchi; M. Yamada; Y. Yuminaka; T. Watanabe; M. Hashimoto; M. Miyazaki
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E89-A(12) 3377-   2006   [Refereed]
Digit-recurrence algorithm for computing reciprocal square-root
N. Takagi; D. Matsuoka; K. Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E86-A(1) 221-228   2003   [Refereed]
A VLSI algorithm for division in GF(2m) based on extended binary GCD algorithm
Y. Watanabe; N. Takagi; K. Takagi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E85-A(5) 994-999   2002   [Refereed]
Naofumi Takagi,Jun-ichi Yoshiki,Kazuyoshi Takagi
IEEE Trans. Computers   50(5) 394-398   2001   [Refereed]
N. Takagi; J.-I. Yoshiki; K. Takagi
IEEE Transactions on Computers   50(5) 394-398   2001   [Refereed]
Exact minimization of free bdds and its application to pass-transistor logic optimization
K. Takagi; H. Hatakeda; S. Kimura; K. Watanabe
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E82-A(11) 2407-2413   1999   [Refereed]
Hardware synthesis from C programs with estimation of bit length of variables
O. Ogawa; K. Takagi; Y. Itoh; S. Kimura; K. Watanabe
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E82-A(11) 2338-2346   1999   [Refereed]
Timing verification of sequential logic circuits based on controlled multi-clock path analysis
K. Nakamura; S. Kimura; K. Takagi; K. Watanabe
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E81-A(12) 2515-2520   1998   [Refereed]
Computational power of nondeterministic ordered binary decision diagrams and their subclasses
K. Takagi; K. Nitta; H. Bouno; Y. Takenaga; S. Yajima
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E80-A(4) 663-669   1997   [Refereed]

Misc

 
Designs of Component Circuits for Stochastic Computing Using Rapid Single Flux Quantum Circuits
N. Kito, Y. Koketsu, K. Takagi
21st Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2018)   39-44   Mar 2018   [Refereed]
北村圭, 高木一義, 高木直史
電子情報通信学会大会講演論文集(CD-ROM)   2018 ROMBUNNO.C‐8‐8   Mar 2018
廣瀬秀樹, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   117(480(DC2017 89-106)) 161‐166   Feb 2018
水野有美, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   117(480(DC2017 89-106)) 167‐172   Feb 2018
森智也, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   117(480(DC2017 89-106)) 155‐160   Feb 2018
森智也, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   117(274(DC2017 33-67)) 221‐226   Oct 2017
藤原康史, 高木一義, 高木直史
電子情報通信学会技術研究報告   117(279(RECONF2017 37-49)) 55‐59   Oct 2017
高木一義, 大畑真也, 高木直史
電子情報通信学会技術研究報告   117(10(SCE2017 1-10)) 35‐39   Apr 2017
藤原 康史, 高木 一義, 高木 直史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116(510) 363-367   Mar 2017
鬼頭信貴, 高木一義, 高木直史
電子情報通信学会大会講演論文集(CD-ROM)   2017 ROMBUNNO.C‐8‐1   Mar 2017
藤原康史, 高木一義, 高木直史
電子情報通信学会技術研究報告   116(511(DC2016 84-108)) 363‐367   Mar 2017
松井健太郎, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   116(511(DC2016 84-108)) 93‐98   Mar 2017
谷祐輔, 高瀬英希, 高木一義, 高木直史
電子情報通信学会技術研究報告   116(511(DC2016 84-108)) 105‐110   Mar 2017
佐藤諒, 田中雅光, 畑中湧貴, 赤池宏之, 藤巻朗, 高木一義, 高木直史
応用物理学会春季学術講演会講演予稿集(CD-ROM)   64th ROMBUNNO.15p‐316‐12   Mar 2017
TAKAGI Kazuyoshi
IEICE ESS Fundamentals Review   10(4) 299-299   2017
Static Timing Analysis of Rapid Single-Flux-Quantum Circuits
T. Kawaguchi, K. Takagi, N. Takagi
20th Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2016)   341-345   Oct 2016   [Refereed]
Fast Length-Matching Routing for Rapid Single Flux Quantum Circuits
N. Kito, K. Takagi, N. Takagi
20th Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2016)   135-140   Oct 2016   [Refereed]
鬼頭信貴, 高木一義, 高木直史
電子情報通信学会大会講演論文集(CD-ROM)   2016 ROMBUNNO.C‐8‐2   Sep 2016
佐藤諒, 田中雅光, 畑中湧貴, 赤池宏之, 藤巻朗, 高木一義, 高木直史
電子情報通信学会大会講演論文集(CD-ROM)   2016 ROMBUNNO.C‐8‐7   Sep 2016
谷祐輔, 高瀬英希, 高木一義, 高木直史
情報処理学会研究報告(Web)   2016(EMB-42) Vol.2016‐EMB‐42,No.3,1‐2 (WEB ONLY)   Aug 2016
廣瀬秀樹, 高瀬英希, 高木一義, 高木直史
情報処理学会研究報告(Web)   2016(SE-192) Vol.2016‐SE‐192,No.4,1‐8 (WEB ONLY)   May 2016
森 智也, 高瀬 英希, 高木 一義, 高木 直史
システム制御情報学会研究発表講演会講演論文集   60    May 2016
森智也, 高瀬英希, 高木一義, 高木直史
システム制御情報学会研究発表講演会講演論文集(CD-ROM)   60th ROMBUNNO.111‐2   May 2016
佐藤 諒, 安藤 友紀, 田中 雅光, 藤巻 朗, 高木 一義, 高木 直史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116(6) 25-30   Apr 2016
佐藤諒, 安藤友紀, 田中雅光, 藤巻朗, 高木一義, 高木直史
電子情報通信学会技術研究報告   116(6(SCE2016 1-10)) 25‐30   Apr 2016
谷 祐輔, 高瀬 英希, 大川 猛, 高木 一義, 高木 直史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(518) 139-144   Mar 2016
谷 祐輔, 高瀬 英希, 大川 猛, 高木 一義, 高木 直史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(519) 139-144   Mar 2016
Sato Ryo, Ando Yuki, Tanaka Masamitsu, Fujimaki Akira, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2016(2)    Mar 2016
Tanaka M., Takata K., Sato R., Ando Y., Kawaguchi T., Fujimaki A., Takagi K., Takagi N., Yoshikwa N.
Proceedings of the IEICE General Conference   2016(2)    Mar 2016
Ando Yuki, Tanaka Masamitsu, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2016(2)    Mar 2016
Kito Nobutaka, Nakajima Yu, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2016(2)    Mar 2016
Moriya Masao, Takagi Kazuyoshi, Takagi Naofumi
RIMS Kokyuroku   1941 1-5   Apr 2015
Sato Ryo, Takata Kensuke, Tanaka Masamitsu, Fujimaki Akira, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2015(2)    Feb 2015
Nishimura Sho, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2015(2)    Feb 2015
PTL routing environment for SFQ circuits using a commercial router
T. Kawaguchi, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   143-146   Dec 2014
Design of an 8-bit bit-serial SFQ microprocessor CORE e4 with four registers
Y. Ando, M. Tanaka, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   111-115   Dec 2014
Design of shift-register memories for SFQ micro processors COREe
R. Numaguchi, T. Takahashi, N. Yoshikawa, Y. Yamanashi, A. Fujimaki, M. Tanaka, N. Takagi, K. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   105-107   Dec 2014
Design and implementation of bit-serial SFQ microprocessor CORE e3
R. Sato, K. Takata, M. Tanaka, A. Fujimaki, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   90-93   Dec 2014
Minimum depth logic circuits for five-variable logic functions using three-input majority gates
M. Moriya, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   67-71   Dec 2014
Demonstration of 4-bit-parallel bit-slice ALU
K. Takata, M. Tanaka, A. Fujimaki, G. Tang, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   84-89   Dec 2014
Comparison of bit-slice arithmetic logic units for 32-bit RSFQ microprocessors
G. Tang, K. Takagi, N. Takagi
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   39-44   Dec 2014
IWATA ATSUSHI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Dependable computing   114(329) 63-68   Nov 2014
Recently, single instruction set heterogeneous multi-core architecture have focused attention for use in embedded systems. In order to reduce energy consumption on this architecture, while guaranteeing the deadline constraints of embedded real-tim...
TAKATA Yuhei, TAKAGI Naofumi, TAKAGI Kazuyoshi
IEICE technical report. Computer systems   114(330) 25-29   Nov 2014
Complex operations are used in scientific computing and signal processing. Floating-point complex multiplication is important because of frequent appearance in the Fast Fourier transform. As AVX supported by Haswell, which is the latest Intel micr...
Design of RSFQ microprocessors integrated with RAMs based on bit-serial processing
M. Tanaka, K. Takata, R. Satoh, A. Fujimaki, T. Kawaguchi, Y. Ando, K. Takagi, N. Takagi, N. Yoshikawa
Proc. 7th Superconducting SFQ VLSI Workshop (SSV 2014)   2-7   Dec 2014
YATAKA Hiroyuki, TAKAGI Naofumi, TAKAGI Kazuyoshi
IEICE technical report. Computer systems   114(330) 19-23   Nov 2014
In recent years, high speed and high precision computing is increasingly needed. Hardware support for IEEE754 compliant quadruple precision arithmetic is expensive. A computation time to perform double-double precision arithmetic which perform qua...
IWATA ATSUSHI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
Technical report of IEICE. VLD   114(328) 63-68   Nov 2014
Recently, single instruction set heterogeneous multi-core architecture have focused attention for use in embedded systems. In order to reduce energy consumption on this architecture, while guaranteeing the deadline constraints of embedded real-tim...
Tanaka Masamitsu, Takata Kensuke, Takagi Kazuyoshi, Takagi Naofumi, Fujimaki Akira
Proceedings of the Society Conference of IEICE   2014(2)    Sep 2014
Takata Kensuke, Tanaka Masamitsu, Fujimaki Akira, Tanaka Kang-Ming, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the Society Conference of IEICE   2014(2)    Sep 2014
Ando Yuki, Takagi Kazuyoshi, Takagi Naofumi, Yamashita Shigeru
Proceedings of the Society Conference of IEICE   2014(2)    Sep 2014
岩田 淳, 高瀬 英希, 高木 一義, 高木 直史
研究報告システムとLSIの設計技術(SLDM)   2014(4) 1-6   Nov 2014
近年,組込みシステムのアーキテクチャとして,同じ命令セットで異なる性能を持つ,同一命令セットヘテロジニアスマルチコアが注目されている.このアーキテクチャにおいてデッドライン制約を保証した上で消費エネルギーを削減するためには,適切なタスクスケジューリングや動的電圧周波数制御 (DVFS),更には動作コアの切り替えを行う必要がある.本研究は,同一命令セットヘテロジニアスマルチコアに適した,消費エネルギー削減のためのタスクマイグレーション手法を提案する.タスクマイグレーションの実行には,組込みシ...
Moriya Masao, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the Society Conference of IEICE   2014(2)    Sep 2014
MATSUMOTO Kotaro, TAKAGI Naofumi, TAKAGI Kazuyoshi
IEICE technical report. Theoretical foundations of Computing   114(199) 23-27   Sep 2014
Evaluation of the matrix polynomial I + A + A^2 + … + A^<N-1> appears in signal processing and graph theory. Evaluation methods with smaller number of matrix multiplications have been investigated. As methods with the number of matrix multiplicati...
畑山 拓也, 高瀬 英希, 高木 一義
回路とシステムワークショップ論文集 Workshop on Circuits and Systems   27 410-415   Aug 2014
TAKATA Kensuke, TANAKA Masamitsu, FUJIMAKI Akira, TANG Kang-Ming, TAKAGI Kazuyoshi, TAKAGI Naofumi
Technical report of IEICE. SCE   114(147) 7-12   Jul 2014
In our demonstrated SFQ microprocessor design, a bit serial architecture has been used up to now. In order to increase the performance of the microprocessor, we designed a bit-slice adder as we kept introduction of bit-slice architecture in mind. ...
AONO KAZUMI, IWATA ATSUSHI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Dependable computing   113(498) 1-6   Mar 2014
Energy harvesting embedded systems may work permanently when the chance to harvest energy is steady. However, operation strategies to utilize the limited energy are needed when the chance is not steady. In this report, we present an operation scen...
AZUMA RYOHEI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Dependable computing   113(498) 91-96   Mar 2014
We have studied an environment which make it possible for designers to design systems based on programmable SoCs with only programming language for software. In this paper, we implement a front-end of our system design environment. In the front-en...
青野 和巳, 岩田 淳, 高瀬 英希, 高木 一義, 高木 直史
研究報告システムLSI設計技術(SLDM)   2014(1) 1-6   Mar 2014
環境発電で駆動する組込みシステムは,電力を得られる機会が安定している場合は,恒久的にシステムを稼働させることが可能である.しかし,その機会が安定していない場合には適切な消費電力管理が必要となる.本稿では,まず,環境発電のシナリオが既知の下で,環境電力で駆動する組込みシステムを,ある一定周期の実行候補点で実行するかを選択するものとしてモデル化する.ただし,システムの安定稼働を保証するため,最大実行間隔のうちで必ず 1 回は実行されるものとする.さらに,モデル化したシステムの動作品質を最大化す...
青野 和巳, 岩田 淳, 高瀬 英希, 高木 一義, 高木 直史
研究報告組込みシステム(EMB)   2014(1) 1-6   Mar 2014
環境発電で駆動する組込みシステムは,電力を得られる機会が安定している場合は,恒久的にシステムを稼働させることが可能である.しかし,その機会が安定していない場合には適切な消費電力管理が必要となる.本稿では,まず,環境発電のシナリオが既知の下で,環境電力で駆動する組込みシステムを,ある一定周期の実行候補点で実行するかを選択するものとしてモデル化する.ただし,システムの安定稼働を保証するため,最大実行間隔のうちで必ず 1 回は実行されるものとする.さらに,モデル化したシステムの動作品質を最大化す...
東 遼平, 高瀬 英希, 高木 一義, 高木 直史
研究報告システムLSI設計技術(SLDM)   2014(16) 1-6   Mar 2014
我々は,プログラマブル SoC 上のシステムをソフトウェア向けの高級言語のみで設計できる環境を検討してきた.本研究では,このシステム設計環境におけるフロントエンドを実装する.フロントエンドでは,設計者が構成情報で指定したソフトウェアとハードウェア間のインタフェースが自動生成される.インタフェースはデータを直接送受信するものを用意し,メモリにデータを格納してそのアドレスを送受信するものを検討する.イベントフラグのビット表現とインタフェースの処理シーケンスを規定し,複数のハードウェアが並列に実...
東 遼平, 高瀬 英希, 高木 一義, 高木 直史
研究報告組込みシステム(EMB)   2014(16) 1-6   Mar 2014
我々は,プログラマブル SoC 上のシステムをソフトウェア向けの高級言語のみで設計できる環境を検討してきた.本研究では,このシステム設計環境におけるフロントエンドを実装する.フロントエンドでは,設計者が構成情報で指定したソフトウェアとハードウェア間のインタフェースが自動生成される.インタフェースはデータを直接送受信するものを用意し,メモリにデータを格納してそのアドレスを送受信するものを検討する.イベントフラグのビット表現とインタフェースの処理シーケンスを規定し,複数のハードウェアが並列に実...
AONO KAZUMI, IWATA ATSUSHI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Computer systems   113(497) 1-6   Mar 2014
Energy harvesting embedded systems may work permanently when the chance to harvest energy is steady. However, operation strategies to utilize the limited energy are needed when the chance is not steady. In this report, we present an operation scen...
Tanaka Masamitsu, Ohmomo Yukio, Takagi Kazuyoshi, Takagi Naofumi, Fujimaki Akira
Proceedings of the IEICE General Conference   2014(2)    Mar 2014
AZUMA RYOHEI, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Computer systems   113(497) 91-96   Mar 2014
We have studied an environment which make it possible for designers to design systems based on programmable SoCs with only programming language for software. In this paper, we implement a front-end of our system design environment. In the front-en...
東 遼平, 高瀬 英希, 高木 一義, 高木 直史
IEICE technical report   113(418) 191-196   Jan 2014
Recently, programmable SoCs which integrate a processor and an FPGA on one chip are released and attracting attentions. A programmable SoC can realize systems composed of various processes with different requirements of the load and flexibility. I...
SUDA AKIHIRO, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Dependable computing   113(321) 251-256   Nov 2013
Recently, polyhedral optimization has been focused as an automatic parallelization method for nested loops with non-uniform data dependencies. However, off-chip RAM accesses have been the bottleneck for applying polyhedral optimization into high-l...
須田 瑛大, 高瀬 英希, 高木 一義, 高木 直史
研究報告システムLSI設計技術(SLDM)   2013(46) 1-6   Nov 2013
高位合成を用いてハードウェアを設計する場合,制御回路が複雑化することが多い.そのため,状態レジスタからデータレジスタまでの,制御回路を含むパスがクリティカルパスになる場合が多い.このパスの遅延を改善するため,様々な制御回路の設計手法が提案されている.本研究では,複数の代表的な制御回路の設計手法について,クロック周波数と面積オーバーヘッドの定量的な評価を行う.また,状態符号化手法とゲートレベルリタイミングの相性に関しても評価した.実験の結果,各制御回路の最適化手法は,制御回路の遅延が長いベン...
SUDA AKIHIRO, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
Technical report of IEICE. VLD   113(320) 251-256   Nov 2013
Recently, polyhedral optimization has been focused as an automatic parallelization method for nested loops with non-uniform data dependencies. However, off-chip RAM accesses have been the bottleneck for applying polyhedral optimization into high-l...
東 遼平, 高瀬 英希, 高木 一義, 高木 直史
IEICE technical report. Computer systems   113(417) 191-196   Jan 2014
Recently, programmable SoCs which integrate a processor and an FPGA on one chip are released and attracting attentions. A programmable SoC can realize systems composed of various processes with different requirements of the load and flexibility. I...
東 遼平, 高瀬 英希, 高木 一義, 高木 直史
Technical report of IEICE. VLD   113(416) 191-196   Jan 2014
Recently, programmable SoCs which integrate a processor and an FPGA on one chip are released and attracting attentions. A programmable SoC can realize systems composed of various processes with different requirements of the load and flexibility. I...
Kato Taiichi, Yamanashi Yuki, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Naofumi, Takagi Kazuyoshi, Nagasawa Shuichi
Proceedings of the Society Conference of IEICE   2013(2)    Sep 2013
東遼平, 高瀬英希, 高木一義, 高木直史
研究報告システムLSI設計技術(SLDM)   2014(34) 1-6   Jan 2014
近年,プロセッサと FPGA を 1 チップに集積したプログラマブル SoC が注目されている.この SoC では,求められる負荷と柔軟性が異なる処理を混在させたシステムが実現できる.本研究では,高性能な組込みプロセッサを搭載したプログラマブル SoC を対象としたソフトウェア中心のシステム設計環境について検討する.本環境では,設計者がハードウェアやインタフェースの知識無しに,ソフトウェア向けの高級言語の知識のみでシステムを設計できるようにすることを目指す.ソフトウェア向け高級言語からのハ...
Iwata Atsushi, Takase Hideki, Takagi Kazuyoshi, Takagi Naofumi
情報科学技術フォーラム講演論文集   12(1) 315-318   Aug 2013
A. Suda; H. Takase; K. Takagi; N. Takagi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   8285 LNCS(PART 1) 390-401   Dec 2013   [Refereed]
SUDA AKIHIRO, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Dependable computing   112(482) 121-126   Mar 2013
In the field of high level synthesis, there has been an issue on automatic extraction of parallelism. Recently, automatic parallelization methods called Polyhedral Optimization are attracting attention in the field of software compilation. Polyhed...
ITOH Yuya, TAKASE Hideki, TAKAGI Kazuyoshi, TAKAGI Naofumi
IEICE technical report. Computer systems   112(481) 253-258   Mar 2013
A floating-point unit array that is constructed by connecting floating-point units, is expected to be an excellent architecture for calculating a huge amount of operation in scientific computation such as signal and image processing. In this paper...
SUDA AKIHIRO, TAKASE HIDEKI, TAKAGI KAZUYOSHI, TAKAGI NAOFUMI
IEICE technical report. Computer systems   112(481) 121-126   Mar 2013
In the field of high level synthesis, there has been an issue on automatic extraction of parallelism. Recently, automatic parallelization methods called Polyhedral Optimization are attracting attention in the field of software compilation. Polyhed...
Retiming of SFQ logic circuits for reduction of flip-flops
N. Kito, K. Takagi, N. Takagi
Proc.6th Superconducting SFQ VLSI Workshop (SSV 2013)   13-18   Nov 2013
Nishimura Sho, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2013(2)    Mar 2013
ITOH Yuya, TAKASE Hideki, TAKAGI Kazuyoshi, TAKAGI Naofumi
IEICE technical report. Dependable computing   112(482) 253-258   Mar 2013
A floating-point unit array that is constructed by connecting floating-point units, is expected to be an excellent architecture for calculating a huge amount of operation in scientific computation such as signal and image processing. In this paper...
Design and implementations of component circuits for RSFQ bit-slice microprocessors
M. Tanaka, Y. Hayakawa, K. Takata, A. Fujimaki, Y. Ohmomo, T. Kawaguchi, K. Takagi, N. Takagi
Proc.6th Superconducting SFQ VLSI Workshop (SSV 2013)   19-22   Nov 2013
Kato Taiichi, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Naofumi, Takagi Kazuyoshi, Nagasawa Shuichi
Proceedings of the IEICE General Conference   2013(2)    Mar 2013
Logical design of bit-slice barrel shifter for 32-bit SFQ microprocessors
Y. Ohmomo, K. Takagi, N. Takagi
Proc.6th Superconducting SFQ VLSI Workshop (SSV 2013)   117-122   Nov 2013
Tanaka Masamitsu, Takeshima Shota, Takagi Kazuyoshi, Takagi Naofumi, Fujimaki Akira
Proceedings of the IEICE General Conference   2013(2)    Mar 2013
A design framework for SFQ circuits using clockless gates
T. Kawaguchi, K. Takagi, N. Takagi
Proc.6th Superconducting SFQ VLSI Workshop (SSV 2013)   123-127   Nov 2013
Takagi Kazuyoshi
Proceedings of the IEICE General Conference   2013(2) SS-15-SS-16   Mar 2013   [Invited]
Retiming of single flux quantum logic circuits for flip-flop reduction
N. Kito, K. Takagi, N. Takagi
Proc. 18th Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2013)   220-225   Oct 2013   [Refereed]
High-level synthesis for nested loop kernels with non-uniform dependencies
A. Suda, H. Takase, K. Takagi, N. Takagi
Proc. 18th Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2013)   322-327   Oct 2013   [Refereed]
T. Kato, Y. Yamanashi, N. Yoshikawa, A. Fujimaki, N. Takagi, K. Takagi, S. Nagasawa
Proc. 14th International Superconductive Electronics Conference (ISEC 2013)   1-3   Jul 2013   [Refereed]
ARAKI Tatuma, TAKASE Hideki, TAKAGI Kazuyosi, TAKAGI Naohumi
Technical report of IEICE. VLD   112(320) 99-104   Nov 2012
It is important to ensure the parallelism of the synthesized circuits in high level synthesis, where digital designs are synthesized from their behavioral descriptions. In this report, we focus on indefinite loops whose number of iterations are de...
Peng Xizhu, Shimamura Yasuhiro, Yamanashi Yuki, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Kazuyoshi, Takagi Naofumi, Nagasawa Shuichi
Proceedings of the Society Conference of IEICE   2012(2)    Aug 2012
Kato Taiichi, Hinago Kazuya, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Kazuyoshi, Takagi Naofumi, Nagasawa Shuichi
Proceedings of the Society Conference of IEICE   2012(2)    Aug 2012
KAWAGUCHI Takahiro, TAKAGI Kazuyoshi, TAKAGI Naofumi
Proceedings of the Society Conference of IEICE   2012(2)    Aug 2012
伊藤 勇也, 高瀬 英希, 高木 一義, 高木 直史
研究報告システムLSI設計技術(SLDM)   2013(43) 1-6   Mar 2013
アレイ状に配置した浮動小数点演算器を接続することで構成される浮動小数点演算器アレイは,科学技術計算などにおける膨大な演算を高速に実行可能な計算機構として期待されている.本研究では,浮動小数点演算器アレイの構成を検討するための評価環境を構築する.アレイの構成を検討する上では,アレイの計算結果が要求される演算精度を満たしているかが重要となる.構築した評価環境は,データ表現や演算器の接続形態などについて,様々な構成のアレイを定義でき,それらの演算精度を評価することができる.これにより,アプリケー...
OHMOMO Yukio, NARUSE Yohei, KITO Nobutaka, TAKAGI Naofumi, TAKAGI Kazuyoshi
Technical report of IEICE. SCE   112(138) 13-17   Jul 2012
Single Flux Quantum (SFQ) circuits operate at high-speed with low-power consumption. A Large-Scale Reconfigurable Data Path (LSRDP) is proposed as an accelerator of a high-performance computer. The previously proposed floating-point arithmetic uni...
須田 瑛大, 高瀬 英希, 高木 一義, 高木 直史
研究報告組込みシステム(EMB)   2013(21) 1-6   Mar 2013
高位合成においては,並列実行可能な処理を如何にして自動的に抽出するかが課題となっている.近年,ソフトウェア向けのコンパイラ分野において,多面体最適化と呼ばれる入れ子ループの自動並列化手法が注目されている.これは種々の線形代数学的演算を行うことで入れ子ループ構造内における依存性を解析し,反復空間をタイル分割するものである.本稿では,代表的な多面体最適化アルゴリズムであるPLUTOを高位合成に応用することで,並列化された回路を自動設計する手法を提案する.まず,いくつかの論理スレッドを束ねて物理...
伊藤 勇也, 高瀬 英希, 高木 一義, 高木 直史
研究報告組込みシステム(EMB)   2013(43) 1-6   Mar 2013
アレイ状に配置した浮動小数点演算器を接続することで構成される浮動小数点演算器アレイは,科学技術計算などにおける膨大な演算を高速に実行可能な計算機構として期待されている.本研究では,浮動小数点演算器アレイの構成を検討するための評価環境を構築する.アレイの構成を検討する上では,アレイの計算結果が要求される演算精度を満たしているかが重要となる.構築した評価環境は,データ表現や演算器の接続形態などについて,様々な構成のアレイを定義でき,それらの演算精度を評価することができる.これにより,アプリケー...
Ohno Shinji, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2012    Mar 2012
Naruse Yohei, Kito Nobutaka, Takagi Kazuyoshi, Takagi Naofumi
Proceedings of the IEICE General Conference   2012(2)    Mar 2012
Kato Taiichi, Shimamura Yasuhiro, Hinago Kazuya, Yoshikawa Nobuyuki, Fujimaki Akira, Takagi Kazuyoshi, Takagi Naofumi, Nagasawa Shuichi
Proceedings of the IEICE General Conference   2012(2)    Mar 2012
KAWAGUCHI Takahiro, TAKAGI Kazuyoshi, TAKAGI Naofumi
Technical report of IEICE. VLD   111(450) 91-96   Feb 2012
This paper proposes an equivalence checking method of timed logic formulae for reducing number of states in verification of single-flux-quantum circuits. Proposed verification method deal with variables at different times appeared in timed logic f...

Association Memberships

 
 

Research Grants & Projects

 
Data Structures and Algorithms for LSI CAD
Project Year: 1993   
Digital LSI Design
Project Year: 1995   
Circuit Complexity Theory
Project Year: 1991   
Digital Applications of Superconductive Devices
Project Year: 2002