Add $_ANDNOT_ and $_ORNOT_ gates
authorClifford Wolf <clifford@clifford.at>
Wed, 17 May 2017 07:08:29 +0000 (09:08 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 17 May 2017 07:08:29 +0000 (09:08 +0200)
commit05cdd58c8dc73968992681d0ee1cbfa89880b94f
tree426fabb50c83d45f1194bd94125d4701242e920f
parent9f4fbc5e74747c8973da3a2fd42d2ef40dbe1fa5
Add $_ANDNOT_ and $_ORNOT_ gates
14 files changed:
backends/blif/blif.cc
backends/simplec/simplec.cc
backends/smt2/smt2.cc
backends/smv/smv.cc
backends/verilog/verilog_backend.cc
kernel/cellaigs.cc
kernel/celltypes.h
kernel/cost.h
kernel/rtlil.cc
kernel/rtlil.h
kernel/satgen.h
manual/CHAPTER_CellLib.tex
passes/techmap/abc.cc
techlibs/common/simcells.v