From 23e54bda8138521a7a7f4fde40a6f360e8c9c19c Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 27 Jan 2015 23:04:28 +0000 Subject: Added "sat -show-ports" --- passes/sat/sat.cc | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index b73417e8..468b49fd 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -850,8 +850,8 @@ struct SatPass : public Pass { log(" show the model for the specified signal. if no -show option is\n"); log(" passed then a set of signals to be shown is automatically selected.\n"); log("\n"); - log(" -show-inputs, -show-outputs\n"); - log(" add all module input (output) ports to the list of shown signals\n"); + log(" -show-inputs, -show-outputs, -show-ports\n"); + log(" add all module (input/output) ports to the list of shown signals\n"); log("\n"); log(" -ignore_div_by_zero\n"); log(" ignore all solutions that involve a division by zero\n"); @@ -1130,6 +1130,11 @@ struct SatPass : public Pass { show_outputs = true; continue; } + if (args[argidx] == "-show-ports") { + show_inputs = true; + show_outputs = true; + continue; + } if (args[argidx] == "-ignore_unknown_cells") { ignore_unknown_cells = true; continue; -- cgit v1.2.3