詳細情報

刊年

2000

別書名

充足可能性判定を用いた状態数え上げとマルチクロックパス解析への応用

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2000年3月

注記

学位記番号: 修第1324号

授与年月日: 2000/03/24

学位の種類: 修士(工学)

学生番号: 9851106

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

丸岡, 新治 (マルオカ, シンジ)

件名

state enumeration

propositional satisfiability

multi-clock path analysis