機能論理検証問題における組合せ問題の利用 : 充足可能性問題を解法エンジンとして利用する世界(グラフ, ペトリ, ニューラルネット及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
LSICADでは組合せ問題の解法が重要な役割を果たしている。なかでもLSIの機能論理設計のバグ検出や正当性保証を数理的な技法で行う形式的検証は充足可能性問題(SAT)に大きく依存した技術である。本稿では組合せ問題の工学的利用の一例としてSAT解法の発達とともに進展したSATペースの形式的検証技術について概説する。
- 2005-11-04
著者
関連論文
- 機能論理検証問題における組合せ問題の利用 : 充足可能性問題を解法エンジンとして利用する世界(グラフ, ペトリ, ニューラルネット及び一般)
- 機能論理検証問題における組合せ問題の利用 : 充足可能性問題を解法エンジンとして利用する世界(グラフ, ペトリ, ニューラルネット及び一般)