Verification of the Futurebus+ Cache Coherence Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol. In David Agnew, Luc J. M. Claesen, Raul Camposano, editors, Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL 93, sponsored by IFIP WG10.2 and in cooperation with IEE. Volume A-32 of IFIP Transactions, pages 15-30, North-Holland, 1993.

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. Look up 'Hiromi Hiraishi' in GoogleThis author has not been identified. Look up 'Somesh Jha' in GoogleThis author has not been identified. Look up 'David E. Long' in GoogleThis author has not been identified. Look up 'Kenneth L. McMillan' in GoogleThis author has not been identified. Look up 'Linda A. Ness' in Google

runs on WebDSL