A framework for verifying functional correctness in Odin II - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joseph C. Libby, Ashley Furrow, Paddy O'Brien, Kenneth B. Kent. A framework for verifying functional correctness in Odin II. In Russell Tessier, editor, 2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011. pages 1-6, IEEE, 2011. [doi]

This author has not been identified. Look up 'Joseph C. Libby' in GoogleThis author has not been identified. Look up 'Ashley Furrow' in GoogleThis author has not been identified. Look up 'Paddy O'Brien' in GoogleThis author has not been identified. Look up 'Kenneth B. Kent' in Google

runs on WebDSL