Merge pull request #3382 from YosysHQ/micko/verific_extensions
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 17 Jun 2022 14:20:31 +0000 (16:20 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Jun 2022 14:20:31 +0000 (16:20 +0200)
commitc23139fd98f018d4f73b34e220a23787f640d130
tree942aa19782fb75fa8fae80b49bc8a6f9ea0ac592
parent01daa077a2837830914f3d99f351918d690b9093
parent607e957657fc56625de5c28ea9cd43c859017d96
Merge pull request #3382 from YosysHQ/micko/verific_extensions

use new verific extensions library