| HDLs | Tools (hardware) | Scripting languages | Tools (software) | Boards we use |
|---|---|---|---|---|
| UML | Sniper | Bash | Static analysis tools from Backend of Clang | Xilinx Zynq |
| Unified Modeling Language | Hotspot | version control system (Git) (not scripting but can be used in a bash script ) | matlab | Xilinx Virtex Ultrascale |
| SystemVerilog | Vivado-HLS | Xilinx tcl (read as tickle) | llvm tools | raspberry pi |
| Verilog | Vivado | Python | Callgrind from Vallgrid suite |