RISC-V Workshop, Zurich
Zurich, Switzerland | June 11–13
On the 11th, Product Specialist Design Verification Nicolae Tusinschi will present a poster on "Unbounded Formal Verification of RISC‑V CSRs with Interval Property Checking."
The following day, Nicolae is joined by Product Manager Design Verification Sven Beyer as the two present a paper on "Advances in Formal Connectivity Checking – A Case Study on a Multi-Billion-Gate SoC."
While you're at the Workshop, be sure to pick up a RISC-V Foundation tee shirt—we think you'll notice a familiar logo there!