Home > Community > Blogs > Functional Verification > coverage unreachability unr app rapid adoption kit
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Coverage Unreachability UNR App - Rapid Adoption Kit

Comments(0)Filed under: Incisive Enterprise Simulator (IES), IEV, coverage, formal verification, RAK, UNR, Unreachability

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



http://support.cadence.com/raks -> SOC and IP level Functional Verification

Rapid Adoption Kit Name


Application Note(s)

RAK Database

Coverage Unreachability (UNR) App


Lab Instructions

Download (2.6 MB)

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


Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.