X-Gen: a random test-case generator for systems and SoCs. - Roy Emek; Itai Jaeger; Yehuda Naveh; Gadi Bergman; Guy Aloni; Yoav Katz; Monica Farkash; Igor Dozoretz; Alex Goldin (HLDVT, 2002)