論理関数の充足不可能性に注目した論理回路デバッグ手法の検討 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)

論理関数の充足不可能性に注目した論理回路デバッグ手法の検討

(ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)

Journal name: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 111(462):2012.3.2・3

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: 論理関数の充足不可能性に注目した論理回路デバッグ手法の検討
Author/Editor: 李在城
松本剛史
藤田昌宏
Series Title: ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012
Author Heading: 李在城
松本剛史
藤田昌宏
Alternative Title: A consideration of logical circuit debugging method using unsatisfiability
Periodical title: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue: 111(462):2012.3.2・3
Volume: 111
Issue: 462
Pages: 25-30
Publication date of volume/issue (W3CDTF): 2012-03
ISSN (Periodical Title): 0913-5685
ISSN-L (Periodical Title): 0913-5685
Publication (Periodical Title): 東京 : 電子情報通信学会
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: ZN33
Target Audience: 一般
Report No. (Article): Vol.2012-SLDM-155No.5
Holding library: 国立国会図書館
Call No.: Z16-940
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023569271
http://id.ndl.go.jp/bib/023569271
Bibliographic Record Category (NDL): 632