An effective and flexible approach to functional verification of processor familiesD. MalandainP. Palmenet al.2002HLDVT 2002