courses:system_design:synthesis:sequential_logic