Andrew Beckett
Senior Fellow
![* *](https://designers-guide.org/forum/Templates/Forum/default/starsilver.gif) ![* *](https://designers-guide.org/forum/Templates/Forum/default/starsilver.gif) ![* *](https://designers-guide.org/forum/Templates/Forum/default/starsilver.gif) ![* *](https://designers-guide.org/forum/Templates/Forum/default/starsilver.gif) ![* *](https://designers-guide.org/forum/Templates/Forum/default/starsilver.gif)
Offline
![](https://designers-guide.org/forum/avatars/elmerfudd.gif)
Life, don't talk to me about Life...
Posts: 1742
Bracknell, UK
|
Hi Christiano,
Why do the assert statements need to be included at the bottom? There should be no problem with including them at the top - spectre shouldn't care. So doing it via the model libraries form should be fine. Many customers have them as part of their model definitions, so I see no reason why this shouldn't work.
There's also the Device Check UI, but to be honest that's more for design-specific assertions (and actually I find it easier to write the spectre syntax than use the form for things like this).
Best Regards,
Andrew.
|