4 分で読了
0 views

コンフリクト駆動型構造学習によるATPGの高カバレート化

(Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG)

さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として
一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、
あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

田中専務

拓海先生、最近部下に検査工程の自動化でAIを使えないかと言われまして。ATPGという言葉が出てきたのですが、正直よくわからないのです。これって要するに何が変わるんでしょうか。

AIメンター拓海

素晴らしい着眼点ですね!大丈夫ですよ。一緒に整理しましょう。ATPGはAutomatic Test Pattern Generation(オートマチック テスト パターン ジェネレーション)、つまり回路の不良を見つけるためのテスト信号を自動で作る技術です。今回の論文はその効率を上げる工夫をしていますよ。

田中専務

なるほど。しかし現場からは既存ツールでカバーできない「見つからない故障」が出てくるのでそこが問題だと聞きました。投資対効果の点で、新しい手法を入れるべきか迷っているのです。

AIメンター拓海

良い視点です。要点をまず三つでまとめますよ。1) 検査のカバレッジ向上、2) 既存の構造的手法とSAT(Boolean Satisfiability、ブール充足可能性問題)の良いところを組み合わせる点、3) 異常な振る舞い(コンフリクト)から学ぶ仕組みで無駄な探索を減らす点です。難しい言葉は後で身近な例で説明しますね。

田中専務

コンフリクトから学ぶ、ですか。これって要するに失敗した探索の履歴を再利用して二度手間を防ぐということですか?

AIメンター拓海

その通りです!良いまとめですね。図に例えると、山登りで行き止まりに当たった場所に目印を残しておくようなものです。その目印があると、次に同じ間違いを繰り返さずに別ルートを試せます。しかもその目印は回路構造に直接書き戻すので、次回の探索が賢くなりますよ。

田中専務

実務では既にSATベースのツールもあるようですが、なぜこの論文は「構造学習」と言う方向を取ったのですか。コストや現場対応を考えると気になります。

AIメンター拓海

簡単に言えば両者の長所取りです。SAT変換は強力だが前処理が重く現場適用で制約がある。構造的ATPGは現場になじみやすいが探索で無駄が出る。そこで両方の良い点を回路構造の中で結び付け、学習した情報をそのまま活用する仕組みを作ったのです。結果的に運用上の負担を抑えつつカバレッジを上げられますよ。

田中専務

なるほど、現場負担を増やさないのは重要ですね。では、最終的にどれくらいカバレッジが改善するものなのでしょうか。ROIをシミュレーションする材料が欲しいのです。

AIメンター拓海

研究では平均で約0.27%のカバレッジ改善と、放棄(aborted)された故障数の約8.9%削減を確認しています。数値は設計規模や既存ツールによって変わりますが、放棄削減は実際の品質向上と廃棄率低下に直結するため、中長期の投資対効果は見込めますよ。

田中専務

分かりました。では最後に、私の言葉でまとめさせてください。要するにこの論文は、既存のテスト生成の“行き止まり”を学習して回避し、現場の運用に優しい形でテストの見逃しを減らす技術であり、それにより品質改善と現場負担の両立を狙えるということですね。

監修者

阪上雅昭(SAKAGAMI Masa-aki)
京都大学 人間・環境学研究科 名誉教授

論文研究シリーズ
前の記事
自己修正型逐次レコメンダー
(A Self-Correcting Sequential Recommender)
次の記事
会話ジェスチャー合成における離散ジェスチャートークン学習
(Co-Speech Gesture Synthesis using Discrete Gesture Token Learning)
関連記事
大口径望遠鏡向け赤外線計測機器の代替手法
(Infrared instrumentation for large telescopes: an alternative approach)
目的指定形式の表現力に関する研究
(On the Expressivity of Objective‑Specification Formalisms in Reinforcement Learning)
スペクトルグラフニューラルネットワークの非対称学習
(Asymmetric Learning for Spectral Graph Neural Networks)
IntellectSeeker:確率モデルと大規模言語モデルを用いた個別化文献管理システム
(IntellectSeeker: A Personalized Literature Management System with the Probabilistic Model and Large Language Model)
パラメータ効率的な人間フィードバックによる強化学習
(Parameter Efficient Reinforcement Learning from Human Feedback)
社会的強化学習が引き起こすメタ安定的分極と有権者モデル
(How Social Reinforcement Learning Can Lead to Metastable Polarisation and the Voter Model)
この記事をシェア

有益な情報を同僚や仲間と共有しませんか?

AI技術革新 - 人気記事
ブラックホールと量子機械学習の対応
(Black hole/quantum machine learning correspondence)
生成AI検索における敏感なユーザークエリの分類と分析
(Taxonomy and Analysis of Sensitive User Queries in Generative AI Search System)
DiReDi:AIoTアプリケーションのための蒸留と逆蒸留
(DiReDi: Distillation and Reverse Distillation for AIoT Applications)

PCも苦手だった私が

“AIに詳しい人“
として一目置かれる存在に!
  • AIBRプレミアム
  • 実践型生成AI活用キャンプ
あなたにオススメのカテゴリ
論文研究
さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

AI Benchmark Researchをもっと見る

今すぐ購読し、続きを読んで、すべてのアーカイブにアクセスしましょう。

続きを読む