aquaveo/dev: links for csp-verilog