Kong Woei Susanto, Wayne Luk. Automating formal verification of customized soft-processors. In Russell Tessier, editor, 2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.