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
bit [3:0] x;
@(posedge clk)
!a [*0:$] ##1 (a,x = d) ##1 !a [*0:$] |=> (a && x == c)
endproperty
Provas
Questão presente nas seguintes provas
