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/...
This is the easiest way to get an idea for what is happening and what experience is needed: https://jobs.apple.com/en-us/search?search=formal&sort=relev... There are several different niches, and HW formal is likely…
Chisel usage rounds to zero in my estimation.
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/...
This is the easiest way to get an idea for what is happening and what experience is needed: https://jobs.apple.com/en-us/search?search=formal&sort=relev... There are several different niches, and HW formal is likely…
Chisel usage rounds to zero in my estimation.