Formal verification of an ASIC ethernet switch block - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

B. A. Krishna, Anamaya Sullerey, Alok Jain. Formal verification of an ASIC ethernet switch block. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 13-20, IEEE, 2010. [doi]

This author has not been identified. Look up 'B. A. Krishna' in GoogleThis author has not been identified. Look up 'Anamaya Sullerey' in GoogleThis author has not been identified. Look up 'Alok Jain' in Google

runs on WebDSL