As Symbiotic EDA offers a formal test bench to validate the correct implementation of a Risc-V core, becoming member of the Risc-V foundation was next logic step. Our own small Risc-V core picoRV32 gained a lot of popularity in the last 3 years in the FPGA, but also ASIC design community as simple and small, but very reliable Risc-V core. We are looking forward to work with all the members of the Risc-V foundation.
- Symbiotic EDA releases new open source tool for programming the Lattice ECP5 and ice40 FPGAs
- Clifford Wolf becomes co-chair of Risc-V workgroup
- Symbiotic EDA is member of Risc-V foundation
- Yosys 0.8 released
- Prof. R. Brayton invited Clifford Wolf to U Berkeley to talk about Risc-V Formal Verification