KIMURA Shinji | the Graduate School of Information Science, Nara Institute of Science and Technology
スポンサーリンク
概要
関連著者
-
KIMURA Shinji
the Graduate School of Information Science, Nara Institute of Science and Technology
-
Kimura Shinji
The Graduate School Of Information Science Advanced Institute Of Science And Technology
-
Watanabe Katsumasa
The Graduate School Of Information Science Nara Institute Of Science And Technology
-
NAKAMURA Kazuhiro
the Graduate School of Information Science, Nara Institute of Science and Technology
-
WATANABE Katsumasa
the Graduate School of Information Science, Nara Institute of Science and Technology
-
Kimura Shinji
Graduate School Of Information Production And Systems Waseda University
-
Kimura S
Waseda Univ. Kitakyushu‐shi Jpn
-
WATANABE Kaoru
The author is with Osaka Electro-Communication University
-
Nakamura Kazuhiro
The Graduate School Of Information Science Nara Institute Of Science And Technology
-
Watanabe K
Graduate School Of Information Science Nara Institute Of Science And Technology
-
Nakamura K
Takasago Research & Development Center Mitsubishi Heavy Industries Ltd.
-
Kohara Shunitsu
Department Of Computer Science Waseda University
-
Nakamura Kazuhiro
The Graduate School Of Information Science Nagoya University
-
Takagi K
Nagoya Univ. Nagoya‐shi Jpn
-
TAKAGI Kazuyoshi
the Graduate School of Information Science, Nara Institute of Science and Technology
-
MARUOKA Shinji
the Graduate School of Information Science, Nara Institute of Science and Technology
-
Maruoka Shinji
The Graduate School Of Information Science Nara Institute Of Science And Technology
-
Matsunaga Y
Fujitsu Laboratories Ltd.
-
Matsunaga Yusuke
Fujitsu Laboratories Ltd.
-
Zhu Q
Hokkaido Univ. Sapporo‐shi Jpn
-
Haneda H
Kobe Univ. Kobe‐shi Jpn
-
ZHU Qiang
the Graduate School of Information Science Nara Institute of Science and Technology
-
Tsubota Shunsuke
the Faculty of Engineering, Kobe University
-
Haneda Hiromasa
the Faculty of Engineering, Kobe University
-
Tsubota Shunsuke
The Faculty Of Engineering Kobe University
-
Matsunaga Yusuke
Fujitsu Laboratories Ltd
-
Kimura Shinji
The Graduate School Of Information Science Nara Institute Of Science And Technology
-
TAKAGI Kazuyoshi
the Graduate School of Informatics, Kyoto University
著作論文
- Timing Verification of Sequential Logic Circuits Based on Controlled Multi-Clock Path Analysis (Special Section on VLSI Design and CAD Algorithms)
- Multi-Cycle Path Detection Based on Propositional Satisfiability with CNF Simplification Using Adaptive Variable Insertion (Special Section on VLSI Design and CAD Algorithms)
- Robust Heuristics for Multi-Level Logic Simplification Considering Local Circuit Structure (Special Section on VLSI Design and CAD Algorithms)
- Preciseness of Discrete Time Verification (Special Section on VLSI Design and CAD Algorithms)