Verification Academy
stuck.sv