Test And Verification Solutions Resistance Is Futile .

2y ago
9 Views
3 Downloads
836.98 KB
24 Pages
Last View : 1m ago
Last Download : 3m ago
Upload by : Madison Stoltz
Transcription

Test and Verification SolutionsResistance is Futile:Learning to love UVM!Experts In Verification

The Verification Challenge

Effort Spent On VerificationTrend in the percentage of total project time spent in verification30%2007 Median 50%2010 Median rcentage of total project time spent in verificationWilson Research Groupand Mentor Graphics2010 FunctionalVerification Study,Used with permission

Effort Spent On VerificationMean peak number of designers vs. verification engineersMedian peak number of engineers4% increase in designers vs. 58% increase in verification engineers18.016.014.0Verification EngineersDesign Engineers7.612.010.04.88.06.07.8Wilson Research Group and Mentor Graphics2010 Functional Verification8.1 Study,Used with permission4.02.00.02007-World2010-WorldWilson Research Group and Mentor Graphics2010 Functional Verification Study,Used with permission

Verification Productivity ationProductivityHarry Foster, Mentor GraphicsVerification Futures: The Next Five Years,Nov 15, 20115Moore’s LawMurphey’s Law

Functional Verification TrendsIndustry evolving its functional verification tionWilson Research Groupand Mentor Graphics2010 FunctionalVerification Study,Used with permission41%64%2007201048%Code coverage72%40%Functional coverage72%0%10%20%30%40%50%60%70%80%35%29%Median peak number ofverification engineers30%2007201025%19%The adoption offormal propertychecking hasgrown by 53%20%15%10%5%0%20072010

UVM to the rescue?

Functional Verification TrendsWorldwide verification language adoption trendsSystemVerilog adoption has increased by 233% in the past three years!80%74%68%70%2007 FarWest ResearchResponses60%2010 Wilson Research Group60%53%50%Next 12 %16%16% 15%11%8%3%5% 3%2%0%Wilson Research Group and Mentor Graphics2010 Functional Verification Study, Used with permission

Functional Verification TrendsWorldwide methodology and base-class library adoption trendsUVM is expected to grow by 286% in the next 12 months!50%47%45%42%201040%Next 12 %5%12%7%9% 9%4% 4%4% 4%0%Wilson Research Group and Mentor Graphics2010 Functional Verification Study, Used with permission

UVM has a great pedigreeRVMVMMUVMAVMOVMeRMURM

But what is the UVM? UVM Universal Verification Methodology– Class Reference Manual– an open-source SystemVerilog base class library implementation– a User Guidemeth·od·ol·o·gy A system of broad principles or rules fromwhich specific methods or procedures may be derived to interpret orsolve different problems within the scope of a particular discipline.Unlike an algorithm, a methodology is not a formula but a set ofpractices.

How easy is UVM? There’s More Than One Way To Do It– Last time I looked the SV LRM had about 580 pages– And the UVM class reference guide had over 400pages Easy to– Lose consistent “look & feel”– Write non – reusable code– Use the wrong level of abstraction Brian Hunter, Cavium 180 page guidelines

So why bother? The statistics show it is becoming the de-factoindustry standard– Training is available– Engineers are available (market forces apply!)– Community of help Industry tools and VIPOn-going maintenance (future proof)An open source communityIt CAN do the job– But roll out and adoption of UVM MUST be planned

Problems with Adoption (Dialog Semi) RTL-centric engineers learning OOP concepts Stimulus not constrained appropriately Checking at the wrong level of abstraction– Reference model in module-based “helper” code assertions Dangerous use of configuration settings– set config int(“*”, “num agents”, ); Slippage between Vplan & coverage model Derivative projects could not reuse agents easily– Tightly coupled to interface Module – chip reuse is non-trivialFrom VerificationFutures 2011Reproduced with permission from Dialog Semi

Some solutions (Dialog Semi) Encapsulate VIP settings in configuration objects Encapsulation of BFM tasks in interface– Better reuse model for derivative DUTs with changing i/f Structure of Scoreboard for reuse & decoupledchecks– E.g. MVC pattern Leverage common sequence API (e.g. register-based) Review process essential to ensure consistentverification approach Multi-layered approach to verification– Infrastructure & VIP development– Project specific stimulus, checks and coverageFrom VerificationFutures 2011Reproduced with permission from Dialog Semi

Roll out (Dialog Semi) External training courses & workshops Internal seminars & knowledge sharingNovice– Best practise guidelines– Wiki knowledge base– Code examples External OVM resourcesCapability– OVM Forum– Verification Academy– External consultants Introduction on live projects– Code review sessions Library OVC componentsExpertFrom VerificationFutures 2011Reproduced with permission from Dialog Semi

