Merge pull request #1667 from YosysHQ/clifford/verificnand
authorClaire Wolf <clifford@clifford.at>
Thu, 30 Jan 2020 18:55:53 +0000 (19:55 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2020 18:55:53 +0000 (19:55 +0100)
commit2ce7a0d369ff73b483364e8fbb44c4887f17385f
treeea984c07f3cd40423ffbc4073482ef0f759c99c0
parent60876ce183ee5f3980c378e190d996453d59a780
parent23c44afaed7c3fb97b01ca241731fc84dd03d5a7
Merge pull request #1667 from YosysHQ/clifford/verificnand

Add Verific support for OPER_REDUCE_NAND
frontends/verific/verific.cc