What's the next 'big thing' in simulation-based verification? | IEEE Conference Publication | IEEE Xplore