X-Aware verification: A different perspective! | IEEE Conference Publication | IEEE Xplore