Describir: FPGA prototyping by Verilog examples