[sv-ac] Checker instantiation in always procedures

Hi all,

In 17.5 Checker procedures it is written:

An always procedure in a checker body may contain deferred and concurrent assertions, nonblocking variable
assignments (see 17.7.1) and a procedural timing control statement using an event control. All other
statements shall not appear inside an always procedure.

From here I understand that a checker cannot be instantiated in an always procedure of another checker.

Nevertheless, 17.3.2 Nested checker instantiations explicitly discusses what happens if one checker is instantiated in another checker.

It looks to be a contradiction that should be fixed (in the future).

What do you think?

Thanks,
Dmitry
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.