Digital and Mixed-Signal Verification Differences | IEEE Conference Publication | IEEE Xplore