synth_ice40: Rework the vpr blif output slightly.

diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index 42873305ecfbb7f6ddf29fdc77e73feaec4c6396..10a1d600b6b9daddde1f456fc05a0c1df5e4728d 100644 (file)
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -260,13 +260,17 @@ struct SynthIce40Pass : public ScriptPass
                        if (!blif_file.empty() || help_mode) {
                                if (vpr || help_mode) {
                                        run(stringf("opt_clean -purge"),
-                                                       "                          (vpr mode)");
-                                       run(stringf("write_blif %s", help_mode ? "<file-name>" : blif_file.c_str()),
-                                                       "                    (vpr mode)");
+                                               "                                        "
+                                               " (vpr mode)");
+                                       run(stringf("write_blif -attr -cname -conn -param %s",
+                                                               help_mode ? "<file-name>" : blif_file.c_str()),
+                                               " (vpr mode)");
                                }
                                if (!vpr)
                                        run(stringf("write_blif -gates -attr -param %s",
-                                                       help_mode ? "<file-name>" : blif_file.c_str()), "(non-vpr mode)");
+                                                               help_mode ? "<file-name>" : blif_file.c_str()),
+                                               "              "
+                                               " (non-vpr mode)");
                        }
                }