Making your products more Reliable, Safe and Secure

A new formal proof kit for RISC-V processors

Chip design is being democratised by the advent of open-source processor architectures such as RISC-V. So, more organizations are daring to get into processor design. They are undertaking designs that range across embedded microcontrollers, high-end desktop and server-grade CPUs, AI and machine learning. This article explains how open-source processor architectures help to improve chip designs.

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.

24th July, 2019|Blog, Thought Leadership|