Seol mar théacs é seo: FSM-based digital design using Verilog HDL