Guest
Hello everyone,
My question is (yet again
about assertions using the Accellera OVL.
Please refer to one of my earlier posts at:
http://groups.google.com/group/comp.lang.verilog/browse_thread/thread/de4cbecb7d39cf6b/67fa44eb8d7e5a91?q=assert_always&rnum=2#67fa44eb8d7e5a91
In this example, inside the Assertion Block, the assert_always
assertion has been supplied with the parameters such as `OVL_ASSERT,
`OVL_ERROR etc.
I tried to play around with these parameters and changed their values
(the available options in place of OVL_ERROR are OVL_FATAL, OVL_WARNING
and OVL_INFO).
Except for the OVL_FATAL parameter, all of them produce the same output
results. But, in case of the OVL_FATAL parameter, only a single error
is thrown at the very first violation of the specified condition and
after that, reporting stops (although there *are* errors happening
after the first one).
What I want to know is, what do these parameters mean, and how are they
actually meant to be used. For the OVL, I am referring to the Accellera
Standard OVL V1 Library Reference Manual Version 1.6 (Mar 17, '06
release). The purpose of these parameters is discussed very briefly on
page 11 of this document, but it does not give much insight into the
usage of the parameters.
Any answers to these questions will greatly help me in my understanding
of assertion based verification.
Thanks in advance and have a great day !!!
Amit.
My question is (yet again
about assertions using the Accellera OVL.Please refer to one of my earlier posts at:
http://groups.google.com/group/comp.lang.verilog/browse_thread/thread/de4cbecb7d39cf6b/67fa44eb8d7e5a91?q=assert_always&rnum=2#67fa44eb8d7e5a91
In this example, inside the Assertion Block, the assert_always
assertion has been supplied with the parameters such as `OVL_ASSERT,
`OVL_ERROR etc.
I tried to play around with these parameters and changed their values
(the available options in place of OVL_ERROR are OVL_FATAL, OVL_WARNING
and OVL_INFO).
Except for the OVL_FATAL parameter, all of them produce the same output
results. But, in case of the OVL_FATAL parameter, only a single error
is thrown at the very first violation of the specified condition and
after that, reporting stops (although there *are* errors happening
after the first one).
What I want to know is, what do these parameters mean, and how are they
actually meant to be used. For the OVL, I am referring to the Accellera
Standard OVL V1 Library Reference Manual Version 1.6 (Mar 17, '06
release). The purpose of these parameters is discussed very briefly on
page 11 of this document, but it does not give much insight into the
usage of the parameters.
Any answers to these questions will greatly help me in my understanding
of assertion based verification.
Thanks in advance and have a great day !!!
Amit.