Expert Insights - EDA

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.

Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.

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

Our extended fireside chat with Mentor Chairman and CEO Wally Rhines begins by canvassing his thoughts now the Siemens deal is done.

Unreachability analysis can help find design code that can never be executed, helping verification engineers refine their coverage goals.

Hierarchical DFT is vital for large, complex designs. Users still to transition to the technique can nevertheless exploit its pattern reuse strategies as they move toward adoption.

Using formal core coverage to understand the effectiveness of formal coverage verification strategies in SoC design.

DVCon China general chair Andy Liu discusses Accellera’s new addition to its design and verification conference series (简体中文).

Successful FPV of large designs requires that parts of the design are abstracted. Learning how and where to apply abstractions will result in more proven properties and more bugs found.