Home > Community > Forums > Functional Verification Shared Code > Coverage points for check that statements

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

 Coverage points for check that statements 

Last post Mon, Mar 31 2008 3:29 AM by archive. 8 replies.
Started by archive 07 Dec 2006 02:01 AM. Topic has 8 replies and 10931 views
Page 1 of 1 (9 items)
Sort Posts:
  • Thu, Dec 7 2006 2:01 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    Coverage points for check that statements Reply

    Hi!

    I heard that there was the plan to include some code for turning all "check that" statements into coverage points in SN 5 but I can't find it in the docu.
    Has this been included yet ?
    Or can somebody provide the patch code for this feature ?

    Regards
    Christian


    Originally posted in cdnusers.org by christianb
    • Post Points: 5
  • Thu, Dec 7 2006 2:47 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello Christian,

    we have a package which contains this functionality. It was developed by an AE (ex-R&D) and relied to some degree on internal Specman functionality. Therefore the package only works with the Specman 4.3x versions. We are currently working on a general coverage solution which will also include this coverage. Before this will be available, we will provide a new version of the original package in Specman 6.1 (planned to be released in April 2007).

    Regards,
    -hannes


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
  • Wed, Mar 21 2007 4:17 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello All,

    please find attached an updated version of an old shareware which covers temporal checks ("expect") and instant checks ("check that"). This works for Specman 6.0 onwards.

    Please make sure to read the documentation, especially the limitations. The shareware is a temporary solution and we have plans to provide detailed assertion and checker coverage.

    Regards,
    -Specman Product Engineering


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
  • Fri, Jul 6 2007 8:15 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello All,

    apparently there were some issues with unpacking of the attached shareware.
    This is the same version, just re-submitted.

    Regards,
    -hannes


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
  • Tue, Nov 27 2007 5:06 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hi Hannes,

    Have there been any updates to the assertion and checker coverage package? Can we expect such functionality to be part of a specman release, and if so, when?


    Originally posted in cdnusers.org by iraklis
    • Post Points: 0
  • Tue, Nov 27 2007 5:23 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello Iraklis,

    this is part of the 2008 plans, in conjunction with an overall focus on assertions in our plan driven verification flow. We are currently in the analysis/budgeting phase, so I currently can not comment on whether this will be in the first or second half of 2008.

    Regards,
    -hannes


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
  • Tue, Nov 27 2007 5:49 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Thank you for the update Hannes, I will be looking forward to those features once they are released.

    Best Regards,


    Originally posted in cdnusers.org by iraklis
    • Post Points: 0
  • Mon, Dec 3 2007 8:50 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello All,

    we found an issue last week with using this package with the AHB eVC.
    R&D kindly fixed the issue straight away, so the attached new version works
    with the AHB UVC version 2.3.

    -hannes


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
  • Mon, Mar 31 2008 3:29 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,910
    RE: Coverage points for check that statements Reply

    Hello All,

    we found another issue last week and R&D kindly fixed the issue straight away.
    Please find attached a new version (this has been tested with 6.2).

    Also, in SPMN8.1 Specman will natively support collection of check/expect results
    (checked, finished and failed counters for each check/expect). Have a look in the
    release notes for more details (SPMN 8.1 is planned to be released end of May-08)

    Regards,
    -hannes


    Originally posted in cdnusers.org by hannes
    • Post Points: 0
Page 1 of 1 (9 items)
Sort Posts:
Started by archive at 07 Dec 2006 02:01 AM. Topic has 8 replies.