• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Community Forums
  2. Custom IC Design
  3. assert warning indicating discontinuation of MDL assert...

Stats

  • Locked Locked
  • Replies 1
  • Subscribers 125
  • Views 6842
  • 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

assert warning indicating discontinuation of MDL assert evaluator

Zol
Zol over 2 years ago

Hi everybody,

I have defined an assert checking the voltage on a given node as shown below:

sla1 assert expr="V(DUT.node\<1\>)" min=-0.25 max=0.25 check_windows=[80u 9999] level=error anal_types=[tran]

Spectre gave me the following warning:

WARNING (SPECTRE-17003): Assert `sla1' contains an expression that needs to be evaluated by MDL. Using this assert frequently may lead to performance issues because the MDL evaluator is slower than the native assert evaluator. Support for evaluating assert expressions using MDL will be discontinued in future releases.

I was not able to find anything about the native assert evaluator in the Spectre User Guide or in the Spectre Reference. Could somebody give me a few keywords and the name of the doc, where it is described? I would future proof the assert implementation and I would be happy if the simulation time would not increase for a voltage range check.

I use Spectre Version 20.1.0.348.isr10.

Best,
Zoltan

  • Cancel
  • Andrew Beckett
    Andrew Beckett over 2 years ago

    Zoltan,

    I don't see that message when I use your assert in an example I just tried (with the same version of Spectre). The idea is that we are gradually replacing the evaluation of various expressions in MDL with a native handler that doesn't require MDL to be used, and this is faster. There's no change of syntax as we do this - it's just a note to indicate that slower assertions may be in use (particularly helpful when we're looking at performance issues).

    In this case because it's a simple V() check, I think it should also work (from my tests too) if you change to:

    sla1 assert param=V(DUT.node\<1\>) min=-0.25 max=0.25 check_windows=[80u 9999] level=error anal_types=[tran]

    Regards,

    Andrew

    • Cancel
    • Vote Up +1 Vote Down
    • Cancel

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.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information