Proceedings. IEEE International Verilog HDL Conference