IBM system z functional and performance verification using X-Gen | IEEE Conference Publication | IEEE Xplore