Compositional performance verification of NoC designs.

Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia

Browse the full MEMOCODE paper archive.