図書

ブール関数処理による順序回路の自動合成・設計検証システムの試作研究

図書を表すアイコン

ブール関数処理による順序回路の自動合成・設計検証システムの試作研究

国立国会図書館請求記号
Y151-H03555074
国立国会図書館書誌ID
000006982832
資料種別
図書
著者
矢島, 脩三, 京都大学
出版者
-
出版年
1991-1992
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ブール カンスウ ショリ ニ ヨル ジュンジョ カイロ ノ ジドウ ゴウセイ ・ セッケイ ケンショウ システム ノ シサク ケンキュウ
著者・編者
矢島, 脩三, 京都大学
著者標目
矢島, 脩三 ヤジマ, シユウゾウ
出版年月日等
1991-1992
出版年(W3CDTF)
1991
数量
その他のタイトル
研究種目 試験研究(B)
件名標目
論理合成 ロンリゴウセイ
論理設計検証 ロンリセツケイケンシヨウ
順序回路 ジユンジヨカイロ
論理関数簡単化 ロンリカンスウカンタンカ
状態割当て ジヨウタイワリアテ
時相論理 ジソウロンリ
論理設計支援 ロンリセツケイシエン