verilog.sol -f view.opt


