Questões de Engenharia de Telecomunicações do ano 2012

Quais das seguintes estruturas não é parte da linguagem SystemVerilog, de acordo com o padrão IEEE 1800-2009?

• A. Mailbox.
• B. Join_none.
• C. Semaphore.
• D. Disable.
• E. Disable.

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

• A. Um evento de clock que sincroniza a amostragem dos pontos de cobertura.
• B. Um conjunto de pontos de cobertura.
• C. Cobertura cruzada entre os pontos de cobertura.
• D. Um conjunto de “bins” associados ao conjunto de variáveis amostradas ou transições de valores.
• E. Um conjunto de processos de amostragem.

Dado o seguinte código em System Verilog:

wire a = 1'bx;

wire b = 1'bx;

reg c,d;

initial if (a) c = 1'b0; else c = 1'b1;

initial if (b == 1'bx) d = 1'b0; else d = 1'b1;

final $display("c = %b, d = %b", c,d);

Qual a saída do programa acima?

• A. c = 1, d = 1.
• B. c = x, d = 0.
• C. c = 0, d = 0.
• D. c = 0, d = x.
• E. c = x, d = x.

• A. Ciclos 2, 4, 6 e 8.
• B. Ciclos 1 e 5.
• C. Ciclos 3 e 7.
• D. Ciclos 2 e 6.
• E. Nenhuma das respostas acima.

Quais das seguintes chamadas de função não podem aceitar eventos de clock de acordo com o padrão de System Verilog 2009?

• A. $rose.
• B. $sampled.
• C. $fell.
• D. $stable.
• E. $past.

Em SystemVerilog 2009, se a expressão não temporal amostrada “a” é avaliada como verdadeira nos ciclos 1, 3, 8, 13 e 14, e a expressão não temporal amostrada “b” é avaliada como verdadeira nos ciclos 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12 e 14, em quais ciclos a expressão em SVA “a intersect b” será avaliada como verdadeira?

• A. Ciclos 2, 4, 5, 6, 7, 9, 10, 11, 12 e 13.
• B. Ciclos 1, 3, 8, 13 e 14.
• C. Ciclos 1, 3, 8 e 14.
• D. Ciclos 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 e 14.
• E. Nenhuma das alternativas acima.

Em SystemVerilog 2009, se a expressão amostrada “a” é avaliada como verdadeira nos ciclos 1, 2 e 8; a expressão amostrada “b” é avaliada como verdadeira nos ciclos 9, 10, 11, 12, 13 e 14; a expressão amostrada “c” é avaliada como verdadeira nos ciclos 2, 3 e 8; a expressão “d” é avaliada como verdadeira nos ciclos 3, 4, 5, 6, 10, 11, 12, 13 e 14; e a expressão amostrada “e” é avaliada como verdadeira nos ciclos 4, 5, 6, 12, 13 e 14; em quais ciclos a expressão em SVA “(a ##[1:5] b) and (c ##2 d ##2 e)” será avaliada como verdadeira?

• A. Ciclos 6 e 12.
• B. Ciclos 9, 10, 11, 12 e 13.
• C. Ciclo 12.
• D. Ciclo 13.
• E. Ciclos 12 e 13.

2:10] ##1 c” é equivalente a “a ##1 ((1[*0:$] ##1 b) [*2:10]) ##1 c”

• A. Somente I é válido.
• B. Somente II é válido.
• C. Somente III é válido.
• D. Somente I e II são válidos.
• E. II e III são válidos.

Dado que em um código a nível de RTL, a operação:

if (a ^ b)

foi erroneamente trocada por:

if (a | b)

Que tipo de metodologia de teste e métrica de cobertura de teste provavelmente conseguirá detectar o problema?

• A. Simulação direta com métrica de cobertura de linha de código.
• B. Teste de equivalência de circuitos entre o RTL e o circuito sintetizado a nível de portas lógicas.
• C. Simulação aleatória com métrica de cobertura de condição.
• D. Simulação direta com métrica de cobertura de caminhos.
• E. Simulação aleatória com métrica de cobertura de “toggle”.

I. Em verificação de caixa preta (“black-box verification”), a verificação funcional é realizada sem conhecimento da implementação do RTL.

II. Em verificação de caixa branca (“white-box verification”), a verificação funcional é realizada tendo visibilidade completa do projeto digital implementado.

Sobre as afirmações acima, pode-se dizer que:

• A. Em verificação de caixa preta, observamos as entradas e saídas de todos os módulos da hierarquia do design.
• B. Um testbench utilizando a metodologia de caixa branca pode ser reutilizado em uma implementação diferente do mesmo projeto.
• C. Um contador problemático pode ser verificado sem aumento de risco utilizando a metodologia de caixa preta, mesmo que ele não seja facilmente controlável ou seus valores observáveis.
• D. Uma metodologia de teste correta tenta sempre que possível utilizar a metodologia de caixa-preta, mas utilizando metodologia de caixa-branca em partes de risco maior.
• E. Verificação de caixa branca deve ser utilizada se todos os testes para a validação funcional do projeto forem escritos durante a implementação do projeto.