@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00122774,
 book = {全国大会講演論文集},
 issue = {ハードウェア},
 month = {Sep},
 note = {二分決定グラフ(Binary Decision Diagram :以下BDDと略す)には,論理関数をコンパクトに表現し,人力変数の固定により関数を一意に表すことができるという特徴がある。本稿では,論理診断手法の一つである拡張X-伝搬法において重要な役割を果たす誤り追跡入力(PLE :input Pattern for Locating design Errors)の生成に,BDDを適用する手法を提案する。拡張X-伝搬法では,少ないパターン数で限定効果の高い,有効な誤り追跡入力の紐み合わせを適用することが重要である。BDDを用いることにより,don't careを含む形で全ての誤り追跡入力を短時間で生成する。},
 pages = {11--12},
 publisher = {情報処理学会},
 title = {二分決定グラフを用いた誤り追跡入力の生成手法},
 volume = {第45回},
 year = {1992}
}