Efficient functional verification for mixed signal IP | IEEE Conference Publication | IEEE Xplore