require 'formula' class IcarusVerilog