[ta1748]

Synopsys has a production grade C-to-RTL sequential equivalence tool called HECTOR, with a focus on data path verification.

https://blogs.synopsys.com/from-silicon-to-software/2021/02/...

[adpcm]

So do Cadence with Jasper C2RTL. (Disclaimer; I work on Cadence Jasper Apps, formerly JasperGold)

https://www.cadence.com/ko_KR/home/tools/system-design-and-v...

[ajb]

Nice, thanks guys!