Merge pull request #1575 from rodrigomelo9/master
authorEddie Hung <eddie@fpgeh.com>
Mon, 16 Dec 2019 03:00:34 +0000 (19:00 -0800)
committerGitHub <noreply@github.com>
Mon, 16 Dec 2019 03:00:34 +0000 (19:00 -0800)
Fixed some missing "verilog_" in documentation


Trivial merge