High Level Test Generation for Custom Hardware: An Industrial Perspective | IEEE Conference Publication | IEEE Xplore