Merge pull request #2132 from YosysHQ/eddie/verific_initial
authorclairexen <claire@symbioticeda.com>
Thu, 2 Jul 2020 15:50:22 +0000 (17:50 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 15:50:22 +0000 (17:50 +0200)
commit3d8d98d7093aa92f858a98d21a82cd453d8481dc
tree912eb6440e032d9ff19ab559d56a12135da1c48a
parente4b9e64d1b356b690140dd41d836bc4d5c368234
parent39fa1e160d4af42aa6d186e8e684ea1cafdc2391
Merge pull request #2132 from YosysHQ/eddie/verific_initial

verific: rewrite initial assume/asserts prior to elaboration
frontends/verific/verific.cc