Project

General

Profile

Actions

Bug #8779

closed

mips16/data_mem.v: wrong type for define-containing declaration of 'ram_addr' wire

Added by Sergey Smolov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Target version:
Start date:
03/23/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
master
Platform:
Published in build:

Description

The right-hand side of following statement:

wire [`DATA_MEM_ADDR_WIDTH-1 : 0] ram_addr = mem_access_addr[`DATA_MEM_ADDR_WIDTH-1 : 0];

is represented by Verilog Translator as follows (SMT_LIB format):
(BVEXTRACT 2 0 (BVEXTRACT 7 0 mem_access_addr))

The left-hand side has no ranges - it contains "ram_addr" variable only.

Actions

Also available in: Atom PDF