Actions
Bug #9282
closedru.ispras.verilog.parser.sample.DataMemTestCase: DEBUG: Reduce: (BVEXTRACT 0 7 mem_access_addr)
Start date:
09/15/2018
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
In the ru.ispras.verilog.parser.sample.DataMemTestCase log the following record appears:
DEBUG: Reduce: (BVEXTRACT 0 7 mem_access_addr)
It comes from the following fragment of the Verilog '_data_mem.v_' module:
wire [`DATA_MEM_ADDR_WIDTH-1 : 0] ram_addr = mem_access_addr[`DATA_MEM_ADDR_WIDTH-1 : 0];
The Fortress node that is created from the right hand side expression of this assignment is incorrect, because the first param of BVEXTRACT operation should be greater or equal to the second one.
Actions