David Malandain, Pim Palmen, Matthew Taylor, Merav Aharoni, Yaron Arbetman. An effective and flexible approach to functional verification of processor families. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 93-98, IEEE Computer Society, 2002. [doi]
Abstract is missing.