Finding the toughest bugs with Formal Verification
There are currently no dates scheduled for this event.
Overview
This seminar explains how formal verification can most effectively be used alongside simulation to allow design and verification engineers to find more bugs, earlier in the design process. Includes a demonstration.
As designs get more complex, verification cycles increase dramatically while quality hangs in the balance. As a result, many companies are looking for a better methodology to help them achieve improved verification productivity, predictability and quality.
What You Will Learn
- How formal verification can most effectively be used alongside simulation
About the Presenter
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 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
Mentor Forum for Verification - Crossing the barrier to Advanced Functional Verification
- Mentor Forum for Verification - Crossing the barrier to Advanced Functional Verificationhttp://www.mentor.com/products/fv/events/mentor-forum-for-verification-crossing-the-barrier-to-advanced-functional-verification Jun 5, 2012 : Sophia Antipolis, FR
- Mentor Forum for Verification - Crossing the barrier to Advanced Functional Verificationhttp://www.mentor.com/products/fv/events/mentor-forum-for-verification-crossing-the-barrier-to-advanced-functional-verification Jun 12, 2012 : Munich, DE
- Mentor Forum for Verification - Crossing the barrier to Advanced Functional Verificationhttp://www.mentor.com/products/fv/events/mentor-forum-for-verification-crossing-the-barrier-to-advanced-functional-verification Jun 21, 2012 : Stevenage, UK
- View Details
Mentor Forum for Verification
- Mentor Forum for Verificationhttp://www.mentor.com/products/fv/events/mentor-forum-for-verification Jun 17, 2012 : Herziliya, IL
- View Details