Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu. Integrating formal verification and high-level processor pipeline synthesis. In IEEE 9th Symposium on Application Specific Processors, SASP 2011, San Diego, CA, USA, June 5-6, 2011. pages 22-29, IEEE Computer Society, 2011. [doi]
Abstract is missing.