Cross coverage with an array

In reply to Ariel Elliassi:

LRM Syntax 19-4 defines ::


 bins_keyword bin_identifier = select_expression [ iff ( expression )  ]

This means only a Singular bin ( bin_identifier ) can be defined within cross .

Multiple bins ( using [ ] ) , Fixed ( bins array[3] ) are Illegal .