Home > Community > Forums > Functional Verification > NCSIM SV constraint Fatal error

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

 NCSIM SV constraint Fatal error 

Last post Sun, May 27 2007 10:38 PM by archive. 3 replies.
Started by archive 27 May 2007 10:38 PM. Topic has 3 replies and 1611 views
Page 1 of 1 (4 items)
Sort Posts:
  • Sun, May 27 2007 10:38 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    NCSIM SV constraint Fatal error Reply

    Hi Cadence,

     

    I have written a case about constraint.

    Class A (Sequence have some command) composite Class B(command).

    And Class A and Class B have some constraints.


    ncsim: rnc_bool.h:110: rnc_bdd_node& rnc_bool_node::get_bdd_node(): Assertion `_bdd_node_valid' failed.

    ncsim: *F,INTERR: INTERNAL ERROR

    Observed simulation time : 25 NS + 0

    -----------------------------------------------------------------

    The tool has encountered an unexpected condition and must exit.

    Contact Cadence Design Systems customer support about this

    problem and provide enough information to help us reproduce it,

    including the logfile that contains this error message.

      TOOL: ncsim   06.10-p001

      HOSTNAME: shpc024

      OPERATING SYSTEM: Linux 2.4.21-32.ELsmp #1 SMP Fri Apr 15 21:17:59 EDT 2005 i686

      MESSAGE: Unexpected signal #6, program terminated (null)

    -----------------------------------------------------------------

    Best regards,
    Davy


    Originally posted in cdnusers.org by davyzhu
    • Post Points: 0
  • Sun, May 27 2007 10:43 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: NCSIM SV constraint Fatal error Reply

    Another fatal error,
    I guess all the fatal errors are caused by constraint solver.


    Error:
    terminate called after throwing an instance of 'std::bad_alloc'
    what(): St9bad_alloc
    ncsim: *F,INTERR: INTERNAL ERROR
    Observed simulation time : 25 NS + 0
    -----------------------------------------------------------------
    The tool has encountered an unexpected condition and must exit.
    Contact Cadence Design Systems customer support about this
    problem and provide enough information to help us reproduce it,
    including the logfile that contains this error message.
    TOOL: ncsim 06.10-p001
    HOSTNAME: shpc024
    OPERATING SYSTEM: Linux 2.4.21-32.ELsmp #1 SMP Fri Apr 15 21:17:59 EDT 2005 i686
    MESSAGE: Unexpected signal #6, program terminated (null)
    -----------------------------------------------------------------


    Best regards,
    Davy


    Originally posted in cdnusers.org by davyzhu
    • Post Points: 0
  • Wed, Jun 6 2007 2:16 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: NCSIM SV constraint Fatal error Reply

    Hi

     Even we face the same .Can somebody give guidelines in making constraint .sometimes randomize function takes 10 minutes to find solutions

    Thanks

     

    Prabhu,G


    Originally posted in cdnusers.org by prabhu_G
    • Post Points: 0
  • Wed, Jun 6 2007 6:36 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: NCSIM SV constraint Fatal error Reply

    Hi Prabhu,

    I guess you may use some layers of implication -> to accelerate the constraint solver.
    Anyone have some constraint trick to share?

    Best regards,
    Davy


    Originally posted in cdnusers.org by davyzhu
    • Post Points: 0
Page 1 of 1 (4 items)
Sort Posts:
Started by archive at 27 May 2007 10:38 PM. Topic has 3 replies.