Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-10-02T08:46:35ZOpen-Source Projects
Redmine Verilog Translator - Bug #10512 (New): ADDA162H90A_atop.v line 120:47 mismatched input ':' expect...https://forge.ispras.ru/issues/105122020-10-02T08:46:35ZSergey Smolovsmolov@ispras.ru
<pre>
RROR: L:\work\veritrans\src\test\verilog\hdl-benchmarks\hdl\iwls05\faraday\rtl\DSP\hdl\CODEC\FXADDA162H90A\ADDA162H90A_atop.v line 120:47 mismatched input ':' expecting RPAREN
ERROR: L:\work\veritrans\src\test\verilog\hdl-benchmarks\hdl\iwls05\faraday\rtl\DSP\hdl\CODEC\FXADDA162H90A\ADDA162H90A_atop.v line 157:47 mismatched input ':' expecting RPAREN
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: <mismatched token: [@2436,3042:3042=':',<19>,120:47], resync=$width(posedgedac_phase_check,400.00:500.00:900.00,0,> expecting <UP>
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: AST_ATTRIBUTES expecting <UP>
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: <unexpected: [@2444,3089:3089=')',<276>,120:94], resync=n_flag_dac_phase_overlape> expecting <UP>
</pre> Retrascope - Task #9964 (Closed): add HDL examples to project distributionhttps://forge.ispras.ru/issues/99642019-12-04T21:34:54ZSergey Smolovsmolov@ispras.ru
<p>Add self-made HDL modules and demo scripts (both for Windows and Linux) to project distribution.</p> Verilog Translator - Task #9904 (Closed): add info for "--library-file" cmdline optionhttps://forge.ispras.ru/issues/99042019-11-06T07:38:16ZSergey Smolovsmolov@ispras.ru
<p>Write a description for this option at project wiki.</p> Retrascope Test Suite - Task #9670 (New): add 'ar.v' module to the test suite when SVA support wi...https://forge.ispras.ru/issues/96702019-05-22T11:24:19ZSergey Smolovsmolov@ispras.ru
<p>See <strong>Ver2SmvBenchmarks</strong> test class.</p> Retrascope Test Suite - Task #9607 (Closed): add QUIP 9.0 benchmarkhttps://forge.ispras.ru/issues/96072019-04-18T14:49:53ZSergey Smolovsmolov@ispras.ruRetrascope Test Suite - Task #9606 (Closed): add IWLS 2005 benchmarkhttps://forge.ispras.ru/issues/96062019-04-18T13:57:46ZSergey Smolovsmolov@ispras.ruRetrascope Test Suite - Task #9235 (Closed): adapt JUnit components to new interface of ToolTest ...https://forge.ispras.ru/issues/92352018-08-18T11:03:27ZSergey Smolovsmolov@ispras.ru
<p>Here are some compilation errors in project now. The cause is in the new interface of ToolTest class.</p> Verilog Translator - Task #9206 (Closed): add Texas97 benchmark to project test suitehttps://forge.ispras.ru/issues/92062018-08-11T06:10:36ZSergey Smolovsmolov@ispras.ruRetrascope - Bug #8285 (Closed): 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/82852017-07-10T15:45:51ZSergey Smolovsmolov@ispras.ru
<p>../test/itc99/b01/b01.vhd --target vhdl-testbench:efsm:cgaa --toplevel b01 --assert-smv-file b01.smv --check-method bmc --engine smv-test-parser --overwrite-existing</p> Retrascope - Task #7271 (Closed): add javadoc for new methods when efsm.state.abstraction branch ...https://forge.ispras.ru/issues/72712016-06-04T10:52:53ZSergey Smolovsmolov@ispras.ruRetrascope - Bug #7097 (Closed): 32-bit constants should be casted to appropriate valueshttps://forge.ispras.ru/issues/70972016-04-21T14:12:30ZSergey Smolovsmolov@ispras.ru
<p>Use <code>verilog.benchmarks</code> auxiliary branch to reproduce this bug:</p>
<pre>
2016.04.21 17:10:40.724. INFO: Retrascope is starting
2016.04.21 17:10:40.728. INFO: Running: verilog-parser
2016.04.21 17:10:40.728. INFO: Options: {v=[/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v], args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm}
Including file '/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v'
2016.04.21 17:10:40.999. INFO: Storing: cfg
2016.04.21 17:10:40.999. INFO: Running: cfg-cgaa-transformer
2016.04.21 17:10:40.999. INFO: Options: {args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm, cfg=<cfg>}
2016.04.21 17:10:41.003. INFO: Storing: cgaa
2016.04.21 17:10:41.003. INFO: Running: cgaa-efsm-transformer
2016.04.21 17:10:41.003. INFO: Options: {cgaa=<cgaa>, args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm}
Exception in thread "main" java.lang.IllegalArgumentException: Errors in the expression description: [line 6 column 180: invalid function application, sort mismatch on argument at position 2, (declare-const wb_op_dest (_ BitVec 3))
(declare-const mem_op_dest (_ BitVec 3))
(declare-const decoding_op_src1 (_ BitVec 3))
(declare-const ex_op_dest (_ BitVec 3))
(declare-const decoding_op_src2 (_ BitVec 3))
(assert (and (and (or (= decoding_op_src1 ex_op_dest) (= decoding_op_src1 mem_op_dest) (= decoding_op_src1 wb_op_dest)) (not (= decoding_op_src1 #b00000000000000000000000000000000))) (and (or (= decoding_op_src2 ex_op_dest) (= decoding_op_src2 mem_op_dest) (= decoding_op_src2 wb_op_dest)) (not (= decoding_op_src2 #b00000000000000000000000000000000)))))
(check-sat)
(get-value ( wb_op_dest mem_op_dest decoding_op_src1 ex_op_dest decoding_op_src2))
(get-model)
(exit)
]
at ru.ispras.fortress.expression.ExprUtils.isSAT(ExprUtils.java:389)
at ru.ispras.fortress.expression.ExprUtils.areCompatible(ExprUtils.java:360)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkInvCompliance(CgaaEfsmDataExtractor.java:231)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkActionReachable(CgaaEfsmDataExtractor.java:217)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkConditionsIfNot(CgaaEfsmDataExtractor.java:211)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.onBasicBlockBegin(CgaaEfsmDataExtractor.java:200)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitBasicBlock(CfgWalker.java:361)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:186)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCase(CfgWalker.java:353)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:189)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitSwitch(CfgWalker.java:343)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:192)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCase(CfgWalker.java:353)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:189)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitSwitch(CfgWalker.java:343)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:192)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitProcess(CfgWalker.java:305)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitModule(CfgWalker.java:279)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCfgModel(CfgWalker.java:255)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.start(CfgWalker.java:156)
at ru.ispras.retrascope.engine.cfg.CfgEngine.start(CfgEngine.java:87)
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:207)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:414)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:367)
</pre> Retrascope - Task #6060 (Closed): Add plasma to project test suitehttps://forge.ispras.ru/issues/60602015-06-17T11:03:06ZSergey Smolovsmolov@ispras.ru
<p>Check that EFSM extraction is ok for plasma modules.</p> Retrascope - Task #5504 (New): add channels between EFSMshttps://forge.ispras.ru/issues/55042014-12-16T11:45:34ZSergey Smolovsmolov@ispras.ru
<p>The EFSMs that are living in the same EfsmModel container should be able to interact with each other by messages.<br />These messages incapsulate events.</p> Retrascope - Task #4807 (Closed): Action as interface for BasicBlock, Assertion, Situationhttps://forge.ispras.ru/issues/48072014-04-02T08:23:00ZSergey Smolovsmolov@ispras.ru
<p>Класс действия Action сделать интерфейсом. Интерфейс содержит метод getType() (возможные возвращаемые значения SITUATION, ASSERTION, ASSIGNMENT - хранить в enum).<br />Интерфейс реализуют следующие классы: BasicBlock, Situation, Assertion.</p>
<p>Situation содержит строку с описанием (String).</p>
<p>Assertion содержит условие (NodeExpr), которое необходимо проверять при достижении данного Action.</p>
<p>При необходимости интерфейс Action можно дополнять.</p> Fortress - Task #4133 (Closed): ABS, MAX, MIN для Logic-типовhttps://forge.ispras.ru/issues/41332013-04-20T19:50:56ZSergey Smolovsmolov@ispras.ru
<p>Реализовать операции ABS (абсолютное значение), MAX (максимум из двух чисел) и MIN (минимум из двух чисел).<br />Операндами могут быть переменные Logic-типов (bool, int, real).</p>