Verilog Translator

Run the 'ru.ispras.verilog.parser.VerilogVcegarTestCase.runTest_pj_icu_icctl1' test case to reproduce the error.

ERROR: Declaration of 'clk' has not been found
1 error(s), 0 warning(s)

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:104)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:331)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.checkVariable(VerilogStaticChecker.java:266)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.access$100(VerilogStaticChecker.java:63)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker$ExprTreeVisitor.onVariable(VerilogStaticChecker.java:93)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitVariable(ExprTreeWalker.java:183)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:119)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:390)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:402)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:492)
    at ru.ispras.verilog.parser.processor.VerilogStaticChecker.onDelayedStatementBegin(VerilogStaticChecker.java:154)
    at ru.ispras.verilog.parser.walker.VerilogNodeVisitor$15.onBegin(VerilogNodeVisitor.java:409)
    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:170)
    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.VerilogVcegarTestCase.runTest_pj_icu_icctl1(VerilogVcegarTestCase.java:177)