A succinct memory model for automated design debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian Keng, Hratch Mangassarian, Andreas G. Veneris. A succinct memory model for automated design debugging. In Sani R. Nassif, Jaijeet S. Roychowdhury, editors, 2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA. pages 137-142, IEEE, 2008. [doi]

This author has not been identified. Look up 'Brian Keng' in GoogleThis author has not been identified. Look up 'Hratch Mangassarian' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in Google

runs on WebDSL