Ensure Compliance and Trust for RISC-V Cores and SoCs with Complete Formal Verification

Published on 9 Apr 2019

At the Verification 3.0 Innovation Summit on March 19th at Levi’s Stadium in Santa Clara, California, OneSpin’s Senior Field Application Engineer, Sasa Stamenkovic, discussed the importance of thoroughly verifying RISC-V processor cores—and outlined how formal verification can make that task easier.