Merge pull request #2523 from tomverbeure/define_synthesis
authorClaire Xen <claire@clairexen.net>
Mon, 1 Mar 2021 17:00:48 +0000 (18:00 +0100)
committerGitHub <noreply@github.com>
Mon, 1 Mar 2021 17:00:48 +0000 (18:00 +0100)
Add -nosynthesis flag for read_verilog command


Trivial merge