FMCAD 2009 EDA Vendors Panel Kevin Harer Principal Engineer and - PowerPoint PPT Presentation

Sep 15, 2023 •237 likes •298 views

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

FMCAD 2009 EDA Vendors Panel Kevin Harer Principal Engineer and R&D Manager Magellan R&D, Synopsys 1
Topics • Our customer’s most pressing problems • Translation of problems into research agenda • Uninspiring research topics 2
Customer Problems • 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. 3
A Research Agenda • Proof/Falsification performance and capacity • “ TestBench Style” ( svtb) constraints in MC • Meaningful assertion completeness • Property behavior visualization and debug 4
Uninspiring FV Research • 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 5

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Welcome to FMCAD 2013 6 Apology from Barbara I am very sorry I am not at FMCAD 2013 in

Welcome to FMCAD 2013 6 Apology from Barbara I am very sorry I am not at FMCAD 2013 in person. You can guess the reason from the picture . I hope to see many of you next year at FMCAD 2014 in Lausanne. 7 Conference Setup

192 views • 8 slides

Scaling VLSI Design Debugging with Interpolation Brian Keng and Andreas Veneris FMCAD 2009

Scaling VLSI Design Debugging with Interpolation Brian Keng and Andreas Veneris FMCAD 2009 FMCAD 2009 University of Toronto Outline Introduction Motivation Contributions Background Debugging with Interpolation Debugging

714 views • 25 slides

FMCAD 2013 Business Meeting 14 Co-location MEMOCODE (Friday, Saturday) DIFTS (Saturday)

FMCAD 2013 Business Meeting 14 Co-location MEMOCODE (Friday, Saturday) DIFTS (Saturday) FMCAD/MEMOCODE Tutorial (Sunday) FMCAD Main Conference (Monday Wednesday) We believe the co-location was good idea Publicity helped

605 views • 12 slides

Vendors Meet -2016 Problem fa faced by IS ISAC fr from Vendors on EGPS Pla latform ISRO

Vendors Meet -2016 Problem fa faced by IS ISAC fr from Vendors on EGPS Pla latform ISRO Satellite Centre (ISAC) 12 th December 2016 EGPS WORKS Vendors ISAC Vendors on - line Web-enable led Proc rocurement t SC

308 views • 27 slides

WELCOME WELCOME WELCOME > 500 registrants 52 nd Users Meeting Highlights Day One Panel:

WELCOME WELCOME WELCOME > 500 registrants 52 nd Users Meeting Highlights Day One Panel: People Matter at 09:45 (Auditorium) Local Vendors Community Fair + Raffle at 10:00-14:00 (Atrium) Thanks to Jeanne Ecker for organizing

335 views • 29 slides

What Prometheus means for monitoring vendors Jorge Salamero - @bencerillo Sysdig - PromCon 2018

What Prometheus means for monitoring vendors Jorge Salamero - @bencerillo Sysdig - PromCon 2018 What is a monitoring vendor? Different vendors provide monitoring - Traditional based vendors - Database based vendors - Prometheus added-value

418 views • 23 slides

Student Recruitment, Third-Party Student Recruitment, Third-Party Vendors, and the Vendors, and

Student Recruitment, Third-Party Student Recruitment, Third-Party Vendors, and the Vendors, and the Federal Trade Commission Federal Trade Commission June 6, 2013, 3:45 pm 5 pm ET Jonathan L. Pompan, Esq. Rosen Shingle Creek Hotel,

1.18k views • 38 slides

Pre-PETS & Introducing Licensed Vendors: Combating the Worlds Best Kept Secret! Agenda:

Pre-PETS & Introducing Licensed Vendors: Combating the Worlds Best Kept Secret! Agenda: I never knew this stuff existed!!! Introducing Licensed Vendors to the PEs A guy in my Club does that (using Unlicensed Vendors)

297 views • 8 slides

Market Design Panel Paul Milgrom Nemmers Prize Conference November 6, 2009 1 11/9/2009

Market Design Panel Paul Milgrom Nemmers Prize Conference November 6, 2009 1 11/9/2009 Rakeshs Question How, if at all, has theoretical work influenced the design of markets? And if it has not influenced design, why not? Critics

573 views • 4 slides

Avoiding America First Pitfalls When Vendors Use H-1B or Other Visas Paul Virtue Agenda

Avoiding America First Pitfalls When Vendors Use H-1B or Other Visas Paul Virtue Agenda Challenges for offshore staffing vendors Historical views on H-1B visas The risks for customers What suppliers can do 2 1 From

545 views • 8 slides

Enhanced Verification by Temporal Decomposition Mike Case , Hari Mony, Jason Baumgartner, Bob

Enhanced Verification by Temporal Decomposition Mike Case , Hari Mony, Jason Baumgartner, Bob Kanzelman FMCAD 2009, Nov. 16, 2009 Introduction Domain: gate-level property checking (and SEC) Problem: simplify the design; remove irrelevant

539 views • 26 slides

