Project

General

Profile

Actions
Copy link

Bug #9848

closed

ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm: Function declaration '$ND' has not been found

Added by Sergey Smolov over 4 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Target version:
0.1
Start date:
10/04/2019
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:
0.1.3-beta-201002

Description

ERROR: Function declaration '$ND' has not been found
ERROR: [Internal] null
java.lang.IllegalArgumentException
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38)
    at ru.ispras.fortress.util.InvariantChecks.checkFalse(InvariantChecks.java:68)
    at ru.ispras.verilog.parser.VerilogTranslator.exit(VerilogTranslator.java:112)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkFunctionCall(VerilogStaticChecker.java:651)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.access$000(VerilogStaticChecker.java:72)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker$ExprTreeVisitor.onOperationBegin(VerilogStaticChecker.java:97)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:139)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:468)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:480)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:497)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:527)
    at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.onAssignBegin(VerilogStaticChecker.java:129)
    at ru.ispras.verilog.parser.walker.VerilogNodeVisitor$2.onBegin(VerilogNodeVisitor.java:253)
    at ru.ispras.verilog.parser.walker.VerilogNodeVisitor.onBegin(VerilogNodeVisitor.java:700)
    at ru.ispras.verilog.parser.core.TreeWalker.onBegin(TreeWalker.java:102)
    at ru.ispras.verilog.parser.core.TreeWalker.start(TreeWalker.java:87)
    at ru.ispras.verilog.parser.VerilogSyntaxBackend.start(VerilogSyntaxBackend.java:80)
    at ru.ispras.verilog.parser.VerilogSyntaxBackends.start(VerilogSyntaxBackends.java:55)
    at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:187)
    at ru.ispras.verilog.parser.sample.VerilogPrinter.main(VerilogPrinter.java:45)
    at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:72)
    at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:58)
    at ru.ispras.verilog.parser.VerilogTexas97TestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm(VerilogTexas97TestCase.java:514)
Actions
Copy link
 #1

Updated by Sergey Smolov over 4 years ago

It seems to be a dilemma here: either to remove unimplemented function calls from Verilog code or to mark the test case as "should fall".

Actions
Copy link
 #2

Updated by Alexander Kamkin over 4 years ago

Added --library-file option. See SystfTestCase as an example.

The library file format is as follows: ((function (integer|real)|task) identifier '\n')*.

For example,

function integer $myFunction
task $myTask

Actions
Copy link
 #3

Updated by Sergey Smolov over 4 years ago

  • Status changed from New to Resolved
  • Assignee changed from Alexander Kamkin to Sergey Smolov
  • % Done changed from 0 to 100
Actions
Copy link
 #4

Updated by Sergey Smolov over 4 years ago

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

Updated by Sergey Smolov over 3 years ago

  • Status changed from Verified to Closed
  • Published in build set to 0.1.3-beta-201002
Actions
Copy link

Also available in: Atom PDF