Verification

March 9, 2018
Saunder Peng is a Senior Application Engineer with Mentor, a Siemens Business. He received his B.S degree in Electrical Engineering from the University of California at Los Angeles, and his M.S. in Electrical Engineering from Columbia University, New York.

A better way to merge design files for physical verification

Still using custom layout or place and route tools here? Ditch that time-consuming practice for a real database merge flow.
February 28, 2018

How to achieve more accurate NAND soft-bit error injection

The article describes a pre-silicon strategy for the design and verification of SSD controllers that is faster and more flexible than ICE using physical NAND on a daughter-card.
Article  |  Tags: , , ,   |  Organizations:
February 27, 2018
Gordon Cooper

Optimizing power and performance trade-offs in CNN implementations for embedded vision

High-performance vision-processing algorithms need optimized CNN engines to deliver the right performance within the power budget of embedded applications.
Expert Insight  |  Tags: , , , ,   |  Organizations:
February 23, 2018
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: Living verification in the fast lane

Why is formal verification not getting the traction it should. The good doctor has some thoughts on that... and a new solution.
January 26, 2018
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: When ‘silicon proven’ is not enough

If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
Expert Insight  |  Tags: , , , , , ,   |  Organizations:
January 15, 2018
Physical Verification Efficiencies - featured image

Three ways to lift productivity during physical verification

How to get the best PV results by reducing computational demands; handling data more efficiently and exploiting parallelization.
Article  |  Tags: , , , ,   |  Organizations:
January 2, 2018

Achieving ISO 26262 certification with ASIL ready IP

Achieving ISO 26262 certification for advanced driver assistance systems takes a combination of ASIL ready IP and rigorous development strategies.
Article  |  Tags: , , ,   |  Organizations:
December 14, 2017
Architectural Formal Verification - introduction and case study by ArterisIP and Oski Technology

Case study: How to apply architectural formal verification to system-level requirements

Introducing one of the latest refinements of formal and showing how ArterisIP and Oski Technology used the strategy on an ARM-based design.
Article  |  Tags: , ,   |  Organizations: ,
December 5, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: the crisis of confidence facing verification III

Ashish Darbari concludes his series on the need for new verification strategies by considering Debug and Signoff & Review.
Expert Insight  |  Tags: , , , , , , ,   |  Organizations:
December 4, 2017
Richard Pugh featured image SSD expert insight

Data-hungry applications demand emulation

Richard Pugh shows how the fast-growing market for drone silicon highlights emulation's power where high data volumes are critical.
Expert Insight  |  Tags: , , , , , , ,   |  Organizations:

PLATINUM SPONSORS

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