Super fascinating!! Verification is SUPER important I think.
I actually wrote an FOSS end-to-end TensorFlow CNN accelerator that can be synthesized for FPGAs using completely FOSS tools.
I'm working on adding formal verification to it.
I used FOSS tools such as Yosys and NextPNR, made possible by FOSS hackers who reverse engineered different FPGAs.
I'm working on adding formal verification to it. I used FOSS tools such as Yosys and NextPNR, made possible by FOSS hackers who reverse engineered different FPGAs.
I hope to release the full codebase at the end of this summer. https://bracketmaster.github.io/MAERI-RTL/
I also started a company working on a completely FOSS CPU+GPU using similar approaches. https://systemeslibres.org