The Designer's Guide Community Forum

The Designer's Guide Community Forum
https://designers-guide.org/forum/YaBB.pl
Simulators >> Circuit Simulators >> how to load assert statements from ADE
https://designers-guide.org/forum/YaBB.pl?num=1294248103

Message started by cristiano.azzolini on Jan 5^th, 2011, 9:21am

Title: how to load assert statements from ADE
Post by cristiano.azzolini on Jan 5^th, 2011, 9:21am

Hi all,
I find the Assert statements for Spectre language very useful for many run-time verification on the devices.
The only problem is that... how can I automatically add all my statement in the sim netlist generated by ADE ?

I tried to create a separate file and include that from the Model window but the assertions should be inserted in the netlist footer, not on top.

Any idea is appreciated!
Thanks,
Cristiano

Title: Re: how to load assert statements from ADE
Post by Andrew Beckett on Jan 5^th, 2011, 1:18pm

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.

Title: Re: how to load assert statements from ADE
Post by cristiano.azzolini on Jan 6^th, 2011, 11:34pm

Hi Andrew,
you are right, adding the assert file as a model is ok but I forgot to use a .scs extension in the filename so that I received some errors due to sintax misinterpretation.

Now it works correctly.
Thanks,
Cristiano