pkgsrc/cad/verilog