Jump to main content
図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H03555074
Bibliographic ID of National Diet Library
000006982832
Material type
図書
Author
矢島, 脩三, 京都大学
Publisher
-
Publication date
1991-1992
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

Search by Bookstore

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.

Paper

Material Type
図書
Title Transcription
ブール カンスウ ショリ ニ ヨル ジュンジョ カイロ ノ ジドウ ゴウセイ ・ セッケイ ケンショウ システム ノ シサク ケンキュウ
Author/Editor
矢島, 脩三, 京都大学
Author Heading
矢島, 脩三 ヤジマ, シユウゾウ
Publication Date
1991-1992
Publication Date (W3CDTF)
1991
Extent
Additional Title
研究種目 試験研究(B)
Subject Heading
論理合成 ロンリゴウセイ
論理設計検証 ロンリセツケイケンシヨウ
順序回路 ジユンジヨカイロ
論理関数簡単化 ロンリカンスウカンタンカ
状態割当て ジヨウタイワリアテ
時相論理 ジソウロンリ
論理設計支援 ロンリセツケイシエン