SLIDE 1
1
2
- Our customer’s most pressing problems
- Translation of problems into research agenda
- Uninspiring research topics
FMCAD 2009 EDA Vendors Panel Kevin Harer Principal Engineer and - - PowerPoint PPT Presentation
FMCAD 2009 EDA Vendors Panel Kevin Harer Principal Engineer and - - PowerPoint PPT Presentation
FMCAD 2009 EDA Vendors Panel Kevin Harer Principal Engineer and R&D Manager Magellan R&D, Synopsys 1 Topics Our customers most pressing problems Translation of problems into research agenda Uninspiring research topics
SLIDE 2
SLIDE 3
3
- Functional Verification Cost
- Who is the customer?
- Performance/Capacity – big surprise
- Constraints. Writing and debugging them.
- Verification closure. When am I done.
- Ease of use. This is really a form of cost.
Customer Problems
SLIDE 4
4
- Proof/Falsification performance and capacity
- “TestBench Style” (svtb) constraints in MC
- Meaningful assertion completeness
- Property behavior visualization and debug
A Research Agenda
SLIDE 5
5
- It is not about you
- Non-automatic things
- Things that don’t scale to their problem size
- Things that dictate a flow
- Weird, esoteric things they need to know