HOME       UP       PREV       |ENDOFPACK|

High-level Synthesis Summary

Synopsys, Cadance and Mentor all heavily pushing C-to-Gates flows. Datapath definition language needed.

IC industry is still highly skeptical!

Success of formal verification means abundance of formal specs for protocols and interfaces: automatic glue synthesis seems highly-feasible.

Synthesis from formal spec - academic interest only ?

See whitepaper from » OneSpin-Solutions.com

38: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.