ヘルプ
ヘルプ
雑誌電子情報通信学会技術研究報告 : 信学技報
巻号115(338):2015.12.1-3
記事SATソルバーを援用...

SATソルバーを援用したカバレッジ駆動設計検証について (VLSI設計技術)

記事を表すアイコン

SATソルバーを援用したカバレッジ駆動設計検証について

(VLSI設計技術)

国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
027036512
資料種別
記事
著者
浜口 清治
出版者
東京 : 電子情報通信学会
出版年
2015-12
資料形態
紙
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(338):2015.12.1-3
掲載ページ
p.57-62
すべて見る

書誌情報

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

紙

資料種別
記事
タイトル
SATソルバーを援用したカバレッジ駆動設計検証について
著者・編者
浜口 清治
シリーズタイトル
VLSI設計技術
著者標目
浜口 清治
タイトル（掲載誌）
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等（掲載誌）
115(338):2015.12.1-3
掲載巻
115
掲載号
338
掲載ページ
57-62