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 with the advent of open-source processor architectures such as RISC-V, more organizations are daring to get into processor design. This article explains how to apply formal verification in RISC-V processors.

Read More

To help you deliver successful RISC-V based designs T&VS offer specific services that build on and extend the world-class test and verification services that we have been delivering to the semiconductor industry.