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