Laurent Fournier, Avi Ziv, et al.
ACM TODAES
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.
Laurent Fournier, Avi Ziv, et al.
ACM TODAES
Kanad Basu, Prabhat Mishra, et al.
MTV 2013
Dorit Baras, Shai Fine, et al.
International Journal on Software Tools for Technology Transfer
Eyal Bin, Laurent Fournier
MTV 2004