Local challenges

Practice on your computer. Task packages and report.json validation.

How results are checked

Run this challenge on your computer. The site validates the structure of report.json. A submitted report alone does not prove that the task was completed.

Advanced filters
4 / 4 challengesAdd a challenge

Counter with enable and reset

A basic HDL task: implement a parameterized counter and verify reset, enable, and rollover in local simulation.

D1 · 25–45 min · iverilog, verilator

Local checker available

Two-flop CDC synchronizer

A CDC task: implement a safe 2FF synchronizer, check reset assumptions, and record proof limitations.

D3 · 50–110 min · verilator, symbiyosys

Local checker available