Synthesis from mixed specifications
Giovanni De Micheli, Vincent John Mooney III, C. Coelho, Toshiyuki Sakamoto · European Design Automation Conference · 1996
We present a hardware synthesis system that accepts system-level specifications in both Verilog HDL and C. A synchronous semantics is assumed for both languages in order to guarantee a uniform underlying model. The rationale for mixed input specifications is to support hardware/software co-design by allowing the migration to hardware of system modules originally described in the C language. We discuss assumptions and limitations of the input description style, a high-level synthesis system, and the application of such a system to some design examples.