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
Allon Adir, Hezi Azatchi, et al.
DAC 2005
Dorit Baras, Shai Fine, et al.
International Journal on Software Tools for Technology Transfer
Allon Adir, Shady Copty, et al.
DATE 2011