What I've Learned About Formal Methods in Half a Year

Re:What I've Learned About Formal Methods in Half a Year by ta1748 on Tuesday April 11, 2023 @08:37PM (#35533651)

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

[ Parent | on HN ]

Re:What I've Learned About Formal Methods in Half a Year by adpcm on Tuesday April 11, 2023 @09:34PM (#35533983)

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

[ Parent | on HN ]

Re:What I've Learned About Formal Methods in Half a Year by ajb on Wednesday April 12, 2023 @09:06AM (#35539026)

Nice, thanks guys!

[ Parent | on HN ]