Prof. R. Brayton invited Clifford Wolf to U Berkeley to talk about Risc-V Formal Verification

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.

Leave a Reply

Your email address will not be published. Required fields are marked *