Merge pull request #1777 from YosysHQ/claire/manyhot
authorClaire Wolf <clifford@clifford.at>
Thu, 2 Apr 2020 12:31:33 +0000 (14:31 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 12:31:33 +0000 (14:31 +0200)
Using LFSR counter for ezSAT::manyhot()


Trivial merge