949-824-9127

IEEE Transactions on Industrial Informatics (TII)

Gabor Madl, Sudeep Pasricha, Nikil Dutt, Sherif Abdelwahed: Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs. IEEE Trans. Industrial Informatics (TII) 5(3):241-256 (2009)