Clifford Wolf gave the research teams of Prof. Robert K. Brayton and Prof. Sanjit A. Seshi an update on the ongoing integration of solvers into the formal verification tools written by Clifford Wolf. It is expected that the collaboration will lead to more realistic challenges at the annual solver competitions organized by Prof. Biere from Johannes Kepler University Linz.
- 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