coverage

As first silicon success declines, new software aims to provide a more holistic view of coverage data from multiple sources.

A technical paper originally presented at DVCon USA 2020 simplifies the creation of coverage strategies using manual, automated and verification IP components.

The verification specialist will address the challenges posed by billion-gate SoCs and the integration of formal and simulation in its presentations.

The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.

Mentor Graphics chairman and CEO Wally Rhines will deliver the DVCon keynote as the vendor sets a deep agenda for the conference.

Online conference discusses software testing for avionics and security, code coverage, agile methodologies, behaviour-driven development and more

Senior verification expert at Imagination Technologies debunks ten myths surrounding the use of formal techniques in SoC design and verification

New tool technologies, Verdi integration and greater flow concurrency also contribute to a claimed 3X increase in productivity for Verification Compiler.

Chip-design teams are running into problems with verification because they are focused too much on tools and not enough on processes, Mentor Graphics chief scientist Harry Foster explained today at the first of a series of Verification Futures seminars hosted by TVS in Europe this week.

New features provide enhanced formal checking analysis, code coverage closure and extended clock domain crossing analysis.