kunal1514
Full Member level 1
Hi All,
A very interesting query i am having.
Can any body tell me that the below mentioned Sequence "Sequence1"
will inherit which clock either "src_clk" or "dst_clk".
As this "Property" contains two clocks.
Property
//--------------------------------------------
property clk_implication_example;
@(posedge src_clk) seq0 |=> @(posedge dst_clk) prop0;
endproperty
//---------------------------------------------
Sequence
//---------------------------------------------
sequence Sequence1;
~reset ##5 req;
endsequence
//---------------------------------------------
Explain it.
Regards
A very interesting query i am having.
Can any body tell me that the below mentioned Sequence "Sequence1"
will inherit which clock either "src_clk" or "dst_clk".
As this "Property" contains two clocks.
Property
//--------------------------------------------
property clk_implication_example;
@(posedge src_clk) seq0 |=> @(posedge dst_clk) prop0;
endproperty
//---------------------------------------------
Sequence
//---------------------------------------------
sequence Sequence1;
~reset ##5 req;
endsequence
//---------------------------------------------
Explain it.
Regards