The verilog language problem sets from hdlbits
some b01lersctf 2025 writeups
some squ1rrelctf writeups