EDA challenges facing future microprocessor design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
R. Roy
D. Kirkpatrick
C. Peterson
G.S. Spirakis
S. Rawat
T. Karn
A Full Lifecycle Performance Verification Methodology for Multicore Systems-on-chip