/verilog.log /a.out