tools

News

Quintauris releases the first RISC-V real-time platform for automotive applications

25th November 2025

News

TrustInSoft extends formal verification to Rust

4th November 2025

Products

Microchip unveils first 3nm PCIe Gen 6 switch for AI infrastructure

15th October 2025

Products

ADI launches a holistic family of tools to streamline power management design and optimisation

15th October 2025

Products

Latest Pulsonix EDA software, now with integrated SPICE simulation and 3D visualisation enhancements

8th October 2025

Products

Panduit new OptiCam 2 fibre optic termination tool

7th October 2021

Products

QuickLogic introduces new Australis eFPGA IP Generator

13th September 2021

Feature

Verification requirements for SystemC/C++ designs

29th July 2021

Feature

Mitigating verification risk by understanding your coverage

10th May 2021

Feature

Thorough Pre-Silicon Verification of Automotive SoCs

3rd February 2021

Feature

Verifying RISC-V SoCs

30th October 2020

Feature

Optimisation verification in embedded system design

9th July 2020