ta1748
Re:What I've Learned About Formal Methods in Half a Year
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.
https://blogs.synopsys.com/from-silicon-to-software/2021/02/...
Re:What I've Learned About Formal Methods in Half a Year
on Monday April 10, 2023 @11:55AM (#35513799)
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 using different tools and methods than SW formal, though there is overlap. Anyways there is room for a wide range of experience/skills/background in a variety of different areas.
Re:Open-source high-performance RISC-V processor
on Monday March 27, 2023 @08:58AM (#35326106)
Chisel usage rounds to zero in my estimation.