Skip to content
Snippets Groups Projects
Commit 32dfc961 authored by Jonathan's avatar Jonathan
Browse files

Adding the SMV model.

parent 65fb68e3
No related branches found
No related tags found
No related merge requests found
......@@ -4,7 +4,7 @@
The source code is written using Tool Command Language (TCL) and Python 3, part is an extension for Icarus based on Verilog Programming Interface (VPI).
In order to work properly, the following command must be available:
In order to work properly, the following commands must be available:
* `tclsh`
* `verilog2smv`
* `NuSMV`
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment