Todos estos están descritos en Verilog-AMS (http://www.verilog-ams.com).