Questão Q699806 - Engenharia de Telecomunicações

Question

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 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

Gran Questões · Accepted Answer

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

Gran Questões · Answer

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

Gran Questões · Answer

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

Gran Questões · Answer

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

Gran Questões · Answer

Nenhuma das respostas acima.

Qual a desvantagem de se utilizar uma variável local...