Synopsys, Inc. (NASDAQ: SNPS) today announced that SiFive, the first fabless provider of customized, open-source-enabled semiconductors, has selected the Synopsys Verification Continuum platform as its verification solution. SiFive has deployed the Verification Continuum platform for simulation, verification IP, debug, static verification and formal coverage closure. Synopsys’ leadership position in these critical verification technology areas, combined with native integrations among these products, has enabled SiFive to meet aggressive goals for scalable verification of customized RISC-V processors and SoCs targeted for internet of things (IoT), edge computing, machine learning, storage and other applications.
“SiFive was founded by the creators of the free and open RISC-V architecture with an innovative approach that brings the power of open source, agile hardware design and verification to the semiconductor industry,” said Renxin Xia, vice president of engineering at SiFive. “In Synopsys, we found an innovative partner with leading verification technologies that provide our team with the productivity and flexibility required to deliver our customized processor IP and silicon solutions.”
With the exponential growth of verification complexity, achieving verification closure requires a broad set of technologies including advanced simulation, verification IP, advanced debug, static and formal verification, low-power verification and coverage closure. To address this substantial complexity, Synopsys continues to have the largest R&D investment in verification spanning the entire verification flow. This includes industry-leading VCS® simulation, VC verification IP, Verdi® advanced debug, SpyGlass® RTL signoff solutions as well as next-generation VC Formal™verification solutions. The native integration of these solutions further enables design teams to achieve faster performance, lower power and higher productivity for accelerated verification closure.
“Synopsys is addressing the need for faster time-to-market with our leading portfolio of verification software technologies,” said Ajay Singh, senior vice president of R&D in the Synopsys Verification Group. “Our collaboration with SiFive demonstrates the performance benefits of our Verification Continuum platform required for their RISC-V processors and custom SoCs.”