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]
Abstract is missing.