Describir: Digital design and synthesis with verilog HDL /