C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証,組込技術とネットワークに関するワークショップETNET2007)

スポンサーリンク

概要

論文の詳細を見る
組込みシステムのように設計制約の厳しいシステムの設計では、設計者の手による高度なループ最適化は重要な技術の一つである.本稿では、ループ最適化を対象とした等価性検証手法を提案する。従来の記号シミュレーションによる検証では、ループを展開するため、等価性は展開された回数までしか証明されず、また、展開回数が多い場合に検証時間が長期化するという問題点があった。そこで、提案手法では、比較するべき出力変数の記号式を記号シミュレーションによって求める前に、あらかじめプログラムを解析し、必要な文とそれが実行されるときのイテレータの記号値を求める。記号シミュレーションを選択された文に対してのみ行うことにより、ループ展開を行うことなく、等価性検証を行う。実際のループ最適化に対する実験を通して、提案手法が十分短い検証時間で、等価性を検証することができることを示す。
2007-03-09

著者

関連論文

もっと見る

スポンサーリンク