Verification Plans - James, Peet

. .

Sommaire:
1 Plan, Plan, Plan.- Verification.- General Specifications.- Transposition.- Verification Systems.- Why Have A Plan.- The Plan.- 2 Shotgun Verification.- HDL vs HVL.- Schematics to Hdl.- HDL to HVL.- HVL Plan.- HVL Gone Bad.- HVL Benefits.- The New Midset: Shotguns and Peashooters.- Three Enabling Verification Methodologies.- Bottomline.- 3 Getting Started.- Preliminaries: Greasing the Skids.- The When.- The Who: Verification Team.- Day One: Brain Dump, Brain Fill.- Final Thought.- 4 Day in the Life.- DITL.- Resistance.- Verification and DITL.- Day Two: Getting started.- Day Two: DITL.- Day Two: Verification System Architect.- Day Two: Generation.- Day Two: To Do List, stuff to talk about, questions to ask.- Day Two: Extras.- Day Two: Gotchas.- Day Two: Assignments.- Final Thought.- Chapters 5 Layers and Phases.- Introduction:.- Verification Components.- Existing Code.- Layers and Phases: An Introduction.- Day Three: Getting Started.- Day Three: Layers.- Day Three: Phases.- Day Three: Integrating Layers and Phases.- Day Three: Results.- Day Three: To Do List, stuff to talk about, questions to ask.- Day Three: Extras.- Day Three: Gotchas.- Day Three: Assignments.- Final Thought.- 6 Format.- Audience.- Goal, Purpose, And Flow.- Size and Breakout Documents.- Entry Tools.- Charts and Graphs.- Final Thoughts.- Chapter7 Information Extraction.- Philosophy.- The Nature of Prediction.- Talking Heads and Silent Types.- Structure in Chaos.- Reverse osmosis.- Paradoxical Solutions.- Gut vs fuzzy.- Spiral convergence.- Yellow-Sticky Method.- Final Thoughts.- 8 Breakout Documents.- Day Four, Day Five, And Beyond.- System Admin Breakout Document Content.- System Admin Breakout Document Summary.- Checkers Breakout Document Content.- Checkers Breakout Document Summary.- Scoreboards Breakout Document Content.- Scoreboards Breakout Document Summary.- Functional coverage breakout document content.- Functional Coverage Breakout Document Summary.- SEQ and Scenarios Breakout Document Content.- SEQ and Scenarios Breakout Document Summary.- Schedule Breakout Document Content.- Schedule Plan Breakout Document Summary.- Other Documents.- Final Thoughts.- 9 Wrap Up.- What about the Features?.- When to use directed?.- Are there other 5-Day Paths that Yield Success?.- Where do I get a Soft Copy?.- Was this Book Plug to get Consulting Gigs?.- Is it Ok to use other Formats?.- Why do you spell your Name Wrong?.- Contact Information.- Appendix Intro.- Appendix A Day in the Life Document Examples.- A1: Usbnode.- A2: Coolswitch.- Appendix B Main Plan Document Usbnode Example.- Appendix C Breakout Document Examples.- C1: System administration.- C2: CHECKER Document.- C3: scoreboard Document.- C4: Coverage Document.- C5: Scenario and Sequence Document.- C6: Schedule spreadsheet example.- Appendix D Original Five Day Paper.