Merge pull request #910 from ucb-bar/memupdates
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Apr 2019 07:59:11 +0000 (09:59 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2019 07:59:11 +0000 (09:59 +0200)
Refine memory support to deal with general Verilog memory definitions.


Trivial merge