Links for better-verilog