close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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!


Related Links