Home > Community > Tags > Incisive Software Extensions _2800_ISX_2900_
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: *

Incisive Software Extensions (ISX)

  • Engineering Fix

    Hi I have been given an Engineering fix for a problem in formal tool. The IT suppor has installed it but I am not sure how to use it. Usually the tool is used by seting SOCV_KIT_HOME and sourcing env.csh But I am not finding any such file at the folder kits/VerificationKit I will be thankful if someone...
    Posted to Functional Verification (Forum) by Avni on Mon, Mar 4 2013
  • Re: Directed vs Random Testing

    Hi Mike, I wrote a blog post that is related to the questions you are asking. As Giles mentioned ISX is bringing additional automation, control, randomization, and coverage as a way to improve traditional directed tests. Take a look, feedback is always welcome. Jason
    Posted to Functional Verification (Forum) by jasona on Tue, Jul 29 2008
Page 1 of 1 (2 items)