メニュー
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 / 二分決定グラフ / 論理関数処理 / 時相論理 / Logic Simulation / Binary Decision Diagram / タイミング検証 / 論理シミュレ-ション / 記号シミュレ-ション
…
More
/ 論理設計 / Timing Verification / Symbolic Simulation / Logic Design / 論理関数 / 計算複雑さ / Boolean Function / Boolean Function Manipulation / 順序回路 / 論理設計支援 / temporal logic / 形式的設計検証 / モデルチェッキング / 仕様記述 / Temporal Logic / Formal Verification / 高水準ハードウェア記述 / 論理シミュレータ / ハードウェア設計言語 / ハードウェアアルゴリズム / 算術演算回路 / Hardware Algorithm / 論理シミュレーション / 非同期式順序回路 / ハザ-ド / 論立設計検証 / Asynchronous Sequential Circuit / Hazard / 計算機援用設計 / computer Aided Design / Computational complexity / 論理合成 / 論理関数簡単化 / 状態割当て / logic synthesis / logic design verification / sequential circuits / logic function optimization / state assignment / computer-aided logic design / 並列アルゴリズム / 内容アドレスメモリ / 組合せ問題 / Computer Aided Logic Design / Prallel Algorithm / Computational Complexity / Content Addressable Memory / Combinatorial Problem / 形式的検証 / 論理開数処理 / 形式的論理設計検証 / Logic Function Manipulation / Formal Specification / Model Checking / 機能レベル設計 / 第一階述語論理 / マイクロプロセッサ / 調理関数処理 / 二分モーメントグラフ / 三分決定グラフ / 機能レベル検証 / 算術演算回路検証 / Formal design verification / Function level design / First-order Predicate logic / model checking / logic function manipulation / binary decision diagram / ベクトル計算機 / 形式的仕様記述 / グラフィクス・ワークステーション / High-Level Hardware Description / Logic Simulator / Vector Processor / Hardware Design Language / 冗長表現 / 超LSI / 冗長2進表現 / 剰余数表示法 / 単一化操作 / Redundant Representation / VLSI; Redundant Binary Representation / Arithmetic Operation / Residue Number Representation / Unification / ベクトルプロセッサ / ワークステーション / マルチスクリーン / 正則時相論理 / 代数的仕様記述 / Vector Processof / Specification Desctiption / Workstation / ハ-ドウェアアルゴリズム / 耐故障設計 / オンライン誤り検出 / 故障シミュレ-ション / テスト生成 / 冗長符号化 / 故障シミュレーション / Arithmetic Circuits / Fault-Tolerant Design / On-Line Error Detection / Fault Simulation / Test Generation / Redundant Coding
…
More
Except Principal Investigator
データベース / マルチメディア / 情報ベース / メディア統合 / 環境統合 / コンピュータネットワーク / 協調処理 / 分散処理 / マルチメデア / Database / Multimedia / Information Base / Media Integration / Environment Integration / Computer Network / Cooperative Processing / Distributed 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:
9 results
# of Collaborated Products:
0 results
2.
TAKAGI Naofumi
(10171422)
# of Collaborated Projects:
8 results
# of Collaborated Products:
0 results
3.
HIRAISHI Hiromi
(40093299)
# of Collaborated Projects:
8 results
# of Collaborated Products:
0 results
4.
TAKENAGA Yasuhiko
(20236491)
# of Collaborated Projects:
5 results
# of Collaborated Products:
0 results
5.
ISHIURA Nagisa
(60193265)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
6.
HAMAGUCHI Kiyoharu
(80238055)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
7.
IWAMA Kazuo
(50131272)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
8.
KAWAKUBO Kazuo
(10186067)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
9.
YASUURA Hiroto
(80135540)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
10.
YASUOKA Kouichi
(20230211)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
11.
KANBAYASHI Yohiko
(00026311)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
12.
DOI Norihisa
(50051553)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
13.
TAKAGI Tosihisa
(30110836)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
14.
OHNO Yutaka
(60026185)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
15.
FUJIWARA Yuzuru
(40110473)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
16.
長尾 真
(30025960)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
17.
國井 利泰
(50013743)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×
