[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!
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
Introduction to Interactive Properties
Local Property Distribution
Property Distribution using LSF
Introduction to Cutpoints
Introduction to Initialization
Localization Abstraction & Halo
Introduction to Cranks
Methodology and Flows
Introduction to Formal Scoreboarding
Introduction to the Coverage Unreachability flow
For Team Verify
On Twitter: http://twitter.com/teamverify, @teamverify