Add Verilogs back