*~
*.bak
*.swp
*.swo
.vscode
.claude/

# SymbiYosys output
verif/formal/simple_alu/simple_alu/
verif/formal/simple_alu/simple_alu_bmc/
verif/formal/simple_alu/simple_alu_cover/
