Home > Community > Tags > Newbie
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Cadence 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: *


  • IMC Exclusion Problem

    Hey all, I am using IMC for my coverage .The problem is the tool automaticaly excludes some block coverage or expressions from the coverage.It shows "Exclusion Rule type : simulation time".Can someone explain what does Exclusion Rule typr mean and how do I remove it so that I can cover all...
    Posted to Functional Verification (Forum) by Enginerd on Sun, Feb 10 2013
  • Re: Questions about IFV - PLS Help! - New to IFV

    Hi Alexlop, You might want to get in touch with your Cadence support person for some IFV help. IFV has good support and they should help you get started on your formal verfication adventure. As far as your question goes - it looks like you are trying to shape a specific input stimulus through assumptions...
    Posted to Functional Verification (Forum) by FormalGuy on Thu, Nov 20 2008
Page 1 of 1 (2 items)