Ideal FET and Verilog-A