@inproceedings{weko_139541_1, author = "原田,裕基 and 西原,佑 and 松本,剛史 and 藤田,昌宏", title = "ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法", booktitle = "全国大会講演論文集", year = "2010", volume = "第72回", number = "アーキテクチャ", pages = "153--154 ", month = "mar" }