@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00122775, book = {全国大会講演論文集}, issue = {ハードウェア}, month = {Sep}, note = {論理回路の大規模化・複雑化に伴い,論理診断の自動化が求められている。拡張X-伝搬法は,誤り追跡人力と呼ぶ入力パターンを用いて回路に含まれる多重の誤りを特定する手法である。拡張X-伝搬法の限定効果は,適用する誤り追跡入力に強く依存するが,従来はランダムに生成した誤り追跡人力を用いていた。そこで本稿では,論理診断に有効な誤り追跡入力の選択手法を提案する。}, pages = {13--14}, publisher = {情報処理学会}, title = {論理診断に有効な誤り追跡入力の選択手法}, volume = {第45回}, year = {1992} }