Add support for $aldff flip-flops to verific importer
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 8 Oct 2021 14:21:25 +0000 (16:21 +0200)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 8 Oct 2021 14:21:25 +0000 (16:21 +0200)
commit1602a0386419495993f25667c7c6e5fb55010592
tree141013c246c52a430be7f8604664aafcbe09b2ea
parent772b9a108a7370f090790e1887585cfabbf11ac7
Add support for $aldff flip-flops to verific importer

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
frontends/verific/verific.cc
frontends/verific/verific.h