[sv-ac] question on clocking blocks

Why is it that concurrent_assertion_statements are not allowed in
clocking blocks?  If you can define properties and sequences in a
clocking block, then why can't you assert them too?  I think it is
better to be able to keep related components together.   I should not
need to do hierarchical referencing to assert my property or use my
sequence.

 

Lisa

 

 

 

 

clocking_declaration ::=

[ default ] clocking [ clocking_identifier ] clocking_event ;

{ clocking_item }

endclocking [ : clocking_identifier ]

 

clocking_item ::=

default default_skew ;

| clocking_direction list_of_clocking_decl_assign ;

| { attribute_instance } concurrent_assertion_item_declaration

 

concurrent_assertion_item_declaration ::=

                property_declaration

                | sequence_declaration