Added $assert cell
authorClifford Wolf <clifford@clifford.at>
Sun, 19 Jan 2014 13:03:40 +0000 (14:03 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 19 Jan 2014 13:03:40 +0000 (14:03 +0100)
commit1e67099b77904802880ad7c53d2cac33c6df456f
tree87deccc08f9e4bbbc7d2448852daf68d4ba0b35e
parent9a1eb45c7517f224a2516ce235fd53d01d9ef908
Added $assert cell
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
kernel/celltypes.h
kernel/rtlil.cc
manual/CHAPTER_CellLib.tex
passes/opt/opt_clean.cc
techlibs/common/simlib.v