Digital design and synthesis with verilog HDL - Sternheim, Eli (Automata Publ.Comp, 1993)