Allon Adir, Hagit Attiya, et al.
IEEE TPDS
Genesys-Pro is currently the main test generation tool for functional verification of IBM processors, including several complex processors. Although it requires a high level of expertise to model architectures and testing knowledge to use the full power of test templates, Genesys-Pro's benefits are already apparent. It is found that the new language considerably reduces the effort needed to define and maintain knowledge specific to an implementation and verification plan.
Allon Adir, Hagit Attiya, et al.
IEEE TPDS
Allon Adir, Amir Nahir, et al.
DAC 2011
Laurent Fournier, Avi Ziv, et al.
ACM TODAES
Shelly Garion, Hillel Kolodner, et al.
SYSTOR 2017