Stats

  • Locked Locked
  • Replies 8
  • Subscribers 38
  • Views 18612
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Coverage points for check that statements

archive

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

  • 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

  • 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

  • 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
    shr_chkcov_1.0.tar.gz

  • 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

  • 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

  • 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

  • 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
    shr_chkcov_1.1.tar

  • 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
    shr_chkcov_1.2.tar.gz

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.