From algorithm design to implementation of hardware logic (experimental exercises and Verilog grammar manual)