synth_gatemate: Update pass

* remove `write_edif` and `write_blif` options
* remove redundant `abc` call before muxcover
* update style

techlibs/gatemate/synth_gatemate.cc

@@ -44,14 +44,6 @@ struct SynthGateMatePass : public ScriptPass
 		log("        write the design to the specified verilog file. Writing of an output\n");
 		log("        file is omitted if this parameter is not specified.\n");
 		log("\n");
-		log("    -blif <file>\n");
-		log("        write the design to the specified BLIF file. Writing of an output file\n");
-		log("        is omitted if this parameter is not specified.\n");
-		log("\n");
-		log("    -edif <file>\n");
-		log("        write the design to the specified EDIF file. Writing of an output file\n");
-		log("        is omitted if this parameter is not specified.\n");
-		log("\n");
 		log("    -json <file>\n");
 		log("        write the design to the specified JSON file. Writing of an output file\n");
 		log("        is omitted if this parameter is not specified.\n");
@@ -77,7 +69,7 @@ struct SynthGateMatePass : public ScriptPass
 		log("        do not use CC_MX{8,4} multiplexer cells in output netlist.\n");
 		log("\n");;
 		log("    -dff\n");
-		log("        run 'abc'/'abc9' with -dff option\n");
+		log("        run 'abc' with -dff option\n");
 		log("\n");
 		log("    -retime\n");
 		log("        run 'abc' with '-dff -D 1' options\n");
@@ -94,15 +86,13 @@ struct SynthGateMatePass : public ScriptPass
 		log("\n");
 	}
 
-	string top_opt, vlog_file, blif_file, edif_file, json_file;
+	string top_opt, vlog_file, json_file;
 	bool noflatten, nobram, noaddf, nomult, nomx4, nomx8, dff, retime, noiopad, noclkbuf;
 
 	void clear_flags() override
 	{
 		top_opt = "-auto-top";
 		vlog_file = "";
-		blif_file = "";
-		edif_file = "";
 		json_file = "";
 		noflatten = false;
 		nobram = false;
@@ -132,14 +122,6 @@ struct SynthGateMatePass : public ScriptPass
 				vlog_file = args[++argidx];
 				continue;
 			}
-			if (args[argidx] == "-blif" && argidx+1 < args.size()) {
-				blif_file = args[++argidx];
-				continue;
-			}
-			if (args[argidx] == "-edif" && argidx+1 < args.size()) {
-				edif_file = args[++argidx];
-				continue;
-			}
 			if (args[argidx] == "-json" && argidx+1 < args.size()) {
 				json_file = args[++argidx];
 				continue;
@@ -233,18 +215,17 @@ struct SynthGateMatePass : public ScriptPass
 			run("wreduce");
 			run("peepopt");
 			run("opt_clean");
+			run("muxpack");
 			run("share");
 			run("techmap -map +/cmp2lut.v -D LUT_WIDTH=4");
 			run("opt_expr");
 			run("opt_clean");
 		}
 
-		if (check_label("map_mult", "(skip if '-nomult')"))
+		if (check_label("map_mult", "(skip if '-nomult')") && !nomult)
 		{
-			if (!nomult) {
 			run("techmap -map +/gatemate/mul_map.v");
 		}
-		}
 
 		if (check_label("coarse"))
 		{
@@ -254,9 +235,8 @@ struct SynthGateMatePass : public ScriptPass
 			run("opt_clean");
 		}
 
-		if (check_label("map_bram", "(skip if '-nobram')"))
+		if (check_label("map_bram", "(skip if '-nobram')") && !nobram)
 		{
-			if (!nobram) {
 			run("memory_bram -rules +/gatemate/brams.txt");
 			run("setundef -zero -params "
 				"t:$__CC_BRAM_CASCADE "
@@ -265,7 +245,6 @@ struct SynthGateMatePass : public ScriptPass
 			);
 			run("techmap -map +/gatemate/brams_map.v");
 		}
-		}
 
 		if (check_label("map_ffram"))
 		{
@@ -287,9 +266,8 @@ struct SynthGateMatePass : public ScriptPass
 			}
 		}
 
-		if (check_label("map_io", "(skip if '-noiopad')"))
+		if (check_label("map_io", "(skip if '-noiopad')") && !noiopad)
 		{
-			if (!noiopad) {
 			run("iopadmap -bits "
 				"-inpad CC_IBUF Y:I "
 				"-outpad CC_OBUF A:O "
@@ -299,7 +277,6 @@ struct SynthGateMatePass : public ScriptPass
 			run("techmap -map +/gatemate/iob_map.v");
 			run("clean");
 		}
-		}
 
 		if (check_label("map_regs"))
 		{
@@ -313,7 +290,6 @@ struct SynthGateMatePass : public ScriptPass
 
 		if (check_label("map_muxs"))
 		{
-			run("abc -g simple"); // optimize design before muxcover
 			std::string muxcover_args;
 			if (!nomx4) {
 				muxcover_args += stringf(" -mux4");
@@ -342,13 +318,11 @@ struct SynthGateMatePass : public ScriptPass
 			run("clean");
 		}
 
-		if (check_label("map_bufg", "(skip if '-noclkbuf')"))
+		if (check_label("map_bufg", "(skip if '-noclkbuf')") && !noclkbuf)
 		{
-			if (!noclkbuf) {
 			run("clkbufmap -buf CC_BUFG O:I");
 			run("clean");
 		}
-		}
 
 		if (check_label("check"))
 		{
@@ -366,26 +340,12 @@ struct SynthGateMatePass : public ScriptPass
 			}
 		}
 
-		if (check_label("edif"))
-		{
-			if (!edif_file.empty() || help_mode) {
-				run(stringf("write_edif %s", help_mode ? "<file-name>" : edif_file.c_str()));
-			}
-		}
-
 		if (check_label("json"))
 		{
 			if (!json_file.empty() || help_mode) {
 				run(stringf("write_json %s", help_mode ? "<file-name>" : json_file.c_str()));
 			}
 		}
-
-		if (check_label("blif"))
-		{
-			if (!blif_file.empty() || help_mode) {
-				run(stringf("write_blif %s", edif_file.c_str()));
-			}
-		}
 	}
 } SynthGateMatePass;
 

tests/arch/gatemate/mux.ys

@@ -7,8 +7,10 @@ proc
 equiv_opt -assert -map +/gatemate/cells_sim.v synth_gatemate -noiopad # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux4 # Constrain all select calls below inside the top module
-select -assert-count 1 t:CC_MX4
+select -assert-max 1 t:CC_LUT2
-select -assert-none t:CC_MX4 %% t:* %D
+select -assert-max 2 t:CC_LUT4
+select -assert-max 1 t:CC_MX2
+select -assert-none t:CC_LUT2 t:CC_LUT4 t:CC_MX2 %% t:* %D
 
 design -load read
 hierarchy -top mux8
@@ -16,5 +18,7 @@ proc
 equiv_opt -assert -map +/gatemate/cells_sim.v synth_gatemate -noiopad # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux8 # Constrain all select calls below inside the top module
-select -assert-count 1 t:CC_MX8
+select -assert-max 1 t:CC_LUT3
-select -assert-none t:CC_MX8 %% t:* %D
+select -assert-max 5 t:CC_LUT4
+select -assert-max 1 t:CC_MX2
+select -assert-none t:CC_LUT3 t:CC_LUT4 t:CC_MX2 %% t:* %D