Stats

  • Locked Locked
  • Replies 2
  • Subscribers 143
  • Views 1619
  • 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

How to fetch the "pass/near/fail" state from other expressions?

fatcat1206

Hi All

I'd like to know where there is a function to fetch the "pass/near/fail" status for other expressions in the same run.

Currently, I have a setup like

expr1    spec1

expr2   spec2

expr3   spec3

And then I want to have the fourth expression to give me the summary, it has "pass" status when expr1~3 are all passed.

simply like the "pass/fail" results in a corner sweep for a signal expression.

Best Regards

Yi

Parents

  • Hi Andrew

    Thank you very much for the help.

    I feel this feature will be really helpful when building up outputs to cover requirement.

    Most of the time, the requirements are quite general, such as:

    check all the outputs from a current mirror, they should be with in a range of integer multiply of [a, b]

    And then in the implementation, every output need to be checked with two expression, one for minimum and another for maximum.

    With this feature, I can write a expression to have the summary of each individual checkers, and mapped this one to the requirement.

    Although currently I can write something like "if(a<expr1 && expr1<b && 2*a<expr2 && expr2<2*b,0,1)" to generate the summary.

    P.S "0" represents "pass", "1" represents "fail"

    The main drawback is that the spec is hard coded in the expression. When the spec changes, the summary expression cannot be updated automatically.

    This introduce quite some work to maintaining the test bench, and can easily introduce human error.

    I am looking forward to see this enhancement. And believe the ADE Verifier can benefit from it.

    Best Regards

    Yi

Reply

  • Hi Andrew

    Thank you very much for the help.

    I feel this feature will be really helpful when building up outputs to cover requirement.

    Most of the time, the requirements are quite general, such as:

    check all the outputs from a current mirror, they should be with in a range of integer multiply of [a, b]

    And then in the implementation, every output need to be checked with two expression, one for minimum and another for maximum.

    With this feature, I can write a expression to have the summary of each individual checkers, and mapped this one to the requirement.

    Although currently I can write something like "if(a<expr1 && expr1<b && 2*a<expr2 && expr2<2*b,0,1)" to generate the summary.

    P.S "0" represents "pass", "1" represents "fail"

    The main drawback is that the spec is hard coded in the expression. When the spec changes, the summary expression cannot be updated automatically.

    This introduce quite some work to maintaining the test bench, and can easily introduce human error.

    I am looking forward to see this enhancement. And believe the ADE Verifier can benefit from it.

    Best Regards

    Yi

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.