Combining Formal Model Checking and Simulation for Verification Closure Web Seminar

Web Seminar
View All Events

There are currently no dates scheduled for this event. However a recording of a previous session is available as an on-demand web seminar.

View This On-Demand Web Seminar Now

Overview

Formal verification of design properties is a powerful verification technology. However just as simulation has its limits, property checking has its limits as well.

This webinar discusses a methodology that incorporates both property checking and simulation in a integrated, synergistic fashion. By combining the strength of each approach, this methodology finds more bugs faster, helps designers reach coverage closure, and as such enables designers to deliver higher quality design with less overall effort. Includes a demonstration.

What You Will Learn

  • How to use simulation results to drive formal verification
  • How to cover "hard-to-find" cover points
  • How to find bugs deep in the design

About the Presenter

Presenter Image Mark Eslinger

Mr. Eslinger has over 20 years of experience in chip design & verification, pre/post sales support, and technical marketing. As a technical marketing specialist in the Design Verification Technology Division of Mentor Graphics Mr Eslinger has a special focus on assertion-based methods and formal verification. In this role he works with customers worldwide to help them adopting advanced methodologies. Prior to Mentor Mr. Eslinger has held positions in the engineering and technical marketing organizations in the semiconductor, systems and EDA industry, including Lockheed, Synopsys, Abstract, Sente/Sequence, Averant, and AccelChip. Mr Eslinger holds a MSEE from Santa Clara University.

Who Should Attend

  • Design/Verification Engineers
  • Design/Verification Managers
  • Project Managers
  • CAD/Methodology Managers

Products Covered

Technical Instructions

Technical Requirements

What do I need to watch and hear this web seminar?

Mentor Graphics’ web seminars are delivered using Adobe Connect. To watch the seminar all you need to have installed is the Adobe Flash Player, version 8 or later on Windows, Macintosh, Linux, and Solaris. The Flash Player is already installed on over 98% of internet connected computers worldwide so you will not have to install any software prior to attending the meeting. You will be able to login to the seminar room 15 minutes prior to the start time on the day of the presentation. You can hear the audio using your computer’s speakers via VoIP (Voice over IP) and background music will play prior to the beginning of the presentation.

Detailed system requirements

Microsoft® Windows Vista® Home Basic, Home Premium, Ultimate, Business, or Enterprise (32-bit edition)

  • Microsoft Internet Explorer 7 or later
  • Mozilla Firefox 2
  • Adobe Flash® Player 8 or later

Microsoft Windows® XP Professional or Home Edition with Service Pack 2

  • Microsoft Internet Explorer 6, 7
  • Mozilla Firefox 1.x, 2.x
  • Mozilla 1.x or later
  • Netscape 7.x
  • Adobe Flash Player 8 or later

Microsoft Windows 2000 with Service Pack 4

  • Microsoft Internet Explorer 5.x
  • Mozilla Firefox 1.x, 2.x
  • Mozilla 1.x
  • Netscape 8
  • Adobe Flash Player 8 or later

Windows hardware requirements

  • Intel® Pentium® II 450MHz or faster processor or equivalent (1GHz recommended when screen sharing)
  • 128MB of RAM

Mac OS X v10.4, 10.5 (Intel)

  • Firefox 1.5.0.3, 2.x
  • Safari 2.x
  • Adobe Flash Player 8 or later

Mac OS X v10.4 (PowerPC®)

  • Safari 1.x, 2.x
  • Firefox 1.x
  • Mozilla 1.x
  • Netscape 7.x or later
  • Adobe Flash Player 8 or later

Mac OS hardware requirements

  • PowerPC G3 500MHz or faster or Intel Core™ Duo 1.83GHz or faster processor
  • 128MB of RAM

Linux:

  • Red Hat® Enterprise Linux® (REHL) 3 update 8; RHEL 4 update 4 (AS/ES/WS); Novell SUSE® 9.x or 10.1
  • Mozilla Firefox 1.5.0.7, 2.x
  • Mozilla 1.7.x
  • SeaMonkey 1.0.5
  • Processor: Modern processor 800MHz or faster (1GHz recommended)
  • Memory: 512MB of RAM; 128MB of graphics memory
  • Adobe Flash Player 9 or later

Solaris™

  • Mozilla 1.7
  • Adobe Flash Player 9 or later

Additional requirements

  • Minimum bandwidth 56Kbps

More Events

Introducing Modelsim DE

How Physical Implementation realizes Power Intent Web Seminar

  • Mar 30, 2010 : Online, 9:30 AM Europe/London
  • Mar 30, 2010 : Online, 2:00 PM Europe/London
  • View Details

Assertion Based Verification for FPGA and IC Design Seminar

  • Apr 14, 2010 : Eindhoven, Netherlands
  • Apr 16, 2010 : Oulu, Finland
  • Apr 19, 2010 : Milano, Italy
  • Apr 20, 2010 : Zurich, Switzerland
  • Apr 21, 2010 : Frankfurt, Germany
  • Apr 22, 2010 : Munich, Germany
  • Apr 25, 2010 : Herzliya, Israel
  • Apr 27, 2010 : Cambridge, UK
  • View Details

Improving Simulation Performance with ModelSim SE Web Seminar

User: Sign In
Forgot Password? Cancel
| Create Account