tests for Verilog2SMV tool
- Subject changed from tests for verilog2SMV tool to tests for Verilog2SMV tool
- % Done changed from 0 to 100
- Status changed from New to Resolved
The script vlog2smv.sh is added. Script walks through project's directories recursively and runs Verilog2SMV tool on every Verilog module.
Done in 29b82ea9
- Status changed from Resolved to Closed
Also available in: Atom