Added $_BUF_ cell type
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)
kernel/celltypes.h
kernel/rtlil.cc
passes/abc/abc.cc
passes/opt/opt_clean.cc
techlibs/common/simcells.v

index 85c21ef3c470cebc810f1280056a3309b0e9d909..2774073dcbd24d14af1e056ac6708afe81315eea 100644 (file)
@@ -130,6 +130,7 @@ struct CellTypes
 
        void setup_stdcells()
        {
+               setup_type("$_BUF_", {"\\A"}, {"\\Y"}, true);
                setup_type("$_NOT_", {"\\A"}, {"\\Y"}, true);
                setup_type("$_AND_", {"\\A", "\\B"}, {"\\Y"}, true);
                setup_type("$_NAND_", {"\\A", "\\B"}, {"\\Y"}, true);
@@ -261,6 +262,8 @@ struct CellTypes
                HANDLE_CELL_TYPE(neg)
 #undef HANDLE_CELL_TYPE
 
+               if (type == "$_BUF_")
+                       return arg1;
                if (type == "$_NOT_")
                        return eval_not(arg1);
                if (type == "$_AND_")
index 00be796f85b7c41acc6c1e370bca217cbd2dbf20..89132ea2923bc1da5bf4f29d9a41d4c2bae1e0a8 100644 (file)
@@ -870,6 +870,7 @@ namespace {
                                return;
                        }
 
+                       if (cell->type == "$_BUF_")  { check_gate("AY"); return; }
                        if (cell->type == "$_NOT_")  { check_gate("AY"); return; }
                        if (cell->type == "$_AND_")  { check_gate("ABY"); return; }
                        if (cell->type == "$_NAND_") { check_gate("ABY"); return; }
index 1a7de066384c077290226634e4cafc58e0481820..3e10541181ee4eeb119ec13a0d9239ab878f4874 100644 (file)
@@ -59,6 +59,7 @@ PRIVATE_NAMESPACE_BEGIN
 enum class gate_type_t {
        G_NONE,
        G_FF,
+       G_BUF,
        G_NOT,
        G_AND,
        G_NAND,
@@ -160,7 +161,7 @@ static void extract_cell(RTLIL::Cell *cell, bool keepff)
                return;
        }
 
-       if (cell->type == "$_NOT_")
+       if (cell->type.in("$_BUF_", "$_NOT_"))
        {
                RTLIL::SigSpec sig_a = cell->getPort("\\A");
                RTLIL::SigSpec sig_y = cell->getPort("\\Y");
@@ -168,7 +169,7 @@ static void extract_cell(RTLIL::Cell *cell, bool keepff)
                assign_map.apply(sig_a);
                assign_map.apply(sig_y);
 
-               map_signal(sig_y, G(NOT), map_signal(sig_a));
+               map_signal(sig_y, cell->type == "$_BUF_" ? G(BUF) : G(NOT), map_signal(sig_a));
 
                module->remove(cell);
                return;
@@ -645,7 +646,10 @@ static void abc_module(RTLIL::Design *design, RTLIL::Module *current_module, std
 
        int count_gates = 0;
        for (auto &si : signal_list) {
-               if (si.type == G(NOT)) {
+               if (si.type == G(BUF)) {
+                       fprintf(f, ".names n%d n%d\n", si.in1, si.id);
+                       fprintf(f, "1 1\n");
+               } else if (si.type == G(NOT)) {
                        fprintf(f, ".names n%d n%d\n", si.in1, si.id);
                        fprintf(f, "0 1\n");
                } else if (si.type == G(AND)) {
index 15bbf54e0fdef175143b0ab6c99d521c35f995e2..004a2078a972e98d6827f27d73994e5d0e078eb8 100644 (file)
@@ -295,8 +295,8 @@ void rmunused_module(RTLIL::Module *module, bool purge_mode, bool verbose)
 
        std::vector<RTLIL::Cell*> delcells;
        for (auto cell : module->cells())
-               if (cell->type == "$pos") {
-                       bool is_signed = cell->getParam("\\A_SIGNED").as_bool();
+               if (cell->type.in("$pos", "$_BUF_")) {
+                       bool is_signed = cell->type == "$pos" && cell->getParam("\\A_SIGNED").as_bool();
                        RTLIL::SigSpec a = cell->getPort("\\A");
                        RTLIL::SigSpec y = cell->getPort("\\Y");
                        a.extend_u0(SIZE(y), is_signed);
index a2a37735023e89fdfe04bc9b984b5354a4a3ac80..88566411ada3f0a039f953b6d92104cd1965140f 100644 (file)
  *
  */
 
+module  \$_BUF_ (A, Y);
+input A;
+output Y;
+assign Y = A;
+endmodule
+
 module  \$_NOT_ (A, Y);
 input A;
 output Y;