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.|