Feature #8220: BV_INC6 VHDL function support - Retrascope - Open-Source Projects

Actions

Copy link

Feature #8220

closed

BV_INC6 VHDL function support

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

Status:

Closed

Priority:

Normal

Assignee:

Sergey Smolov

Category:

Engine (Parser)

Target version:

0.2

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)