diff --git a/Makefile b/Makefile
index 315dea7..1cdad89 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ DIR_BIN = ./bin
 SRC = $(wildcard ${DIR_SRC}/*.cpp)  
 OBJ = $(patsubst %.cpp,${DIR_OBJ}/%.o,$(notdir ${SRC})) 
 
-TARGET = MOLM
+TARGET = DOLM
 
 BIN_TARGET = ${DIR_BIN}/${TARGET}
 
diff --git a/abclib/NOR2.genlib b/abclib/NOR2.genlib
deleted file mode 100644
index 5decead..0000000
--- a/abclib/NOR2.genlib
+++ /dev/null
@@ -1,5 +0,0 @@
-GATE SET		1	Y=CONST0;
-GATE RESET		1	Y=CONST1;
-GATE BUFF		1	Y=A;						PIN * NONINV 1 999 0 0 0 0
-GATE NOT		1	Y=!A;						PIN * INV 1 999 0 0 0 0
-GATE NOR2X1		1	Y=!(A+B);					PIN * INV 1 999 0 0 0 0
\ No newline at end of file
diff --git a/include/Circuit.h b/include/Circuit.h
index 9d7a376..d757707 100644
--- a/include/Circuit.h
+++ b/include/Circuit.h
@@ -106,7 +106,6 @@ struct Circuit {
 
     void standard_cell_map(string lib);
     void lut_map(string lib);
-    void decompose(string var);
 
     void get_abc_result();
 
diff --git a/source/Circuit.cpp b/source/Circuit.cpp
index 3bbf692..afbe33f 100644
--- a/source/Circuit.cpp
+++ b/source/Circuit.cpp
@@ -34,10 +34,7 @@ Circuit::Circuit(string benchmark_)
         benchmark(benchmark_) {
     Dep = 0;
 
-    lut_map("6LUT.lutlib");
-    for (string s : output) {
-        decompose(s);
-    }
+    standard_cell_map("ALL.genlib");
 
     get_abc_result();
 
@@ -57,6 +54,10 @@ Circuit::~Circuit() {
     sprintf(lut_file, "%s_lut.blif", benchmark.c_str());            // lut mapping file
     remove(lut_file);
 
+    char std_file[256];
+    sprintf(std_file, "%s_standard.blif", benchmark.c_str());            // lut mapping file
+    remove(std_file);
+
     char abc_lut_file[256];
     sprintf(abc_lut_file, "%s_abc_lut.blif", benchmark.c_str());    // abc lut mapping file
     remove(abc_lut_file);
@@ -159,54 +160,6 @@ void Circuit::lut_map(string lib) {
     fin.close();
 }
 
-void Circuit::decompose(string var) {
-    if (graph[var]->depth != -1) {
-        return;
-    }
-    for (string s : graph[var]->pre) {
-        decompose(s);
-    }
-    while (graph[var]->pre.size() > 2) {
-        string min_depth_pre[2] = { "-1", "-1" };
-        for (string s : graph[var]->pre) {
-            if (min_depth_pre[0] == "-1" || graph[s]->depth < graph[min_depth_pre[0]]->depth) {
-                min_depth_pre[0] = s;
-                if (min_depth_pre[1] == "-1"
-                        || graph[min_depth_pre[0]]->depth < graph[min_depth_pre[1]]->depth) {
-                    swap(min_depth_pre[0], min_depth_pre[1]);
-                }
-            }
-        }
-        string dcp_var_name = "dcp_" + to_string(graph.size());
-        graph[dcp_var_name] = new Var(dcp_var_name, false, false);
-        graph[dcp_var_name]->depth = graph[min_depth_pre[0]]->depth + 1;
-        graph[dcp_var_name]->suc.push_back(var);
-        for (int i = 0; i < 2; ++i) {
-            graph[dcp_var_name]->pre.push_back(min_depth_pre[i]);
-            for (vector<string>::iterator iter = graph[var]->pre.begin(); iter != graph[var]->pre.end();
-                    ++iter) {
-                if (*iter == min_depth_pre[i]) {
-                    graph[var]->pre.erase(iter);
-                    break;
-                }
-            }
-            for (vector<string>::iterator iter = graph[min_depth_pre[i]]->suc.begin();
-                    iter != graph[min_depth_pre[i]]->suc.end(); ++iter) {
-                if (*iter == var) {
-                    graph[min_depth_pre[i]]->suc.erase(iter);
-                    break;
-                }
-            }
-            graph[min_depth_pre[i]]->suc.push_back(dcp_var_name);
-        }
-        graph[var]->pre.push_back(dcp_var_name);
-    }
-    for (string s : graph[var]->pre) {
-        graph[var]->depth = max(graph[var]->depth, graph[s]->depth);
-    }
-    ++graph[var]->depth;
-}
-
 void Circuit::get_abc_result() {
     memset(abc_lut, 0, sizeof(abc_lut));
     abc_lut_area = 0;