Verification of configurable processor cores. - Marinés Puig-Medina; Gülbin Ezer; Pavlos Konas (DAC, 2000)