Actions
Task #9565
closedtests for Verilog2SMV tool
Start date:
03/25/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
Actions
Added by Sergey Smolov about 5 years ago. Updated about 5 years ago.
100%
The script vlog2smv.sh is added. Script walks through project's directories recursively and runs Verilog2SMV tool on every Verilog module.
Done in 29b82ea9