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.
Professional Meetup – Novi Sad
Professional Meetup – Belgrade