Questões de Engenharia de Telecomunicações da FUNRIO Fundação de Apoio a Pesquisa, Ensino e Assistência (FUNRIO)

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.

Sobre o efeito de registradores que são escritos por software sobre o testbench, podemos afirmar:

I. O número de ciclos de simulação até se chegar a um ponto de falha pode ser muito grande.

II. Os testbenches tem que considerar todos as variações possíveis de valores nesses registradores, se eles controlarem o comportamento do DUV.

III. A integração de módulos programáveis por software devem ser testadas utilizando-se rotinas de teste de software.

• A. Somente I é verdadeiro.
• B. Somente II é verdadeiro.
• C. Somente III é verdadeiro.
• D. Somente I e II são verdadeiros.
• E. Todas as afirmativas acima são verdadeiras.