High level design validation: current practices and future directions | IEEE Conference Publication | IEEE Xplore