メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
YAJIMA Shuzo
矢島 脩三
Connect your ORCID iD
*help
…
Alternative Names
矢島 修三 ヤジマ シユウゾウ
Less
Researcher Number
20025901
External Links
Affiliation (based on the past Project Information)
*help
1998 – 1999 : Kansai University, Professor, 総合情報学部, 教授
1995 – 1996 : 京都大学, 工学研究科, 教授
1987 – 1994 : Professor, Faculty of Engineering, Kyoto University, 工学部, 教授
1986 : Faculty of Engineering,Kyoto University, 工学部, 教授
1985 : 京都大学, 工, 教授
Review Section/Research Field
Principal Investigator
計算機工学
/
計算機科学
/
情報工学
Keywords
Principal Investigator
論理設計検証 / 二分決定グラフ / 論理関数処理 / 時相論理 / Logic Design Verification / Binary Decision Diagram / Logic Simulation / 論理シミュレータ / Formal Verification / Hardware Algorithm
…
More
/ 論理シミュレ-ション / 論理シミュレーション / ハードウェアアルゴリズム / Temporal Logic / モデルチェッキング / 論理設計 / Symbolic Simulation / Boolean Function / 論理設計支援 / Logic Design / 高水準ハードウェア記述 / 計算複雑さ / 形式的設計検証 / 仕様記述 / Boolean Function Manipulation / 算術演算回路 / temporal logic / Timing Verification / 記号シミュレ-ション / ハードウェア設計言語 / タイミング検証 / 順序回路 / 論理関数 / 論理関数簡単化 / 剰余数表示法 / 論理開数処理 / 算術演算回路検証 / 形式的仕様記述 / logic function manipulation / グラフィクス・ワークステーション / Formal Specification / Function level design / Computational complexity / binary decision diagram / Asynchronous Sequential Circuit / 内容アドレスメモリ / 計算機援用設計 / Logic Simulator / ハ-ドウェアアルゴリズム / On-Line Error Detection / First-order Predicate logic / 第一階述語論理 / 非同期式順序回路 / 調理関数処理 / ハザ-ド / Specification Desctiption / computer-aided logic design / 二分モーメントグラフ / model checking / Arithmetic Operation / 論立設計検証 / 耐故障設計 / マイクロプロセッサ / Arithmetic Circuits / Workstation / Computer Aided Logic Design / Logic Function Manipulation / Test Generation / マルチスクリーン / 形式的検証 / Computational Complexity / 冗長符号化 / Formal design verification / 故障シミュレ-ション / 状態割当て / Vector Processof / 超LSI / Model Checking / Vector Processor / 組合せ問題 / 論理合成 / Content Addressable Memory / sequential circuits / Hazard / 並列アルゴリズム / Unification / 冗長表現 / 形式的論理設計検証 / state assignment / logic design verification / ベクトル計算機 / 機能レベル設計 / オンライン誤り検出 / Fault Simulation / Fault-Tolerant Design / computer Aided Design / logic function optimization / 三分決定グラフ / Residue Number Representation / Hardware Design Language / テスト生成 / 正則時相論理 / 機能レベル検証 / 単一化操作 / 代数的仕様記述 / ワークステーション / 故障シミュレーション / Prallel Algorithm / VLSI; Redundant Binary Representation / High-Level Hardware Description / ベクトルプロセッサ / 冗長2進表現 / logic synthesis / Redundant Coding / Redundant Representation / Combinatorial Problem
…
More
Except Principal Investigator
マルチメデア / 情報ベース / Environment Integration / Database / Computer Network / マルチメディア / Multimedia / Information Base / 協調処理 / Distributed Processing / コンピュータネットワーク / Media Integration / データベース / 環境統合 / メディア統合 / Cooperative Processing / 分散処理
Less
Research Projects
(
11
results)
Co-Researchers
(
17
People)
Project Start Year(Newest)
Project Start Year(Oldest)
Advanced Database Systems for Integration of Media and User Environments
Principal Investigator
KANBAYASHI Yohiko
Project Period (FY)
1996 – 1999
Research Category
Grant-in-Aid for Scientific Research on Priority Areas (A)
Research Institution
Kyoto University
Research on Development of Formal Logic Design Verifier for Microprocessors
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1995 – 1996
Research Category
Grant-in-Aid for Scientific Research (A)
Research Field
計算機科学
Research Institution
KYOTO UNIVERSITY
Basic Research on High-Speed Boolean Function Manipulator
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1993 – 1994
Research Category
Grant-in-Aid for General Scientific Research (B)
Research Field
計算機科学
Research Institution
KYOTO UNIVERSITY
Research on Formal Verifier of Logic Design Based on Temporal Logic
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1993 – 1994
Research Category
Grant-in-Aid for Developmental Scientific Research (B)
Research Field
計算機科学
Research Institution
KYOTO UNIVERSITY
Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1991 – 1992
Research Category
Grant-in-Aid for Developmental Scientific Research (B)
Research Field
情報工学
Research Institution
KYOTO UNIVERSITY
Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1990 – 1991
Research Category
Grant-in-Aid for General Scientific Research (B)
Research Field
情報工学
Research Institution
Kyoto University
Research on Development of a Logic Design Verification System Based on Time-Symbolic Simulation
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1989 – 1990
Research Category
Grant-in-Aid for Developmental Scientific Research (B).
Research Field
計算機工学
Research Institution
Kyoto University
Researches on the Design of Highly Reliable High-Speed Arithmetic Circuits with Redundant Coding
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1988 – 1989
Research Category
Grant-in-Aid for General Scientific Research (B)
Research Field
計算機工学
Research Institution
KYOTO UNIVERSITY
Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1986 – 1987
Research Category
Grant-in-Aid for Developmental Scientific Research
Research Field
計算機工学
Research Institution
Kyoto University
Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1985 – 1986
Research Category
Grant-in-Aid for General Scientific Research (B)
Research Field
計算機工学
Research Institution
Kyoto University
Developmental Research on Interactive Logic Simulator-Verifier with High-Level Hardware Description
Principal Investigator
Principal Investigator
YAJIMA Shuzo
Project Period (FY)
1984 – 1985
Research Category
Grant-in-Aid for Developmental Scientific Research
Research Field
計算機工学
Research Institution
Kyoto University
# of Projects (Dsc)
# of Projects (Asc)
1.
OGINO Hiroyuki
(40144323)
# of Collaborated Projects :
9results
# of Collaborated Products :
0results
2.
TAKAGI Naofumi
(10171422)
# of Collaborated Projects :
8results
# of Collaborated Products :
0results
3.
HIRAISHI Hiromi
(40093299)
# of Collaborated Projects :
8results
# of Collaborated Products :
0results
4.
TAKENAGA Yasuhiko
(20236491)
# of Collaborated Projects :
5results
# of Collaborated Products :
0results
5.
ISHIURA Nagisa
(60193265)
# of Collaborated Projects :
4results
# of Collaborated Products :
0results
6.
HAMAGUCHI Kiyoharu
(80238055)
# of Collaborated Projects :
4results
# of Collaborated Products :
0results
7.
IWAMA Kazuo
(50131272)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
8.
KAWAKUBO Kazuo
(10186067)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
9.
YASUURA Hiroto
(80135540)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
10.
YASUOKA Kouichi
(20230211)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
11.
KANBAYASHI Yohiko
(00026311)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
12.
DOI Norihisa
(50051553)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
13.
TAKAGI Tosihisa
(30110836)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
14.
OHNO Yutaka
(60026185)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
15.
FUJIWARA Yuzuru
(40110473)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
16.
長尾 真
(30025960)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
17.
國井 利泰
(50013743)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
