Cadence and OneSpin are applying various forms of machine learning to their tools to automate formal verification.
Cadence Design Systems
Cadence has launched a web-based EDA service the company hopes will ease the transition from self-hosted computing to more flexible cloud-based development.
Early access to tools for new processes is helping Moortec deliver IP to determine the real-time health of on-chip circuits.
Cadence has added direct support for neural networks to the latest iteration of its DSP cores aimed at audio systems.
Cadence has launched an AI processor using an designed to take advantage of the sparse structure of typical deep neural networks.
After the moves by Cadence and Mentor, emulation in the cloud may only be the start of providing verification acceleration as a service.
Accellera has published the first release of the Portable Test and Stimulus Standard (PSS), with tools suppliers following up with software support.
Machine learning is gradually moving into implementation and verification tools for EDA.
Cadence Design Systems has made a collection of its tools suitable for cloud computing, providing them for both Cadence- and customer-managed environments.
Arm is on the way to making formal a fundamental part of its verification strategy for ARM Cortex-A processors.
View All Sponsors