State of the art verification methodologies in 2015 | IEEE Conference Publication | IEEE Xplore