算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計

摘要

本稿では，算術アルゴリズム記述言語ARITHに基づく並列乗算器の設計について述べる．ARITHで記述された乗算アルゴリズムは数式処理による形式的検証が可能である．本稿ではさらに，ARITHの応用として構築した乗算器モジュールジェネレータについて述べる．提案するシステムは，冗長数系などの特殊数系を用いた乗算器を含む352種類の乗算器を生成する．