-
Notifications
You must be signed in to change notification settings - Fork 89
Example Projects
Julian Speith edited this page Aug 28, 2025
·
13 revisions
HAL comes with a set of example projects that can help to get started with its various functionalities.
All of these projects can be found in hal/examples.
Each project is provided as a zipped HAL project file, which can be imported into the HAL GUI.
- Toy Cipher - A small (insecure) cipher implementation that gets you started with dataflow analysis and netlist simulation.
- Simple ALU - An extremely simple 8-bit ALU implementation with 2-bit opcode that gets you started with Boolean function analysis and SMT solving.
- FSM - WIP
- UART - WIP