2024-03-29T09:04:45Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001395412023-11-17T02:17:36Z06504:08197:08198
ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法A Debugging Support Method for System-Level Designs by Using Word-Level Satisfiability Problemjpnhttp://id.nii.ac.jp/1001/00139803/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=139541&item_no=1&attribute_id=1&file_no=1東京大学大学院工学系研究科電気系工学専攻東京大学大学院工学系研究科電子工学専攻東京大学大規模集積システム設計教育研究センター東京大学大規模集積システム設計教育研究センター:科学技術振興機構戦略的創造研究推進事業CREST原田, 裕基西原, 佑松本, 剛史藤田, 昌宏AN00349328全国大会講演論文集第72回アーキテクチャ1531542010-03-082015-01-20