Search Results
Filters
Advanced Search
1901 Results
-
Verification Horizons - Volume 6, Issue 2
Resource (Verification Horizons Archive) - Jun 01, 2010 by Tom Fitzpatrick
“How does a team apply new approaches to a problem, especially when the team is geographically dispersed?”
-
Assertion-Based Verification
Track - Feb 10, 2010 by Harry Foster
This track introduces a set of steps for advancing an organization’s assertion-based-verification (ABV) skills, infrastructure, and metrics.
-
Introduction to Assertion-Based Verification
Session - Feb 10, 2010 by Harry Foster
This session includes a survey of today’s productivity challenges and the role ABV plays in improving productivity.
-
Maturing ABV Process Capabilities
Session - Feb 10, 2010 by Harry Foster
This session will introduce a framework for advancing an organization’s verification process capabilities, with an emphasis on ABV processes.
-
Introduction to SystemVerilog Assertions
Session - Feb 10, 2010 by Harry Foster
This session that is targeted at the novice who has no exposure to assertion languages, or as an assertion refresher for the experienced engineer.
-
Introduction to Open Verification Library (OVL)
Session - Feb 10, 2010 by Harry Foster
This session is targeted at the novice who has no exposure to assertion libraries, or as an assertion refresher session for the experienced engineer.
-
Assertion Patterns
Session - Feb 10, 2010 by Harry Foster
This session will provide a discussion on how to mature your organization's assertion skill through the use of assertion patterns.
-
Cookbook Examples
Session - Feb 10, 2010 by Harry Foster
This session will discuss how to mature your organization’s assertion skill through the use of complete cookbook examples.
-
ABV and Formal Property Checking
Session - Feb 10, 2010 by Harry Foster
This session will discuss how to successfully plan and integrate formal verification into your ABV flow.
-
Questa Simulation
Demo - Feb 10, 2010 by Chuck Seeley
This session will demonstrate how assertions can be used in simulation.
-
Questa Formal Verification
Demo - Feb 10, 2010 by Mark Eslinger
This session will demonstrate how assertions can be used in formal verification.
-
Verification Horizons - Volume 6, Issue 1
Resource (Verification Horizons Archive) - Feb 01, 2010 by Tom Fitzpatrick
“One of my favorite things about this week (DVCon) is the opportunity to meet new friends (and catch up with old friends, too), and I’d love to hear in person what you think about the conference, Verification Horizons, or the industry in general.”
-
Industry Perspective & Opportunities in ABV
Webinar - Jan 15, 2010 by Harry Foster
In this session, you will learn about Industry Perspective and Opportunities in ABV.
-
Verification Horizons - Volume 5, Issue 3
Resource (Verification Horizons Archive) - Dec 01, 2009 by Tom Fitzpatrick
“...it occurred to me that relying on good solid work that others have done is often the key to productivity...since it lets us focus on what we need to and lets us avoid wasting time and resources...”
-
Verification Horizons - Volume 5, Issue 2
Resource (Verification Horizons Archive) - Jul 01, 2009 by Tom Fitzpatrick
“The key to teamwork is to have everyone working together. In verification that means starting with a plan so that everyone knows what they’re doing and progress can be measured effectively.”
-
Verification Horizons - Volume 5, Issue 1
Resource (Verification Horizons Archive) - Feb 01, 2009 by Tom Fitzpatrick
“In the winter in New England, it’s important to stay warm and be thankful for friendly neighbors and family to help in times of need. In a stormy economy, it’s even more important to protect yourself from the “cold” of risk in your verification process.”
-
Verification Horizons - Volume 4, Issue 3
Resource (Verification Horizons Archive) - Oct 01, 2008 by Tom Fitzpatrick
“From its inception, we have always envisioned OVM as a “methodology platform,” in that it provides the infrastructure necessary to incorporate additional technologies in a unified way to extend existing verification strategies.”
-
Verification Horizons - Volume 4, Issue 2
Resource (Verification Horizons Archive) - Jun 01, 2008 by Tom Fitzpatrick
“If you’re going to be at DAC, ...stop by the Mentor booth, and feel free to ask for me if you’d like to say “hi.” We’d love the opportunity to talk to you about how the Mentor team can help you experience “the thrill of victory” on your next project.”
-
Verification Horizons - Volume 4, Issue 1
Resource (Verification Horizons Archive) - Feb 01, 2008 by Tom Fitzpatrick
“...my dad, who was an analog designer, used to tell me “it’s an analog world” to convince me that the “digital stuff” I was learning would never be sufficient to build everything. As Mark Twain said, “the older I’ve gotten, the smarter my father has become.”
-
Verification Horizons - Volume 3, Issue 4
Resource (Verification Horizons Archive) - Oct 01, 2007 by Tom Fitzpatrick
“...change isn’t always a bad thing. In our industry, it’s essential. One of the biggest changes recently is the announcement in August of Mentor Graphics and Cadence working together to deliver the Open Verification Methodology (OVM).”
-
Verification Horizons - Volume 3, Issue 2
Resource (Verification Horizons Archive) - Jun 01, 2007 by Tom Fitzpatrick
"In the case of Verification Horizons, success is defined in terms of providing interesting, educational and sometimes entertaining articles for your enjoyment and edification.”
-
Verification Horizons - Volume 3, Issue 1
Resource (Verification Horizons Archive) - Feb 01, 2007 by Tom Fitzpatrick
“...we look forward to some exciting times in 2007. There’s a lot going on both here at Mentor and within the industry to advance the frontiers of verification technology, and as always, we’ll be here to help keep you on the leading edge.”
-
Verification Horizons - Volume 2, Issue 3
Resource (Verification Horizons Archive) - Sep 01, 2006 by Tom Fitzpatrick
“In keeping with our DAC mythbusting theme, we are focusing this issue on looking at various myths about verification and setting things straight.”
-
Verification Horizons - Volume 2, Issue 2
Resource (Verification Horizons Archive) - Jul 01, 2006 by Tom Fitzpatrick
“Please make sure to come by and see us at DAC in July. We’ll be happy to talk more about the Advanced Verification Methodology, and any of the articles recently appearing in Verification Horizons.”
-
Verification Horizons - Volume 2, Issue 1
Resource (Verification Horizons Archive) - Feb 01, 2006 by Tom Fitzpatrick
“I encourage you to take a moment to help us make Verification Horizons more informative and enjoyable for you. In the meantime, we’ll be hard at work putting the next issue together while we continue to expand the horizons of verification.”