Addressing test generation challenges for configurable processor verificationM. RimonYossi Lichtensteinet al.2006HLDVT 2006
Extending the model-based approach to functional verification of address translation mechanismsAllon AdirLaurent Fournieret al.2006HLDVT 2006