Verilog

Verilog は、デジタル回路を記述するためのハードウェア記述言語です。

CTF では、論理回路、状態機械、暗号回路、シミュレーション結果を解析する問題で扱われます。