verdi3 automated debug platformverdi3_datasheet.pdf• compact format reduces file size by more ......
TRANSCRIPT
www.springsoft.com
FUNCTIONAL CLOSURE SOLUTIONS
Faster, smaller and more efficient infrastructure:• Multi-threadeddatabaseboostsperformance
bymorethan45%
• Compactformatreducesfilesizebymorethan30%
• Parallelsimulationdumpingfor30%productivitygain
Flexible graphical user interface for personalization:• Fastaccesstosourcefiles,videosand
user-defineddocuments
• Personalizewindowlayouttofityourdebugneeds
• Differentworkingmodesfordifferentdebugpurposes
• Centralizedspotlighttosearchcommands,preferencesanddocuments
Verdi3™ AutomatedDebug Platform
SpringSoft’s Verdi3™ software is an
open platform for debugging digital
designs with powerful technology
that helps you:
• Comprehend complex and unfamiliar
design behavior
• Automate difficult and tedious
debug processes
• Unify diverse and complicated
design environments
Third Generation Debug PlatformTheVerdi3generationplatformbuildsonthesecorevalueswithunprecedentedpersonalization,customizationandinteroperabilitytomaximizeyourdebugproductivity.Youcanspeeddebugofyourlarge,complexdesigns,tailorthedebugenvironmentforthewayyouwork,anddirectlyintegratecustomandthird-partyprogramsintoyourflows.
Verdi3™ AutomatedDebug Platform
FUNCTIONAL CLOSURE SOLUTIONS
www.springsoft.com
Core Features
TheVerdi3platformprovidesyouwithfundamentaldebugfeatures:
• �Full-featured�Waveform�Viewertodisplayandanalyzeactivityovertime
• �High�performance�Fast�Signal�Database�(FSDB)�5.0�formatwithmulti-threadedtechnologyforaccesstoFSDBdatatwotimesfasterthanpreviousversion
• �Powerful�Waveform�Comparison�EnginetoquicklyisolatedifferencesbetweenFSDBfiles
• �Source�Code�Browsertoeasilytraversebetweensourcecodeandhierarchy
• �Flexible�schematicsandblockdiagramsthatdisplaylogicandconnectivityusingfamiliarsymbols
• �Intuitive�bubble�diagramsthatrevealtheoperationoffinitestatemachines
Advanced Features
TheVerdi3platformalsoenablesyoutoperformadvanceddebugoperations:
• �Automatic�tracing�of�signal�activityacrossmanyclockcycleswithpowerfulbehavioranalysisengine
• �Temporal�flow�viewsprovideacombineddisplayoftimeandstructuretohelpyourapidlyunderstandcause-and-effectrelationships
• �Transaction-based�debugwithflexibletransactionandmessagesupporttodesigndebugandanalysisathigherlevelsofabstraction
• �Assertion-based�debugwithbuilt-insupportforassertionsfacilitatesquicktraversalfromassertionfailuretorelateddesignactivity
• �SystemVerilog�testbench�debugwith:
>Specializedviewsoftestbenchcode,includingdeclaration-basedhierarchybrowsingandnavigation,classinheritanceandrelationshipcomprehension,andtracingcapabilities
>Messageloggingcapability,coupledwithadvancedvisualizationtechniques,forcompletepictureoftestbenchactivityandverificationenvironment
>Full-featuredinteractivesimulationcontroltostepthroughcomplextestbenchcodeformoredetailedanalysis
Seamless VIA integration for customized flows:
• RicharrayofVIAprogramstotailorVerdi3deploymentforuserflows
• Customizablemenu/toolbarsenableVIAfunctionsinVerdi3userinterface
• DirectlaunchofVIA-enabledthird-partytools/scriptsfromdebugenvironment
Cut Debug Time in HalfTheVerdi3debugplatformletsyoufocusontasksthataddmorevaluetoyourdesignsbycuttingyourdebugtime,typicallybyover50%,withdebugautomationtechnologythat:
• Automatesbehaviortracingandanalysis
• Extracts,isolates,anddisplayspertinentlogicinflexibledesignviews
• Revealsoperationandinteractionbetweendesign,powerintent,assertionsandtestbench
Complete Debug EnvironmentTheVerdi3AutomatedDebugPlatformbringstogetheralloftheadvancedtechnologyandcapabilitiesyouneedtodebugwithsupportforthebroadrangeoflanguagesandmethodologiesusedtodesignandverifycomplexICsandSoCs.
Users�can�personalize�the�layout�and�debug�modes��
of�Verdi3�environment.
Verdi3™ AutomatedDebug Platform
FUNCTIONAL CLOSURE SOLUTIONS
www.springsoft.com
Personalized Graphical User Interface
TheVerdi3platformprovidesQt-basedGUIandflexibleusagemodelswith:
• �Welcome�Pageforaccesstoinformationanddebugmodes
>Releasenotes,applicationnotesandcommandreferencedocuments
>Pre-definedmodesfordifferentdebugtasks,suchashardwaredebug,testbenchdebug,power-awareandpropertydebug
>Savedsessionswithscreenshotsandtextnotestorestore/continuework
>Trainingvideosthatdemonstratehowtousekeyfeatures
>Customizableuserlinksforsharingdocumentsandwebpage
• �Window�management�systemtopersonalizelayoutofdebugenvironment
>Allcomponentscanbedockedorundockedfrommajorwindow
>MajormoduleslikenWave,nSchemaandTFVcanbeconfiguredasstandalonewindow
>One-clickaccesstomultiplesourcefileswithinsinglewindow
>Customizabletoolbar,menuandhotkeysfornaturalfitwithdebugtasks
• �Spotlight�Searchforfast,efficientnavigationofcommands,manualsandpreferencesettings
Broad Language and Methodology Support
TheVerdi3platformenablesdebugof:
• DesigncomponentsdescribedinVerilog,VHDL,andSystemVerilog
• AutomatedtestbenchenvironmentsusingSystemVerilogTestbench(SVTB)
• AssertionsusingSystemVerilogAssertions(SVA)
Open Architecture and Unified MethodologyTheVerdi3platformisdesignedsothatyoucantakefulladvantageofyourverificationanddebugmethodology.ThesystemisbuiltonSpringSoft’sopenDesignKnowledgeArchitectureforcompiling,extractingandpreservingrelevantinformationintodatabasesthatareoptimizedforefficientdebug.Itoperatesconsistentlyacrossmultipledomains—verificationtools,design/verificationlanguages,andabstractions—tounifyyourdebugprocess,reducelearningcurvesandsavetimeasyoumovetonewdesignprojects.
Design Knowledge Architecture• �Knowledge�Engine�Compilersextractdesign
knowledgecontainedinHDLcode,testbenches,andassertions
• �Knowledge�Database�(KDB)storescrucialdesignknowledgetofacilitatedebugandunderstandingofyourdesign
• �Fast�Signal�Database�(FSDB)capturesandstoresresultsfromsimulators,emulators,andformaltoolsthatproducetime/valuesequences
• Application�Programming�Interfaces�(APIs)provideopenaccesstobothdatabasesandcommand-and-controlmechanisms,enablingyoutoeasilyintegratetheVerdi3systemwithotherverificationtoolsanddesignenvironments
Verdi3�users�can�quickly�access�and�traverse�
multiple�source�files�in�a�single�window.
Verdi3™ AutomatedDebug Platform
FUNCTIONAL CLOSURE SOLUTIONS
www.springsoft.com
Interoperability and Customization TheopenarchitectureandinteroperabilityoftheVerdi3platformalsoenablesyoutoleverageyourinvestmentwithintegrationofothercommercialandproprietaryverificationtools.Itscontinuouslyexpandingecosystemprovidesout-of-the-boxsupportforawiderangeofcommonlyusedtools,including:
• Simulators
• Emulatorsandaccelerators
• Modelcheckersandotherformalanalysisengines
YoucanfurthermaximizetheeffectivenessofyourVerdi3deploymentwithcustomautomationprogramsthatleveragethepowerofitsunderlyingdesignknowledgeinfrastructurefordataminingandmanipulationapplications.SeamlessintegrationwithSpringSoft’sVIA(VerdiInteroperabilityApps)platformprovideseverythingyouneedtoquicklycreateandintegrateOpenSourcescripts/utilitieswiththeVerdi3softwarethataredesignedtoworkreliablyinyourflow.
Debug and Analysis Across Multiple Abstraction Levels
TheVerdi3platformallowsyoutoseamlesslydebugthroughoutyoursystem-leveltogate-levelmethodologyflow.ItprovidesadditionalsupportforverificationandanalysisattheimplementationlevelwiththeAnalyzerDesignImplementationAnalysismodule,asingleenvironmentforanalyzingtroublesomedesignerrorsrelatedtoclocks,clocktrees,andtiming.
Debug of Power-Aware Design Intent
TheVerdi3Power-AwareDebugModuleacceleratescomprehensionofpowerintentandautomatestheprocessofvisualizing,tracing,andanalyzingthesourceofpower-relatederrors.Itsimplifiestheveri-ficationoflow-powerSoCdesignswithautomationtechnologiesthathelpyou:
• �VisualizepowerintentwithUPF/CPF
• �ComprehendimpactofpowerintentonHDLdesign
• �Automatedebugtodeterminewhetherunexpecteddesignbehavioriscausedbyfunctionallogicorpower-relatederrors
Debug�and�Analysis�Across�Multiple��
Abstraction�Levels
The Verdi3 Automated Debug Platform Saves You TimeSpringSoft’saward-winningdebugsoftwarecutsyourdebugtimeinhalfbyautomatingtheprocessofcomprehendinghowcomplexdesignsworkandenablingyoutopersonalizeandcustomizeyourdebugenvironment.Withover400customersand60EDApartners,ithasbecometheindustry’sdefactostandarddebugplatformandthecornerstoneofourfamilyoffunctionalclosureproductsthatmakeiteasiertodomoreverificationinlesstime.
Verdi3™ AutomatedDebug Platform
FUNCTIONAL CLOSURE SOLUTIONS
United StatesSpringSoftUSA(Headquarters)1732 North First Street Suite 200 San Jose, CA 95112Tel: (408) 467-7888Fax: (408) 467-7889www.springsoft.com
TaiwanSpringSoftTaiwan(Headquarters)No. 25, Industry East Road IV, Science-Based Industrial Park, Hsinchu 300, Taiwan, R.O.C.Tel: +886 (3) 579-4567Fax: +886 (3) 579-9000www.springsoft.com/ch/
Europe & IsraelSpringSoftInc.EuropeOfficeSpringSoftDesignAutomationLtdSynegis House21 Crockhamwell RoadWoodley, Reading RG5 3LE UKPhone/Fax: +44(0)11890 76389www.springsoft.com
South East AsiaWaizPteLtd23 Springleaf View Singapore 787928Tel: +65-64515217Fax: +65-64515217www.waiz.info/
JapanSpringSoftK.K.,Inc.BENEX S-3 8F3-20-8 Shinyokohama, Kohoku-ku, Yokohama 222 0033 JapanTel: +81 (45) 470-8890Fax: +81 (45) 470-8891www.springsoft.com/jp/
KoreaKitecDesignTechnologyCo.,Ltd,SinDo Bldg 2FL, 10, Garak-Dong, Songpa-Gu,Seoul, Korea, 138-800Tel: +82 (2) 2140-5500Fax: +82 (2) 2140-5555www.ktdesign.co.kr/
China / Hong KongSpringSoftCo.,Ltd.(Shanghai)Room A, 5FL, 398 Tianlin Rd., Shanghai, 200233 ChinaTel: +86-21-54902090Fax: +86-21-54902093www.springsoft.com/sch/
IndiaCMRDesignAutomationP.Ltd,Bangalore178/2, 1st Main 1st Cross, AECS LayoutKundalhalli, Bangalore 560037Tel: +91 80 41153840, 41269906Fax: +91 80 41153840www.cmrda.com/
CMRDesignAutomationP.Ltd,DelhiE-534, Greater Kailash - II, New Delhi, PIN:- 110048 IndiaTel: +91-11-6477085/8637128Fax: +91-11-6213498
© 2012 SpringSoft, Inc. and SpringSoft USA, Inc. All rights reserved. Verdi™ is a registered trademark of SpringSoft in the United States and/or other countries.All other trademarks are the property of their respective holders.
SpringSoft Offices