News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

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)

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

[ 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 ]