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

Register | Membership benefits

Email

* 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: *

 Community Search 

Page 1 of 1 (9 items)
  • Re: which all signals need to be initialized in a module
    BharathECE, This is not a formal only question.  What does the designer or spec say about resetting the design?  If you are running simulation you have the same concerns. To initialize the design in IEV, use the tcl force commands to drive the reset signals to their appropriate values and then use the run command to run the ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Mon, Jun 17 2013
  • Re: IFV Support
    Priya, Looks like the version of SUSE you are running may be the issue.  You are running SUSE version 12 and only versions 10 and 11 are supported.  Can you login into a machine with SUSE 10 or 11 installed?  You can browse the supported hardware and operating system support matrix for INCISIVE 12.1 ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Mon, Jun 17 2013
  • Re: IFV Support
    Priya, From the message I gather you are running SUSE Linux distribution.  IFV is only supported on SUSE 10 and 11 on a 64 bit Intel platform.  Are you running SUSE 10 or 11?  Are you running on a 64 bit Intel platform? If you meet these requirements and are still getting this error then contact customer support at ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Mon, Jun 17 2013
  • Re: RE: Troubleshooting IFV
    Jayanand  The answer is in the output you appended.  As you can see the IUS path is first.  You need to put the IFV path first or have it be the only tool in your path.  Once you correct this, run ifv_check again to ensure your system is supported.  I believe IFV 6.1 was not supported on Redhat 5.  You will need to ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Wed, Oct 29 2008
  • Re: Troubleshooting IFV
    I quickly confirmed that the tutorial runs fine for me.  Let's see the report from ifv_check. Jose
    Posted to Functional Verification (Forum) by CrazyForFormal on Wed, Oct 29 2008
  • Re: Troubleshooting IFV
    Jayanand Can you share the platform and version of OS you are running on?  I want to make sure you are running on a supported OS first. You can also run "ifv_check".  This utility will check to ensure you are on a supported platform.  You are looking for an overall Pass from this untility.  Regards, Jose
    Posted to Functional Verification (Forum) by CrazyForFormal on Wed, Oct 29 2008
  • Re: SAT engine
    I should have mentioned this in my previous post.  If you are interested in some service contact your local Cadence AE.  But I think you will be pleasantly surprised to see how easy it is to run yourself.  I run my analysis on existing machines that run simulations and I get very good response times.
    Posted to Functional Verification (Forum) by CrazyForFormal on Thu, Jul 31 2008
  • Re: SAT engine
    Hi  SAT is only one type of engine available in IFV. There are many more available and they can be run in parralllel in order to prove assertions.  That said, you do not worry about guessing at proof depths, you just give it an upper time bound to work on each assertion and let the tool worry about the details.  It is not as ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Thu, Jul 31 2008
  • Re: SAT engine
    Can you clarify what you mean by "SAT instances"?  In general, formal analysis works very well to verify control logic on small blocks.  Small blocks are relative as recent gains in capacity and performance has allowed larger designs to be consumed and achieve conclusive proofs on the logic.  The limiting factor is ...
    Posted to Functional Verification (Forum) by CrazyForFormal on Thu, Jul 31 2008
Page 1 of 1 (9 items)