Hi All,
I am trying to connect the following quotes from LRM
A concurrent assertion statement can be used outside a procedural context. It can be used within a module,an interface, or a program.
A concurrent assertion statement is an assert , an assume , a cover , or a restrict statement.
Whereas when LRM Section 16.8 Declaring sequences mentions ::
A named sequence may be declared in the following:
— A module
— An interface
— A program
— A clocking block
— A package
— A compilation-unit scope
— A checker
— A generate block
Similarly LRM Section 16.12 Declaring properties mentions ::
A named property may be declared in any of the following:
— A module
— An interface
— A program
— A clocking block
— A package
— A compilation-unit scope
— A generate block
— A checker
Simply declaring a sequence or property doesn’t result in it’s evaluation, one needs a concurrent assertion statement.
(Q) Although sequence/property can be declared in a package, one can’t write a concurrent assertion statement within a package, correct ?
I assume user would need to import the respective package ( in a module/interface/program ) and then use concurrent assertion statement