Addressing Test Generation Challenges for Configurable Processor Verification. - Michal Rimon; Yossi Lichtenstein; Allon Adir; Itai Jaeger; Michael Vinov; S. Johnson; D. Jani (HLDVT, 2006)