Ashish Darbari describes a formal technique that fuels a rapid, predictable and highly effective methodology.
Lauro Rizzatti gets a reality check on AI for both design tools and designs themselves from the formal verification specialist.
If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
Ashish Darbari concludes his series on the need for new verification strategies by considering Debug and Signoff & Review.
In part two of this series, Ashish Darbari introduces a checklist to address verification challenges and build the meta model.
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.
High-level synthesis provides a way to explore hardware architectures to come up with the most efficient implementation for a given situation. But it has taken time for verification techniques to catch up with the idea and ensure design and architecture match.
The ISO 26262 safety standard lays out a number of best practices for the automotive industry and for suppliers. Formal verification provides a way of streamlining the verification of SoCs that need to conform to the standard.
View All Sponsors