Archives: News
-
Axiomise Expands Formal Verification Training Program with Courses for Beginners to Experts
LONDON –– December 1, 2021 –– Axiomise, the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unwrapped its expanded formal verification…
-
Keysight’s New Parallel Parametric Test System Delivers High Throughput and Cost-Effective Wafer Test
SANTA ROSA, Calif. November 30, 2021 November 30, 2021 – Keysight Technologies, Inc. (NYSE: KEYS), a leading technology company that delivers advanced design and validation…
-
MicroSys puts Hailo AI performance on its SoM platforms with NXP S32G vehicle network processors
Columbia, MD / Munich, Germany, and Tel Aviv, Israel, November 30th, 2021 – NXP Gold partner MicroSys Electronics announced that its new embedded SoM (System-on-Module) platform miriac AIP-S32G274A, which is…
-
IAR Systems and Codasip collaborate to enable low-power RISC-V-based applications
Uppsala, Sweden and Munich, Germany—November 30, 2021—IAR Systems®, the world leader in software tools and services for embedded development, and Codasip®, the leading supplier of…
-
MIPS selects Imperas Reference Models for RISC-V Processor Verification
Oxford, United Kingdom, November 29th, 2021 — Imperas Software Ltd., the leader in RISC-V simulation solutions, today announced with MIPS, Inc., the processor technology company focused on the…