Added basic support for $expect cells
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Jul 2016 14:56:17 +0000 (16:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 13 Jul 2016 14:56:17 +0000 (16:56 +0200)
commit721f1f5ecfb6334904f6058d6d376d21b5efc438
tree3573f744b6d7c33f55dd06a152d4ff199cf30b22
parentb3155af5f65333d272da339222e1e1962fb088b7
Added basic support for $expect cells
16 files changed:
README
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verilog/verilog_lexer.l
frontends/verilog/verilog_parser.y
kernel/celltypes.h
kernel/rtlil.cc
kernel/rtlil.h
kernel/satgen.h
manual/CHAPTER_CellLib.tex
passes/hierarchy/hierarchy.cc
passes/opt/opt_clean.cc
passes/tests/test_cell.cc
techlibs/common/simlib.v