数式をVerilog HDLに変換
CodeSqueezer
マニュアルはこちら