Add $cover cell type and SVA cover() support
authorClifford Wolf <clifford@clifford.at>
Sat, 4 Feb 2017 13:14:26 +0000 (14:14 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 4 Feb 2017 13:14:26 +0000 (14:14 +0100)
commit3928482a3c4fb71b8e6ccdcb362c030eef34a479
tree482ea8a72c3bae5bafc377136d10426898cb8ac5
parent911c44d164e04026bd3a3a2eb1bf0c5d9cca5c19
Add $cover cell type and SVA cover() support
14 files changed:
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verific/verific.cc
frontends/verilog/verilog_lexer.l
frontends/verilog/verilog_parser.y
kernel/celltypes.h
kernel/rtlil.cc
kernel/rtlil.h
manual/CHAPTER_CellLib.tex
passes/hierarchy/hierarchy.cc
passes/opt/opt_clean.cc
techlibs/common/simlib.v