Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-12-04T21:34:54ZOpen-Source Projects
Redmine 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 #9208 (Closed): add Verilog2Smv\VIS benchmark to project test suitehttps://forge.ispras.ru/issues/92082018-08-11T06:12:11ZSergey Smolovsmolov@ispras.ruVerilog Translator - Task #9207 (Closed): add VCEGAR benchmark to project test suitehttps://forge.ispras.ru/issues/92072018-08-11T06:11:20ZSergey Smolovsmolov@ispras.ruVerilog Translator - Task #9206 (Closed): add Texas97 benchmark to project test suitehttps://forge.ispras.ru/issues/92062018-08-11T06:10:36ZSergey Smolovsmolov@ispras.ruRetrascope - Task #8293 (Closed): add VeriTrans & Fortress info to NOTICEhttps://forge.ispras.ru/issues/82932017-07-12T16:04:55ZSergey Smolovsmolov@ispras.ruRetrascope - 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 - 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>