https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-04-11T10:47:00ZOpen-Source ProjectsRetrascope Test Suite - Task #9565: tests for Verilog2SMV toolhttps://forge.ispras.ru/issues/9565?journal_id=359692019-04-11T10:47:00ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>tests for verilog2SMV tool</i> to <i>tests for Verilog2SMV tool</i></li></ul> Retrascope Test Suite - Task #9565: tests for Verilog2SMV toolhttps://forge.ispras.ru/issues/9565?journal_id=359732019-04-15T10:07:12ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>The script <em>vlog2smv.sh</em> is added. Script walks through project's directories recursively and runs Verilog2SMV tool on every Verilog module.</p>
<p>Done in <a class="changeset" title="bash: script for Verilog2SMV The 'vlog2smv.sh' script walks through project directories recursiv..." href="https://forge.ispras.ru/projects/retrascope-mc-benchmark/repository/506/revisions/29b82ea9797df82ebc7c79acdab3994634737167">29b82ea9</a></p> Retrascope Test Suite - Task #9565: tests for Verilog2SMV toolhttps://forge.ispras.ru/issues/9565?journal_id=359742019-04-15T10:07:19ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul>