Extracting complete set of equations to analyze VHDL-AMS descriptions | IEEE Conference Publication | IEEE Xplore