Quais das opções abaixo não fazem parte de uma especificação de um “covergroup” em SystemVerilog?