Skip to content

Example Projects

Jump to bottom
Julian Speith edited this page Sep 2, 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.

  • FSM - (WIP)
  • Toy Cipher - (WIP) 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.
  • UART - WIP
  • Crypto Trojan - WIP

Clone this wiki locally