travis: build soc to verilog