算術アルゴリズム記述言語を用いた乗算器モジュールジェネレータの構築

摘要

本稿では，算術アルゴリズム記述言語ARITHを用いた算術演算回路の設計手法について述べる．ARITHを用いることで，（i）算術アルゴリズムの形式的な記述と（ii）記述された算術アルゴリズムの形式的な検証，（iii）算術アルゴリズムのHDL記述への変換が可能になる．その応用として，ARITHを用いた乗算器モジュールジェネレータについて述べる．構築した乗算器モジュールジェネレータは，250種類を越える乗算アルゴリズムの取り扱いが可能であり，生成した乗算器モジュールの機能をアルゴリズムレベルで完全に保証するという特長を有する．