Home > Community > Forums > Functional Verification > SOC connectivity checks

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

 SOC connectivity checks 

Last post Mon, Jun 24 2013 3:16 AM by Buvna. 1 replies.
Started by Buvna 10 Jun 2013 04:48 AM. Topic has 1 replies and 490 views
Page 1 of 1 (2 items)
Sort Posts:
  • Mon, Jun 10 2013 4:48 AM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    SOC connectivity checks Reply

    Hey,

     I entered connectivity information onto an xls and generated assertions on IFV. These take a very long time to run. If I write similar assertions myself, it runs faster. The only difference between them is mine have @ and is checked only during transitions.

    Example:

    Generated by IFV :

    Assertion_0 : assert property (

    (A && B) |-> (C === D);

    Written by me:

    property  assert_0;
        @(`A)
        (A && B) |-> (C===D);
     endproperty
    Assertion_0:  assert property (assert_0);

    Why is this so? Can I improve the run time for automatically generated assertions?

    Filed under:
    • Post Points: 5
  • Mon, Jun 24 2013 3:16 AM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    Re: SOC connectivity checks Reply
    The problem was resolved by including cut points.
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by Buvna at 10 Jun 2013 04:48 AM. Topic has 1 replies.