Formal Verification of RISC-V Cores
Salaheddin Hetalani, OneSpin Solutions
Salaheddin Hetalani, field application engineer, talks about formal verification of RISC-V cores at Embedded World 2020 in Nuremberg, Germany.
Salaheddin Hetalani, field application engineer, talks about formal verification of RISC-V cores at Embedded World 2020 in Nuremberg, Germany.