An effective and flexible approach to functional verification of processor families. - David Malandain; Pim Palmen; Matthew Taylor; Merav Aharoni; Yaron Arbetman (HLDVT, 2002)