Describir: FSM-based digital design using Verilog HDL /