High-level test generation for hardware testing and software validation | IEEE Conference Publication | IEEE Xplore