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.