Verification evolution or industrial revolution? | IEEE Journals & Magazine | IEEE Xplore