Comparing Different Functional Allocations in Automated Air Traffic Control Design FMCAD 2015,

Comparing Different Functional Allocations in Automated Air Traffic Control Design FMCAD 2015, September 27-30 Cristian Mattarei 1 , Alessandro Cimatti 1 , Marco Gario 1 , Stefano Tonetta 1 , and Kristin Y. Rozier 2 1 Fondazione Bruno Kessler,

651 views • 36 slides

HBV Genotype Panel AREVIR-GenaFor-Meeting Bonn, 23. 24. April 2009 Michael Chudy Section of

HBV Genotype Panel AREVIR-GenaFor-Meeting Bonn, 23. 24. April 2009 Michael Chudy Section of Molecular Virolgy Division of Virology E-Mail: chumi@pei.de 1 Background During the WHO Consultation on Global Measurement Standards and

398 views • 20 slides

Pitt Review Task & Finish Panel Tuesday 22 nd September 2009 Kim Durrani and Susan Stranders

Pitt Review Task & Finish Panel Tuesday 22 nd September 2009 Kim Durrani and Susan Stranders (Number of slides 12, approx 15 minutes) This is what it is all about Flood Risk Management - Overview Focus on fluvial & coastal EA

370 views • 12 slides

SQL Used by all major vendors of relational databases SQL has been standardized by ISO and

Structured Query Language Developed by IBM (system R) in the 1970s SQL Used by all major vendors of relational databases SQL has been standardized by ISO and ANSI Lecture 11 SQL has many components Based on slides by R.

218 views • 4 slides

Public Health EHR Vendors Collaboration Initiative Webinar Presented by: Dan Chaput Office

Public Health EHR Vendors Collaboration Initiative Webinar Presented by: Dan Chaput Office of the National Coordinator May 16, 2017 https://www.cdc.gov/ehrmeaningfuluse/public-health-ehr-vendors-collaboration- initiative.html Question and

243 views • 22 slides

Good Practices for Designing Cryptographic Primitives in Hardware Miroslav Kne evi NXP

Good Practices for Designing Cryptographic Primitives in Hardware Miroslav Kne evi NXP Semiconductors miroslav.knezevic@nxp.com January 25, 2016 School on Design for a Secure IoT, Tenerife, 2016 THINGS Smart Plugs 3. January 28, 2016

1.09k views • 86 slides

Week 1- Introduction to model checking B. Srivathsan Chennai Mathematical Institute NPTEL-course

Week 1- Introduction to model checking B. Srivathsan Chennai Mathematical Institute NPTEL-course July - November 2015 1 / 14 Course overview 2 / 14 What are we interested in? 3 / 14 What are we interested in? Software Controllers Code that

219 views • 21 slides

Tutorial 1 : Setting Up Your Unix Environment to work with Synopsys Tools Authors : Bibhas Ghoshal

Tutorial 1 : Setting Up Your Unix Environment to work with Synopsys Tools Authors : Bibhas Ghoshal (bibhas.ghoshal@gmail.com), Subhadip Kundu (dip224@gmail.com) This tutorial guides you to set up your design libraries for both VLSI Design and

270 views • 4 slides

Dr. Hans-Georg Eer http://ohm.hgesser.de/ v1.0, 10/06/2013 Hans-Georg Eer, TH Nuremberg

e t t r r i i e e b e m m - - Slide set 2: b s s s s y y s s t t e B. e B. Crash courses C / bash n t t w u n m i i t t w i i c c k k l l u n G E. E. n G m for self-study e r r a a t t e a m m m m i i n P r r O L. i i t t e

1.12k views • 75 slides

Speech Processing 15-492/18-492 Speech Synthesis Waveform generation 2 Speech Synthesis Text

Speech Processing 15-492/18-492 Speech Synthesis Waveform generation 2 Speech Synthesis Text Analysis Text Analysis Chunking, tokenization, token expansion Chunking, tokenization, token expansion Linguistic Analysis

644 views • 29 slides

Frameworks for Data-Intensive Applications By Ahmad and Cheung Presented by: Ishank Jain

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications By Ahmad and Cheung Presented by: Ishank Jain Department of Computer Science 03/19/2019 CONTENT Background Research Question Method Results

497 views • 29 slides

Satellite Data Give Snapshot the LOS displacement field of InSAR around the northern Pakistan

Eos, Vol. 87, No. 7, 14 February 2006 VOLUME 87 NUMBER 7 14 FEBRUARY 2006 PAGES 7384 EOS, TranSacTiOnS, amErican GEOphySical UniOn The largest observed displacement of Satellite Data Give Snapshot the LOS displacement field of InSAR

308 views • 3 slides

In System Identification, System Identification: . . . Interval (and Fuzzy) Estimates Algorithm

System Identification: . . . Need to Take . . . How Can We Describe . . . Two Approximations, . . . In System Identification, System Identification: . . . Interval (and Fuzzy) Estimates Algorithm for the . . . Can Lead to Much Better

400 views • 25 slides