Compiling SpecC for simulation

Jianwen Zhu, Daniel Gajski. Compiling SpecC for simulation. In Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan. pages 57-62, ACM, 2001. [doi]

Abstract

Abstract is missing.