You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+10-2Lines changed: 10 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -60,10 +60,18 @@ For instructions on how to build HAL, please refer to the dedicated page in our
60
60
# Quickstart Guide
61
61
62
62
Install HAL or build HAL and start the GUI via `hal -g`. You can list all available options via `hal [--help|-h]`.
63
-
We included some example netlists in `examples` together with the implementation of the respective example gate library in `plugins/example_gate_library`.
63
+
We included some example projects in `examples` subdirectory. To get startet with an example project you need to import
64
+
it via `Import Project` from main menu or by dropping the zipped file in the `OPEN PROJECT` area of the Welcome Screen.
65
+
Doing so a popup will request a directory with write permissions where HAL will create the project directory and uncompress
66
+
the files. Do not use external tools for uncompress since adaptions are made so that netlist and gate library
67
+
are found the next time the project gets opened.
68
+
69
+
In case you want to open your own Verlog or VHDL netlist you have to run `Import Netlist` instead. This will only work if
70
+
there is a matching gate library in `plugins/gate_libraries/definitions` or you provide the gate library manually.
64
71
For instructions to create your own gate library and other useful tutorials, take a look at the [wiki](https://github.com/emsec/hal/wiki).
65
72
66
-
Load a library from the `examples` directory and start exploring the graphical representation.
73
+
The following example code refers to the `fsm` example.
74
+
67
75
Use the integrated Python shell or the Python script window to interact. Both feature (limited) autocomplete functionality.
68
76
69
77
Let's list all lookup tables and print their Boolean functions:
0 commit comments