Join us in designing the next generation of chips! Click Here.

FV Israel summit 2019

Elchanan Rappaport, Veriest’s Formal Verification tech lead, presentation about “RISC-V: How would you verify it?” at the first Formal Verification Summit in Israel, drew a lot of attention and discussion.