Project

General

Profile

Bug #9071

ru.ispras.retrascope.engine.hldd.printer.smv.Texas97HlddSmvPrinterTestCase.runTest: java.lang.IllegalArgumentException: Unknown operation 'FUNCTION'

Added by Sergey Smolov over 2 years ago. Updated about 2 years ago.

Status:
Open
Priority:
Normal
Category:
-
Start date:
07/06/2018
Due date:
% Done:

0%

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

Description

java.lang.IllegalArgumentException: Unknown operation 'FUNCTION'
    at ru.ispras.fortress.expression.printer.MapBasedPrinter$ExprTreeVisitor.onOperationBegin(MapBasedPrinter.java:78)
    at ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter$Visitor.onOperationBegin(SmvExprPrinter.java:302)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:139)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
    at ru.ispras.fortress.expression.printer.MapBasedPrinter.toString(MapBasedPrinter.java:307)
    at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.getExprDescription(HlddSmvVisitor.java:140)
    at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.onAssignment(HlddSmvVisitor.java:318)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:138)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:131)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visit(HlddWalker.java:104)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:123)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitRoot(HlddWalker.java:89)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitHldd(HlddWalker.java:79)
    at ru.ispras.retrascope.model.hldd.HlddWalker.visitProcess(HlddWalker.java:68)
    at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModule(ModelWalker.java:270)
    at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModel(ModelWalker.java:242)
    at ru.ispras.retrascope.model.basis.walker.ModelWalker.start(ModelWalker.java:132)
    at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter.start(HlddSmvPrinter.java:65)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:215)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:456)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:373)
    at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:81)
    at ru.ispras.retrascope.basis.SingleTest.runTest(SingleTest.java:85)
    at ru.ispras.retrascope.basis.BenchmarkTest.runTest(BenchmarkTest.java:60)

History

#1

Updated by Mikhail Lebedev over 2 years ago

  • Status changed from New to Open

This exception is caused by using the system function $random in the Verilog source code. Our tools don't support system functions yet.

#2

Updated by Sergey Smolov over 2 years ago

I think, we should comment those designs that have $random function calls and create related tickets at the Retrascope MC benchmark project.

#3

Updated by Sergey Smolov over 2 years ago

You may take the following as an example:

https://forge.ispras.ru/issues/9018

#4

Updated by Sergey Smolov about 2 years ago

  • Target version deleted (1.0)
  • Category deleted (73)
  • Project changed from Retrascope to Retrascope Test Suite

Also available in: Atom PDF