solutions in Formal? Ziyad Hanna VP Research and Chief Architect - - PowerPoint PPT Presentation

▶

Feb 19, 2024 165 likes •230 views

What will be the next breakthrough solutions in Formal? Ziyad Hanna VP Research and Chief Architect Jasper Design Automation Nov 2009 Customers Most Pressing Problems Understand & manage design complexity Reduce verification and

SLIDE 1

What will be the next breakthrough solutions in Formal?

Ziyad Hanna VP Research and Chief Architect Jasper Design Automation Nov 2009

SLIDE 2

Customers’ Most Pressing Problems

Understand & manage design complexity
Reduce verification and validation cost/TTM
Early spec & verification at Arch/uArch level
System level FV solution: ”Game Changing”
Progress metrics, coverage and predictability

SLIDE 3

FV Research Agenda

High Level Modeling language, ver., and refine
“Source Level” formal techniques:
Automatic Abstraction, SMT based reasoning, word

level MC and symbolic simulation, …

Design for verification
Interactive verification and search
Formal coverage
Post-Si FV

SLIDE 4

What customers find uninspiring in FV Research?

Any research that has no direct link to their

problems

Methods which are hard to use/integrate in

their flows

Small tweaks of FV algorithms with marginal

impact

SLIDE 5