類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究

Notes on use

Search by Bookstore

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: 類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究
Title Transcription: ルイジドオコウリョシタトウカロンリオモチイタハードウェアノコウイセッケイケンショウシュホウノケンキュウ
Author/Editor: 木村晋二, 早稲田大学 [著]
Author Heading: 木村, 晋二キムラ, シンジ
早稲田大学ワセダダイガク
Publication, Distribution, etc.: [木村晋二]
Publication Date: 2005-2007
2008.3
Publication Date (W3CDTF): 2005
2007
Extent: 1冊
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 等価論理 / ハードウェアの等価検証 / 無評価関数 / 項書き換えトウカロンリ / ハードウェアノトウカケンショウ / ムヒョウカカンスウ / コウカキカエ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17500047
Holding library: 国立国会図書館
Call No.: Y151-H17500047
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009569160
http://id.ndl.go.jp/bib/000009569160
Bibliographic Record Category (NDL): 214