Verilog-A references