Semiconductor Engineering

Formal Verification Of RISC-V Cores

RISC-V is hot and stands at the beginning of what may be a major shift in the industry. Even a cursory review of upcoming conferences programs and recent technical articles makes that clear. While it ...
Semiconductor Engineering

A Holistic View Of RISC-V Verification

Last month, we discussed the growth of the RISC-V open processor ecosystem, the two main organizations driving it, and the role that OneSpin plays. In addition, we have become very active in the ...
EDN

RISC-V’s CPU Verification Challenge

RISC-V is gaining attention throughout the semiconductor industry. It offers the lure of an open-source solution that anyone can leverage to create their own CPU or custom accelerator. Of course, dig ...
Business Insider

Breker Verification Systems Readies RISC-V CoreAssurance and SoCReady SystemVIP for Automated, Certification-level RISC-V Verification Coverage

Complete range of tests for the entire RISC-V core verification stack from ISA to system-level interaction and performance Test Suite Synthesis AI Technology tracks complex, un-predictable bugs and ...
Dataquest

Breker and Frontgrade Gaisler ally on high-reliability RISC-V fault tolerant processor core

Breker Verification Systems has confirmed its RISC-V functional verification solutions were pivotal for verification of the NOEL-V, one of Frontgrade Gaisler’s fault-tolerant RISC-V processor IP cores ...
EDN

Axiomising RISC-V Processors Through Formal Verification

Whereas designing a new microprocessor has become economically feasible due to open-source architectures, test and verification continue to be major hurdles. As chip design is becoming democratized ...
Business Wire

Imperas and Valtrix Announce Partnership for RISC-V Processor Verification

SANTA CLARA, Calif.--(BUSINESS WIRE)--RISC-V Summit — Imperas Software Ltd., the leader in virtual platforms and high-performance software simulation, today announced the partnership with Valtrix ...

RISC-V Silicon Successfully Fabricated on Intel 3 In Major Chip Milestone

The chip was designed as part of Europe's broader effort to reduce reliance on non-European processor technologies.
Business Wire

OneSpin Addresses the Challenges of RISC-V Verification at the Annual RISC-V Summit

MUNICH--(BUSINESS WIRE)--OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure, and trusted integrated circuits, will showcase ...