diff --git a/techlibs/nanoxplore/cells_sim.v b/techlibs/nanoxplore/cells_sim.v
index 2a4b5b00f..35b1574ba 100644
--- a/techlibs/nanoxplore/cells_sim.v
+++ b/techlibs/nanoxplore/cells_sim.v
@@ -1,3 +1,4 @@
+(* abc9_lut=1 *)
 module NX_LUT(input I1, I2, I3, I4, output O);
 
 parameter lut_table = 16'h0000;
diff --git a/techlibs/nanoxplore/synth_nanoxplore.cc b/techlibs/nanoxplore/synth_nanoxplore.cc
index d5e77daaa..c4c625cb5 100644
--- a/techlibs/nanoxplore/synth_nanoxplore.cc
+++ b/techlibs/nanoxplore/synth_nanoxplore.cc
@@ -229,9 +229,10 @@ struct SynthNanoXplorePass : public ScriptPass
 
 		if (check_label("map_ffram"))
 		{
-			run("opt -fast -mux_undef -undriven -fine");
+			//run("opt -fast -mux_undef -undriven -fine");
 			run("memory_map");
-			run("opt -undriven -fine -mux_undef");
+			run("opt -full");
+			//run("opt -undriven -fine -mux_undef");
 		}
 
 		if (check_label("map_gates"))