5 ms·
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-sil
by ta1748 3y ago
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/24/datapath-design-validation-hector/amp/ https://blogs.synopsys.com/from-silicon-to-software/2021/02/...
- adpcm 3y agoSo 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-verification/formal-and-static-verification/jasper-c-formal-verification.html https://www.cadence.com/ko_KR/home/tools/system-design-and-v...
- ajb 3y agoNice, thanks guys!