Home > Community > Forums > Functional Verification > how to reduce explored

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

 how to reduce explored 

Last post Thu, Jun 27 2013 9:41 PM by Buvna. 4 replies.
Started by BharathECE 21 May 2013 10:36 PM. Topic has 4 replies and 728 views
Page 1 of 1 (5 items)
Sort Posts:
  • Tue, May 21 2013 10:36 PM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    how to reduce explored Reply

    Hi,

    I am using IFV for formal property checking and i have some of the assertions/Property explored.How to make them either pass/fail.

    Thanks

    Bharath 

    • Post Points: 35
  • Wed, May 22 2013 12:01 AM

    • JoergM
    • Top 500 Contributor
    • Joined on Thu, Jul 17 2008
    • Munich, Bavaria
    • Posts 28
    • Points 550
    Re: how to reduce explored Reply

    Hi Barath,

    I attach an app note that summarizes tool options to improve results. This can not replace review and optimization of your property and environment. If you need more help please contact your local Cadence AE.

    Regards,
    Joerg.

    Filed under:
    • Post Points: 5
  • Tue, Jun 4 2013 4:08 AM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    Re: how to reduce explored Reply

    Explored is when the time isnt sufficient for the tool and it runs for however long it can. In that time it couldnt find any counter examples. Prove command usually doesn't give explored, just pass/fail.

    • Post Points: 20
  • Mon, Jun 10 2013 10:15 PM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    Re: how to reduce explored Reply

    This explored assertions got pass/failed when i increase effort.It was explained clearly in the document shared by someone for this question.

     

    Thanks

    Bharath 

    • Post Points: 20
  • Thu, Jun 27 2013 9:41 PM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    Re: how to reduce explored Reply

    But sometimes these explored assertions changed to block on increasing the effort.

    I think cutpoints are the solution to this. Has anyone overcome this situation? 

    • Post Points: 5
Page 1 of 1 (5 items)
Sort Posts:
Started by BharathECE at 21 May 2013 10:36 PM. Topic has 4 replies.