Are today's verification tools able to handle current design challenges? | IEEE Conference Publication | IEEE Xplore