heartfree
Advanced Member level 4
Hi All,
There is a multi if statement in licensed IP, which is like :
reg [width-1:0] array [depth-1:0];
always @ (posedge clk or negedge rstn) begin
if(~rstn) begin
reset process
end
else begin
if(condition A) array[index1] <= variable1;
if(condition B) array[index2] <= variable2;
....
if(condition X) each element of array will be clear to zero;
end
end
for this code, Magma blastcreate and sysnopsys DC have different result in netlist.
Magma netlist matched with RTL in formal verificaiton, but DC does fail.
anyone know how to contraint DC to generate netlist?
thanks
There is a multi if statement in licensed IP, which is like :
reg [width-1:0] array [depth-1:0];
always @ (posedge clk or negedge rstn) begin
if(~rstn) begin
reset process
end
else begin
if(condition A) array[index1] <= variable1;
if(condition B) array[index2] <= variable2;
....
if(condition X) each element of array will be clear to zero;
end
end
for this code, Magma blastcreate and sysnopsys DC have different result in netlist.
Magma netlist matched with RTL in formal verificaiton, but DC does fail.
anyone know how to contraint DC to generate netlist?
thanks