Some conclusions (Dialog Semi) OVM constrained-random approach resulted in:– High rates of bug discovery– Easier tracking of real progress– Managed verification closure OVM won’t initially reduce your verification effort– Until reuse is leveraged Legacy directed tests can still add value– OVM checking in passive mode Engineers were able to get running quickly– Application-specific examples & knowledge sharingFrom VerificationFutures 2011Reproduced with permission from Dialog Semi

Adoption: Get on board the Mentor UVM Express Step #1 Organize your Testbench into a BFM– Use a SystemVerilog Interface to group your Signals– Write your test in terms of transactions– Call tasks to execute transactions Step #2 Add Functional Coverage– Use Metrics to check Verification quality- How good are yourtests?– Add coverage agents– Leverage pre-built VIP in passive mode Step #3 Add Constrained Random Stimulus– Improve your test quality by generating stimulus efficiently– Leverage pre-built VIP in active mode Step #4 Use the full power of the UVM– Modify your environment to improve reusability and configurability– Leverage all your code from the previous steps

Structure your teams like your test benches

But let’s put this in context It is not just about building great test benches! What are your signoff metrics?– And how do you track progress?– What are your milestones? What are your coverage scenarios?– What is your process of defining them? How do you measure checker quality? What is your VIP strategy? How do you integrate with formal?

The Importance of a PlanProject ManagerArchitectTracking statusEnsure intent isrealised in designPlan completionVerificationPlanVerification EngineerDesign EngineerCommon statusdocument & buy-inEnsure implementationis in line with icsExecuteSessionsDebugFrom VerificationFutures 201121Reproduced with permission from Dialog Semi

The mechanics of finding a bugStimulatePropagate .0101010101100101 . .0100110111110101 .00010101 . .10011010 .01001101Design Under TestActualResultsExpectedResultsCompareObserve

Why do we need VIPs? Time To Market– Ready-to-integrate models accelerate development Quality– Improve thoroughness of verification using VIP with pre-definedtests, coverage models, assertions, – Demonstrate compliance to a protocol– Licensing (or buying) VIP imports knowledge Reduce costs– Increase re-use Vertical: use VIP at block and SoC level Horizontal: use VIP across multiple chips Industry: External VIP should be cheaper to license (or buy)than make– Does VIP cost less to use than it for you to develop it?

Summary UVM can do the job– Of building constrained random environments But it is not easy to learn or deploy– Plan your ramp– Plan and monitor your adoption It is NOT a silver bullet– Keep it in context UVM is a great step for our industry

Wilson Research Group and Mentor Graphics 2010 Functional Verification Study, Used with permission 4% increase in designers vs. 58% increase in verification engineers s 7.8 8.1 4.8 7.6 0.0 2.0 4.0 6.0 8.0 10.0 12.0 14.0 16.0 18.0 2007- World 2010- World Verification Engineers Design Engineers W

Related Documents:

Test/QA Plan Page 4 of 40 Version 1 Date: 1/08/03 Ensure that all quality procedures specified in the test/QA plan and in the QMP are followed. Prepare the draft test/QA plan, verification reports, and verification statements. Revise the draft test/QA plan, verification reports, and verification statements in response to

new approaches for verification and validation. 1.1. Role of Verification and Validation Verification tests are aimed at "'building the system right," and validation tests are aimed at "building the right system." Thus, verification examines issues such as ensuring that the knowledge in the system is rep-

Design vs. Verification Verification may take up to 70% of total development time of modern systems ! This ratio is ever increasing Some industrial sources show 1:3 head-count ratio between design and verification engineers Verification plays a key role to reduce design time and increase productivity 10 IC Design Flow and Verification

S:\FA\2014-2015\Verification 2014-2015\Forms\V6 HH Resources Dep Verification 14-15.doc Track Code: 5G 02/27/14 1 2014-2015 Household Resources Verification Worksheet Dependent Student Your 2014-2015 Free Application for Federal Student Aid (FAFSA) was selected by the Federal processor for review in a process called verification.

(System-on-Chip). This has made verification the most critical bottleneck in the chip design flow. Roughly 70 to 80 percent of the design cycle is spent in functional verification. [1]System Verilog is a special hardware verification language to be used in function verification. It provides the high-level data structures available

Panel Design Configurator software – export/import user article data 129 Temperature rise verification up to 630 A – solution example 131 Data collection tables 133 Verification of temperature rise up to 630 A 139 Design verification part I 141 Design verification part II 143 Unit test protocol 145 Unit test protocol checklist 147

Understanding the principles of resistance thermometry as they apply to resistance thermometers and thermistors will help you achieve consistent and accurate readings from your temperature sensing instruments. A resistance thermometer consists of a metallic element whose resistance increases with temperature. Their

alimentaire à la quantité de cet additif qui peut être ingérée quotidiennement tout au long d’une vie sans risque pour la santé : elle est donc valable pour l’enfant comme pour l’adulte. Etablie par des scientifiques compétents, la DJA est fondée sur une évaluation des données toxicologiques disponibles. Deux cas se présentent. Soit après des séries d’études, les experts .