formal verification

October 17, 2018

FPGA playing verification catch-up as bugs escape

The latest Mentor-commissioned Wilson Research Group study on ASIC and FPGA verification highlights technique adoption and maturity.
Article  |  Topics: Verification  |  Tags: , , , , , ,   |  Organizations: ,
July 27, 2018

Verification engineers embrace emulation for the shift left

In a panel session at June's DAC, Synopsys customers talked about some of the ways they make verification more efficient and bring technologies such as formal, emulation, and simulation together.
June 26, 2018

EDA learns to love AI

Machine learning is gradually moving into implementation and verification tools for EDA.
May 22, 2018

Arm Cortex-A processor team focuses on formal

Arm is on the way to making formal a fundamental part of its verification strategy for ARM Cortex-A processors.
April 12, 2018

Free formal verification primer offered by Synopsys

Free e-book offers an introduction to formal verification methods for those who may be curious about the technique, or who need to understand its advantages and limitations in order to manage its use effectively.
Article  |  Topics: Product, Verification  |  Tags: ,   |  Organizations: ,
February 15, 2018

DVCon US 2018 preview: Oski Technology

The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.
Article  |  Topics: Conferences, Blog - EDA, - Verification  |  Tags: ,   |  Organizations: ,
February 12, 2018

DVCon US 2018 preview: Mentor

The Siemens subsidiary is involved with a wide range of tutorials, technical papers and more at this month's San Jose conference.
Article  |  Topics: Blog - EDA, - Verification  |  Tags: , , , , ,   |  Organizations: , , ,
June 20, 2017

Formal focus for Synopsys blog

Synopsys experts are now blogging about key issues in formal verification - how to use it, which techniques to apply, and the effort/reward ratio of doing so.
Article  |  Topics: Industry Blogs, Verification  |  Tags: , , ,   |  Organizations:
June 14, 2017

DAC 2017 preview: Oski Technology

Oski Technology will offer a range of daily presentations at its DAC 2017 and useful technical advice in the main conference program.
Article  |  Topics: Blog - EDA, - Verification  |  Tags:   |  Organizations: ,
May 16, 2017

Cadence adapts Jasper tools for CDC and lint

Cadence has added two apps to its JasperGold lineup that handle clock-domain crossing and linting.
Article  |  Topics: Blog - EDA, - Verification  |  Tags: , ,   |  Organizations:

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors