System design verification tests - an overview | IEEE Conference Publication | IEEE Xplore