The language reference manual may be obtained from Verilog-A Language Reference Manual
The SIMetrix implementation is based on version 2.2.