信号遷移回数を考慮したテストパタン生成のためのSAT問題のサンプリング手法について

Bibliographic Information

Other Title
  • シンゴウ センイ カイスウ オ コウリョ シタ テストパタン セイセイ ノ タメ ノ SAT モンダイ ノ サンプリング シュホウ ニ ツイテ
  • SAT model sampling for test pattern generation considering signal transition activities
  • 信号処理
  • シンゴウ ショリ

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top