Questão
ID 3478518Disciplina: Engenharia de Telecomunicações
Assunto: Sistemas Digitais de Supervisão e Controle
Ano: 2012 Banca: FUNRIO - Fundação de Apoio a Pesquisa, Ensino e Assistência Órgão: Centro Nacional de Tecnologia Eletrônica Avançada S.A.
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
segue?
property p;
bit [3:0] x;
@(posedge clk)
!a [*0:\$] ##1 (a,x = d) ##1 !a [*0:\$] |=> (a && x == c)
endproperty