Merge pull request #3057 from YosysHQ/claire/verific_latches
authorClaire Xen <claire@clairexen.net>
Thu, 21 Oct 2021 11:00:53 +0000 (13:00 +0200)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 11:00:53 +0000 (13:00 +0200)
commit51d42cc917d66917439955616bc5a3842e5d6301
treee293a349c65f26c69cfe6f735301b90b8ae0f5d9
parente64456f92025c26f8b66e77901f78eca726d856a
parent90b440f870a8ac2c91b3f716f38a4f538cad2549
Merge pull request #3057 from YosysHQ/claire/verific_latches

Initial Verific impoter support for {PRIM,WIDE_OPER}_DLATCH{,RS}