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 A) É mais confuso de se entender a expressão em SVA. B) A variável local vai gerar não determinismo no processamento do SVA. C) A variável local pode requerer uma quantidade ilimitada de armazenamento. D) A variável local não é interpretada corretamente em todos os simuladores comerciais E) Nenhuma das respostas acima.

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

Qual a desvantagem de se utilizar uma variável local (“local variable”) em uma asserção...

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência de navegação. Política de Privacidade.