Stats

  • Locked Locked
  • Replies 19
  • Subscribers 65
  • Views 20401
  • 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

Verification Plan using Eplanner

Manish Verma

 Hi....

 

Can anybody explain me How to map checkers(check that statement) into vplan using eplanner?

 

Thanks! 

Parents
  • Hi Manish,

    The easiest way is to define this in the SPECMAN_PRE_COMMANDS since the idea is the have this config before any e is loaded.

    I would have in my run script something like:

    #!/bin/sh

    SPECMAN_PRE_COMMANDS=”conf cover –collect_checks_expects=TRUE”;

    Export $SPECMAN_PRE_COMMANDS

    Specman –c “load $WORKAREA/my_test.e; conf cover –database_format=ucd –write_model=ucm; test”;

    Hope this helps!

    Ilana.
Reply
  • Hi Manish,

    The easiest way is to define this in the SPECMAN_PRE_COMMANDS since the idea is the have this config before any e is loaded.

    I would have in my run script something like:

    #!/bin/sh

    SPECMAN_PRE_COMMANDS=”conf cover –collect_checks_expects=TRUE”;

    Export $SPECMAN_PRE_COMMANDS

    Specman –c “load $WORKAREA/my_test.e; conf cover –database_format=ucd –write_model=ucm; test”;

    Hope this helps!

    Ilana.
Children
No Data

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.