A consistency checker for memory subsystem traces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew Naylor, Simon W. Moore, Alan Mujumdar. A consistency checker for memory subsystem traces. In Ruzica Piskac, Muralidhar Talupur, editors, 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. pages 133-140, IEEE, 2016. [doi]

This author has not been identified. Look up 'Matthew Naylor' in GoogleThis author has not been identified. Look up 'Simon W. Moore' in GoogleThis author has not been identified. Look up 'Alan Mujumdar' in Google

runs on WebDSL