Verification of configurable processor cores (2000)

by M Puig-Medina, G Ezer, P Konas
Venue:In Proceedings of the Design Automation Conference (DAC2000