任意の関数のハードウェア設計におけるタブーサーチによるコスト最適化

摘要

ハ一ドゥェア記述言語による回路設計において，初等関数やユーザ独自の関数など，ハードウェア記述言語では直接表現できない関数がある．そのような場合，関数を加算，乗算の組合せにより表現できるよう多項式で近似，テーブルで補正することが多い．しかし，係数を有限語長で量子化するため，近似誤差とハ岬ドゥェアコストの間にはトレードオフの関係がある．そこで本研究では，任意の関数に対して係数量子化の影響を受けにくいモデルを選択し，タブーサーチによりハードウェアコストを最適化する手法を接案する．