Project

General

Profile

Actions
Copy link

Bug #9173

closed

Incorrect DataType: BIT_VECTOR(1) instead of BIT_VECTOR(40)

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

Status:
Closed
Priority:
High
Assignee:
Alexander Kamkin
Target version:
0.1
Start date:
07/27/2018
Due date:
% Done:

0%

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

Description

VeriTrans calculates wrong DataType for 'scr_reg' variable of 'parse_pack_header' module that is attached (see "Retrascope MC Benchmark" for more details).

The correct type should be BIT_VECTOR(40), but now it is BIT_VECTOR(1).

Files

parsepack.v (1.7 KB) parsepack.v Sergey Smolov, 07/27/2018 05:24 PM

Related issues 1 (0 open — 1 closed)

Related to Retrascope Test Suite - Bug #9172: Texas97ParsepackCfgGraphMlTestCase: ru.ispras.retrascope.basis.exception.RetrascopeException: Wrong range: 0 < 0 or 7 > 1.ClosedSergey Smolov07/27/2018

Actions
Actions
Copy link
 #1

Updated by Sergey Smolov over 5 years ago

  • Related to Bug #9172: Texas97ParsepackCfgGraphMlTestCase: ru.ispras.retrascope.basis.exception.RetrascopeException: Wrong range: 0 < 0 or 7 > 1. added
Actions
Copy link
 #2

Updated by Sergey Smolov over 5 years ago

Actions
Copy link
 #3

Updated by Sergey Smolov over 5 years ago

  • Priority changed from Normal to High
Actions
Copy link
 #4

Updated by Alexander Kamkin over 5 years ago

It seems that the elaborator extracts type from the output declaration, which is incomplete.

...
output scr_reg;
...
reg[39:0] scr_reg;
...
Actions
Copy link
 #5

Updated by Alexander Kamkin over 5 years ago

  • Status changed from New to Resolved

Merging namesake declarations has been added.

Actions
Copy link
 #6

Updated by Sergey Smolov over 5 years ago

  • Status changed from Resolved to Verified
Actions
Copy link
 #7

Updated by Sergey Smolov over 5 years ago

  • Status changed from Verified to Closed
Actions
Copy link

Also available in: Atom PDF