The stamp of verification quality



…………1. ZVM: Verification methodology for quality
…………………1.1 What is ZVM?

…………2. Functional verification: Quality by design
…………………2.1 Functional verification – A bigger picture
…………………2.2 Functional verification – Planning phase
…………………………2.2.1 Planning overview
…………………………2.2.2 Verification plans – 3 plans
…………………………………2.2.2.1 Test plan
…………………………………2.2.2.2 Checks plan
…………………………………2.2.2.3 Coverage plan
…………………………2.2.3 Test bench architecture
…………………………2.2.4 Tasks lists for development
…………………………2.2.5 Milestones for development
…………………………2.2.6 Task management
…………………2.3 Functional verification – Development phase
…………………………2.3.1 Bus functional model (BFM)
…………………………2.3.2 Test bench (TB)
…………………………2.3.3 Test
…………………………2.3.4 High level verification language (HVL)
…………………………2.3.5 Verification methodology
…………………………2.3.6 Scripting
…………………2.4 Functional verification – Regressions phase
…………………………2.4.1 Role of regressions in verification
…………………………2.4.2 Check-in Regressions
…………………………2.4.3 Full Regressions
…………………………2.4.4 Debug: Being detective
…………………………2.4.5 Debug: The usual suspects
…………………………2.4.6 Debug: The clues
…………………………2.4.6 Developer and debug
…………………………2.4.4 12 Tips for constrained random debug
…………………2.5 Functional verification – Management
…………………………2.5.1 Successful verification team composition
…………………………2.5.2 Overview
…………………………2.5.3 Planning phase
…………………………2.5.4 Development phase
…………………………2.5.5 Regression phase

…………3. Functional verification: Quality issue diagnosis
…………………3.1 Functional verification quality
…………………3.2 Poor planning phase effects
…………………3.3 Poor development phase effects
…………………3.4 Poor regression phase effects

…………4. Functional verification: Quality boost
…………………4.1 Functional verification quality improvement
…………………4.2 Improving Regression & Debug
…………………4.3 Improving Verification plan
…………………………4.3.1 Good bad ugly Verification plan
…………………………4.3.2 Traceable Verification plan
…………………………4.3.3 Verification plan review
…………………4.4 Improving Test bench
…………………………4.4.1 Cleaning test bench
…………………………4.4.2 Refactoring tests
…………………………4.4.3 Refactoring test bench
…………………4.5 Improving Legacy test benches

…………5. Universal verification methodology (UVM)
…………………5.1 Which code reuse model does UVM use?
…………………………5.1.1 How to improve UVM use effectiveness?
…………………………5.1.2 UVM: All class statistics
…………………………5.1.3 UVM: All class hierarchy in mind map

…………6. Case study
…………………6.1 Serial communication – Error handling verification
…………………………6.1.1 Error injection scenation enumeration
…………………………6.1.2 Error injection verification plan
…………………………6.1.3 Error injection capabilities of BFM
…………………………6.1.4 Error injection implementation in BFM
…………………………6.1.5 Structuring error injection tests
…………………………6.1.6 Execution and closure of error injection