ISHIZUE Design Automation[FP-Fixer Express]

　・動作環境：Windows(MinGW) / Linux

「FP-Fixer Express」製品概要 　

FP-Fixer は、C言語における浮動小数点型の変数のビット幅をFP-Fixer のシミュレーション機能により
各変数値を観測し、その情報をもとにビット幅を確定する動的解析手法です。
FP-Fixer Express は、FP-Fixer をプロセッサ向けに特化し、非常に高速なビット幅解析を実現しました。