Re: [sv-ac] Checker instantiation in always procedures

See below

> 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.*
>
Just to add something to this issue, on page 430 section 17.3 states:
A checker may be instantiated wherever a concurrent assertion may appear
(see 16.15) with the following
exceptions: it shall be illegal to instantiate checkers in fork...join,
fork...join_any, or
fork...join_none blocks.
Since concurrent assertions can be instantiated in an always block, and
always blocks are allowed in checkers, then the above LRM statement implies
that a checker can be instantiated in an always procedure of another
checker.
Ben

>
>

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