Links for csp-verilog