Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou. Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 81-88, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Xiaofang Chen' in GoogleThis author has not been identified. Look up 'Yu Yang' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Ching-Tsun Chou' in Google

runs on WebDSL