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.