Addressing test generation challenges for configurable processor verificationM. RimonYossi Lichtensteinet al.2006HLDVT 2006