Guidelines for Writing NEEDS-certified Verilog-A Compact Models