Merge pull request #3039 from YosysHQ/claire/verific_aldff
authorClaire Xen <claire@clairexen.net>
Mon, 11 Oct 2021 08:01:56 +0000 (10:01 +0200)
committerGitHub <noreply@github.com>
Mon, 11 Oct 2021 08:01:56 +0000 (10:01 +0200)
commit2d3c79458dab544556a135ddc5fe6ed654d5a41c
tree15b43f491752b1212eebc649fbe4a1bf810cc9f6
parentd5cc3a1c72085da29dcc2ef926f885421bb0f2a6
parentc8074769b081f26b2129910502dd9031acd01a2a
Merge pull request #3039 from YosysHQ/claire/verific_aldff

Add support for $aldff flip-flops to verific importer
frontends/verific/verific.cc