Verification of configurable processor cores

Marinés Puig-Medina, Gülbin Ezer, Pavlos Konas. Verification of configurable processor cores. In DAC. pages 426-431, 2000. [doi]

Abstract

Abstract is missing.