Vitalsource Technologies, Inc. Designers Guide To Verilog-ams