amd64/cu128: links for morell-test-attempt-verilog