Device checking output in Spectre

Hi all,

I've got a model file .scs where I've set all rules for checking the maximum voltage across each terminal of my transistors. For example, each line is like the following:

Assert_name assert sub=my_sub mod=my_mod expr=my_expr message=my_message level=warning 

Then, in ADEL I include this file in model libraries and device checking is performed when I run simualtions. To output the results, I've found

Simulatiion->options->analog->check,

where I set dochecklimit=yes, and I specify the file where I want the report to be saved in checklimitdest. 

Next are my questions:

- When I open the output file, it just displays different violations reporting the instance and the type of violation. Is It possible to have a more readable report that lists, for example, instance, violation, intant of time when violation occured, duration, and magnitude of violation? 

-in some technoligies I've noticed that the simulator displays warning messages in the CIW because it simply reads some maximum ratings in the model files of transistors (so, a file containing different asserts is not needed here). May I know how Spectre knows how to output these warning without any assert?

Hope it's all clear (unfortuantely, cannot report technolgies that are bring used).

Thank you in advance. 

Nicola