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

書誌事項

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

この論文をさがす

収録刊行物

詳細情報

問題の指摘

ページトップへ