書誌事項
- タイトル別名
-
- ジュウソク カノウセイ ハンテイ オ リヨウ シタ サイテキ コード セイセイ シュホウ
- Optimal Code Generation Based on Boolean Satisfiability
- テクニカルノート ハードウェア/ソフトウェア協調設計
この論文をさがす
抄録
充足可能性判定（SAT）を利用した最適なコード生成手法を提案する．まずコード生成問題を有限状態機械（FSM）を利用して定式化する（瀬戸ほか，2002）．次にFSMを組合せ回路へと展開し（Biereほか，1999），最適コード生成問題を充足可能性判定（SAT）問題として解く．最新のSATソルバ（Moskewiczほか，2001）を使用した実験結果から，SATベースのコード生成手法がBDDベースのコード生成（瀬戸ほか，2002）よりも効果的であることが示される．
We present a method for optimal code generationbased on Boolean satisfiability (SAT).First, code generation is formulated based on a finite statemachine (FSM) (Seto, et al., 2002). Next, we unroll the FSM to a combinational circuit (Biere, et al., 1999),so that optimal code generation problem is solved as a SAT problem.Experimental results using a state-of-the-art SATsolver (Moskewicz, et al., 2001) demonstrate that SAT-based optimalcode generation is more effective than BDD-based symbolic approach (Seto, et al., 2002).
収録刊行物
-
- 情報処理学会論文誌
-
情報処理学会論文誌 44 (5), 1202-1205, 2003-05-15
東京 : 情報処理学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050564287837275520
-
- NII論文ID
- 110002711713
-
- NII書誌ID
- AN00116647
-
- ISSN
- 18827764
- 03875806
-
- NDL書誌ID
- 6586902
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles