Mixed signal behavioral verification using VHDL-AMS | IEEE Conference Publication | IEEE Xplore