An effective and flexible approach to functional verification of processor families.