Project

General

Profile

Feature #8220

BV_INC6 VHDL function support

Added by Sergey Smolov almost 3 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
Start date:
05/26/2017
Due date:
% Done:

100%

Estimated time:
Published in build:
1.0.1-beta-170912

Description

Run for testing the following:

args=/home/ssedai/projects/retrascope.git/build/resources/test/plasma/mlite_cpu.vhd --target vhdl-testbench --toplevel mlite_cpu --overwrite-existing --engine cfg-random-test-generator --test-len 10 --clk-name CLK --rst-name RESET_IN

The following error log is produced:

BV_INC6(A => COUNT_REG)
java.lang.UnsupportedOperationException: BV_INC6(A => COUNT_REG)
    at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.visitSubprogram(IgOperationVisitor.java:617)
    at org.zamia.instgraph.IGDefaultOperationVisitor.visitOperation(IGDefaultOperationVisitor.java:28)
    at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.visitOperation(IgOperationVisitor.java:138)
    at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.getNode(IgOperationVisitor.java:750)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.getOperationNode(IgStructureVisitor.java:555)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitAssignment(IgStructureVisitor.java:551)
    at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:57)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376)
    at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:54)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.getSubGraph(IgStructureVisitor.java:584)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitIf(IgStructureVisitor.java:473)
    at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:63)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376)
    at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:54)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitProcess(IgStructureVisitor.java:235)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:366)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitInstantiation(IgStructureVisitor.java:259)
    at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:364)
    at org.zamia.instgraph.IGModule.accept(IGModule.java:101)
    at ru.ispras.retrascope.parser.vhdl.VhdlParser.parse(VhdlParser.java:165)
    at ru.ispras.retrascope.parser.basis.HdlParser.start(HdlParser.java:86)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:112)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:211)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:419)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:371)

History

#1

Updated by Sergey Smolov almost 3 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Done in 50b8b605

#2

Updated by Sergey Smolov over 2 years ago

  • Subject changed from VHDL functions complete support to BV_INC6 VHDL function support
#3

Updated by Sergey Smolov over 2 years ago

  • Status changed from Resolved to Verified
#4

Updated by Sergey Smolov over 2 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.0.1-beta-170912

Also available in: Atom PDF