Merge pull request #744 from whitequark/write_verilog_$shift