The Cadence Incisive Enterprise Verifier (IEV) team recently developed a self-help training kit - a Rapid Adoption Kit - to help users gain practical experience applying IEV's Coverage Unreachability (UNR) App. The RAK also helps users see the benefits of different approaches, UNR flow with and without initialization. The "Coverage Unreachability UNR App" RAK is now available on Cadence Online Support.
Given an existing simulation environment, assertions are automatically generated from the code coverage holes and formal analysis is used to detect any unreachables. Unreachable code coverage is detected with each approach and results are compared between runs using IMC to locate and view the unreachables. You will also learn how to set up the simulation to collect code coverage and dump a minimal reset waveform for initializing the UNR proof.
The key objective is to familiarize the user with the flow, by running:
1. Simulation to generate the coverage database (and optional waveform for formal analysis initialization)
2. Formal analysis on the simulation code coverage to detect the unreachables and generate an unreachables database with two setups: basic uninitialized and initialized
3. IMC to merge the generated unreachables database into the original simulation database and load the merged database to view and accept the unreachables
Normal 0 false false false EN-US X-NONE HI
http://support.cadence.com/raks -> SOC and IP level Functional Verification
Overview | Application Note(s) | RAK Database | |
Coverage Unreachability (UNR) App |
We are also covering following technologies through our RAKs at this moment:
Synthesis, Test and Verification flow
Encounter Digital Implementation (EDI)
System and Sign-off Flow
Virtuoso Custom IC and Sign-off Flow
Silicon-Package-Board Design
Verification IP
SOC and IP level Functional
Verification
System level verification and
validation with Palladium XP
Please keep visiting http://support.cadence.com/raks to download your copy of RAK.
We will continue to provide self-help content on Cadence Online Support, your 24/7 partner for getting help in resolving issues related to Cadence software or learning Cadence tools and technologies. If you are signed up for e-mail notifications, you've likely to notice new solutions, Application Notes (Technical Papers), Videos, Manuals, etc.
Note: To access above docs, click a link and use your Cadence credentials to logon to the Cadence Online Support http://support.cadence.com website.
Happy Learning!
Sumeet Aggarwal
/* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin-top:0in; mso-para-margin-right:0in; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0in; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; mso-bidi-font-size:10.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:Mangal; mso-bidi-theme-font:minor-bidi;}