Formal modeling and validation applied to a commercial coherent bus: a case study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu. Formal modeling and validation applied to a commercial coherent bus: a case study. In Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, pages 48-62, Chapman & Hall, 1997.

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Rajnish Ghughal' in GoogleThis author has not been identified. Look up 'Ravi Hosabettu' in GoogleThis author has not been identified. Look up 'Abdelillah Mokkedem' in GoogleThis author has not been identified. Look up 'Ratan Nalumasu' in Google

runs on WebDSL