Conference paper
Advanced analysis techniques for cross-product coverage
Hezi Azatchi, Laurent Fournier, et al.
HLDVT 2005
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.
Hezi Azatchi, Laurent Fournier, et al.
HLDVT 2005
Eyal Bin, Laurent Fournier
MTV 2004
Allon Adir, Alex Goryachev, et al.
DAC 2014
Allon Adir, Shady Copty, et al.
DATE 2011