Verilog Definition Optimizer and Constant Optimizer