Merge pull request #744 from whitequark/write_verilog_$shift
authorClifford Wolf <clifford@clifford.at>
Mon, 17 Dec 2018 15:26:57 +0000 (16:26 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Dec 2018 15:26:57 +0000 (16:26 +0100)
write_verilog: handle the $shift cell


Trivial merge