Questão de Engenharia de TelecomunicaçõesCentro Nacional de Tecnologia Eletrônica Avançada S.A. - CEITEC - Analista Administrativo Área Telecomunicações (ETEA - PRDIVE)

Enunciado

Qual a desvantagem de se utilizar uma variável local (“local variable”) em uma asserção em SVA, como no exemplo que se segue?

property p;

bit [3:0] x;

@(posedge clk)

!a [*0:$] ##1 (a,x = d) ##1 !a [*0:$] |=> (a && x == c)

endproperty

É mais confuso de se entender a expressão em SVA.

A variável local vai gerar não determinismo no processamento do SVA.

A variável local pode requerer uma quantidade ilimitada de armazenamento.

A variável local não é interpretada corretamente em todos os simuladores comerciais

Nenhuma das respostas acima.

Relatar um erro nesta questão

Mais questões da mesma disciplina para manter o ritmo.