Expert Insights - EDA

Ashish Darbari  |  November 29, 2017

Doc Formal: The crisis of confidence facing verification II

In part two of this series, Ashish Darbari introduces a checklist to address verification challenges and build the meta model.
John Ferguson  |  November 24, 2017

Assessing the true cost of node transitions

John Ferguson reviews the key capital metrics you need to review when deciding whether to move to a new process.
Ashish Darbari  |  October 31, 2017

Doc Formal: The crisis of confidence facing verification

Why is verification still such a challenge in spite of all the technologies and techniques being brought to bear
Michael Chen  |  October 14, 2017

Making security a profit center for silicon

The assumption has been that extra security eats into profit margins. But with some lateral thinking it can actually improve the bottom line.
Ashish Darbari  |  August 31, 2017

Doc Formal: The evolution of formal verification – Part Two

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
Ashish Darbari  |  July 21, 2017

Doc Formal: The evolution of formal verification – Part One

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
Ashish Darbari  |  May 22, 2017

Introducing Doc Formal: the journey so far

Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
Paul Dempsey  |  May 15, 2017

The Wally Rhines interview – Part Two: AI, automotive and security

This second part looks at Mentor's views on flow neutrality, how DRS360 was born, machine learning and the threat from embedded Trojans.
Paul Dempsey  |  May 8, 2017

The Wally Rhines interview – Part One: Mentor as a Siemens business

Our extended fireside chat with Mentor Chairman and CEO Wally Rhines begins by canvassing his thoughts now the Siemens deal is done.
Sanjana Bhattacharya  |  April 26, 2017

Eight tips for performing effective unreachability analysis

Unreachability analysis can help find design code that can never be executed, helping verification engineers refine their coverage goals.
Topics: EDA - Verification  |  Tags: , , ,   |  Organizations:   |  

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors