From e063b96104985aedfc2ce9f518415fec1d2d2d5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Thu, 25 Jul 2024 11:43:19 +0200 Subject: [PATCH] synthprop: Reformat the help --- passes/sat/synthprop.cc | 26 ++++++++------------------ 1 file changed, 8 insertions(+), 18 deletions(-) diff --git a/passes/sat/synthprop.cc b/passes/sat/synthprop.cc index 25416b6c4..5553abec2 100644 --- a/passes/sat/synthprop.cc +++ b/passes/sat/synthprop.cc @@ -185,35 +185,25 @@ struct SyntProperties : public Pass { log("\n"); log(" synthprop [options]\n"); log("\n"); - log("This creates synthesizable properties for selected module.\n"); + log("This creates synthesizable properties for the selected module.\n"); log("\n"); log("\n"); log(" -name \n"); - log("\n"); - log("Name output port for assertions (default: assertions).\n"); - log("\n"); + log(" name of the output port for assertions (default: assertions).\n"); log("\n"); log(" -map \n"); - log("\n"); - log("Write port mapping for synthesizable properties.\n"); - log("\n"); + log(" write the port mapping for synthesizable properties into the given file.\n"); log("\n"); log(" -or_outputs\n"); - log("\n"); - log("Or all outputs together to create a single output that goes high when any\n"); - log("property is violated, instead of generating individual output bits.\n"); - log("\n"); + log(" Or all outputs together to create a single output that goes high when\n"); + log(" any property is violated, instead of generating individual output bits.\n"); log("\n"); log(" -reset \n"); - log("\n"); - log("Name of top-level reset input. Latch a high state on the generated outputs\n"); - log("until an asynchronous top-level reset input is activated.\n"); - log("\n"); + log(" name of the top-level reset input. Latch a high state on the generated\n"); + log(" outputs until an asynchronous top-level reset input is activated.\n"); log("\n"); log(" -resetn \n"); - log("\n"); - log("Name of top-level reset input (inverse polarity). Latch a high state on the\n"); - log("generated outputs until an asynchronous top-level reset input is activated.\n"); + log(" like above but with inverse polarity\n"); log("\n"); log("\n"); }