A Methodology to Verify Digital IP's within Mixed-Signal Systems | IEEE Conference Publication | IEEE Xplore