拡張有限状態機械群およびout-of-order型パイプラインCPUの形式的設計検証
Available with Digitized Contents Transmission Service
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Digital data available（大阪大学学術情報庫 桜華）
学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
Search by Bookstore
Read this material in an accessible format.
Table of Contents
目次
p5
第1章 緒論
p1
1.1 回路設計における形式的検証の動向
p1
1.2 プレスブルガー文真偽判定手続きを用いた設計検証
p2
1.3 本研究の内容
p2
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- カクチョウ ユウゲン ジョウタイ キカイグン オヨビ out-of-orderガタ パイプライン CPU ノ ケイシキテキ セッケイ ケンショウ
- Author/Editor
- 竹中崇 [著]
- Author Heading
- 竹中, 崇 タケナカ, タカシ
- Degree grantor/type
- 大阪大学
- Date Granted
- 平成12年3月24日
- Date Granted (W3CDTF)
- 2000
- Dissertation Number
- 甲第7555号
- Degree Type
- 博士 (工学)