Question #3: What could be the benefits of using formal tools instead ofconventional simulation tools if a company desires to certify a RISC-V implementation against safety-critical standards?
For Shaun Giebel, director of product management at OneSpin, the benefits of using formal instead of conventional simulation clearly stand out. In this Q&A, he goes into the details of how formal beats simulation, especially with regards to safety-critical designs.
Get more information on RISC-V Verification. Download our white paper.