Video Killed the Reference Manual Star

[Preface: recall the melody of the Buggles' 1979 hit "Video Killed the Radio Star" as you read the following]

Q: What is your favorite pastime?

A: Reading reference manuals!

No?  Really?

OK -- with all due respect to our Tech Pubs team, virtually no one wants to sit down and read reference manuals if they can help it.  And in a perfect world, it should not be required in the first place.  Alas, our world is not perfect, but that should not preclude us from striving toward Nirvana.

And thus, I assert that for many, a good picture says more than a thousand words.  It is a cliché, but it is true. However, even the most complete infographic might not always be sufficient to convey a concept or feature - particularly if you do not have someone providing verbal context to the picture.  Thus, moving pictures -- videos -- can convey certain concepts more effectively and will have a longer lasting (memorization) effect than a reference manual.

Hence, Team Verify has produced the following series of short, focused videos on various aspects of formal and ABV techniques.  All of them are short (around 5 minutes) and focused -- we've posted the "Introduction to Assertion-Driven Simulation" to give you an exact idea of what you can expect. The rest of the videos require a Support login ID only.

Assertion Driven Simulation
Introduction to Assertion-Driven Simulation (YouTube-based sample)
Soft Constraints in Assertion-Driven Simulation
Dead Ends in Assertion-Driven Simulation
Seeds in Assertion-Driven Simulation

Tool Basics
Introduction to Interactive Properties
Local Property Distribution
Property Distribution using LSF
Engine Distribution
Introduction to Cutpoints
Introduction to Initialization
Localization Abstraction & Halo

Concepts
Introduction to Cranks

Methodology and Flows
Introduction to Formal Scoreboarding
Introduction to the Coverage Unreachability flow

Enjoy!

Team Verify

On Twitter: http://twitter.com/teamverify, @teamverify