Stats

  • Locked Locked
  • Replies 3
  • Subscribers 65
  • Views 5106
  • 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

HAL linting with parameters/generic

lanix

Hi,

I am on the design of a generic IP and as usual I wanted to check my code with HAL but unlike usual, I have a parametrized design, I mean I have a lot of RTL that are include in "if generate" (Verilog) and depending on module parameters values. The issue is that HAL is analysing (as far as I know) only the set of parameter value that I gave to him and not all the possibilities, so I must launch HAL multiple times with all possible values for it to analyse all my RTL.
Is there a way to do that in a better way ?
To be noted that I also have a non-regression test with all the possible values, so if HAL could aggregates multiple simulations (as for IMC that does it for code coverage), it would be great too.

Jeremie

  • Hello Jeremie.

    HAL uses the simulation snapshot compiled by Xcelium, so it will only inspect the parts of the design that were active based on the elaborated parameter values.

    You can run HAL by adding "-hal" to your xrun command that you would use for simulation, so you could in theory run HAL on all your configurations quite easily.

    Note that there isn't a way to "merge" the HAL reports in the tool flow.

    Finally, HAL is a legacy tool now, it was replaced by Jasper SuperLint a while ago, so you might want to consider moving to the new tool.

  • in reply to StephenH

    Thanks for the quick answer. I will stay by running HAL on all configurations, one by one.
    Jasper is under study internally and we should migrate to it shortly.

  • in reply to lanix

    hi Jeremie - I run the Jasper product engineering team and would be interested to hear more about your requirement. You can reach me at my login name at cadence.com. Thanks - Chris

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.