正当性の保証されたハードウェアアルゴリズム設計

言語処理系	Arithmetic Module Generator

ハードウェアアルゴリズムのためのデータ構造の提案

進化的グラフ生成手法の発案と創発的回路設計