Torsten Schober, Shimon Landa, Bodo Hoppe, Ronny Morad. IBM system z functional and performance verification using X-Gen. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2008, Incline Village, NV, USA, November 19-21, 2008. pages 93-100, IEEE, 2008. [doi]
Abstract is missing.