Compositional performance verification of NoC designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia. Compositional performance verification of NoC designs. In Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE2012, Arlington, VA, USA, July 16-17, 2012. pages 1-10, IEEE, 2012. [doi]

This author has not been identified. Look up 'Daniel E. Holcomb' in GoogleThis author has not been identified. Look up 'Alexander Gotmanov' in GoogleThis author has not been identified. Look up 'Michael Kishinevsky' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL