From 12cddaa91df8861379d000aa79da5d16cea3f355 Mon Sep 17 00:00:00 2001 From: panhongyang0 Date: Tue, 20 Dec 2022 21:59:59 -0500 Subject: [PATCH] version 5.0 --- src/commands/balance.hpp | 2 +- src/commands/convert_graph.hpp | 4 ++-- src/commands/cut_rewriting.hpp | 4 ++-- src/commands/functional_reduction.hpp | 4 ++-- src/commands/lut_mapping.hpp | 2 +- src/commands/node_resynthesis.hpp | 5 ++--- src/commands/refactor.hpp | 4 ++-- src/commands/resub.hpp | 4 ++-- src/commands/techmap.hpp | 2 +- 9 files changed, 15 insertions(+), 16 deletions(-) diff --git a/src/commands/balance.hpp b/src/commands/balance.hpp index 2888f41..b9ca225 100644 --- a/src/commands/balance.hpp +++ b/src/commands/balance.hpp @@ -69,7 +69,7 @@ class balance_command : public command { private: }; -ALICE_ADD_COMMAND(balance, "Logic synthesis") +ALICE_ADD_COMMAND(balance, "Synthesis") } // namespace alice diff --git a/src/commands/convert_graph.hpp b/src/commands/convert_graph.hpp index 114a731..72bcd2f 100644 --- a/src/commands/convert_graph.hpp +++ b/src/commands/convert_graph.hpp @@ -24,7 +24,7 @@ namespace alice { class create_graph_command : public command { public: explicit create_graph_command(const environment::ptr& env) - : command(env, "functional reduction : using AIG as default") { + : command(env, "functional reduction [default = AIG]") { add_option("-e,--expression", expression, "creates new graph from expression"); add_flag("--mig, -m", "functional reduction for MIG"); @@ -97,7 +97,7 @@ class create_graph_command : public command { string expression = ""; }; -ALICE_ADD_COMMAND(create_graph, "Logic synthesis") +ALICE_ADD_COMMAND(create_graph, "Synthesis") } // namespace alice diff --git a/src/commands/cut_rewriting.hpp b/src/commands/cut_rewriting.hpp index 2b54810..893a22c 100644 --- a/src/commands/cut_rewriting.hpp +++ b/src/commands/cut_rewriting.hpp @@ -41,7 +41,7 @@ namespace alice { class rewrite_command : public command { public: explicit rewrite_command(const environment::ptr& env) - : command(env, "on-the-fly DAG-aware logic rewriting") { + : command(env, "on-the-fly DAG-aware logic rewriting [default = AIG]") { add_flag("--xmg, -x", "rewriting for XMG"); add_flag("--mig, -m", "rewriting for MIG"); add_flag("--xag, -g", "rewriting for XAG"); @@ -171,7 +171,7 @@ class rewrite_command : public command { } }; -ALICE_ADD_COMMAND(rewrite, "Logic synthesis") +ALICE_ADD_COMMAND(rewrite, "Synthesis") } // namespace alice diff --git a/src/commands/functional_reduction.hpp b/src/commands/functional_reduction.hpp index cbcb98b..3a30a48 100644 --- a/src/commands/functional_reduction.hpp +++ b/src/commands/functional_reduction.hpp @@ -30,7 +30,7 @@ namespace alice { class reduction_command : public command { public: explicit reduction_command(const environment::ptr& env) - : command(env, "functional reduction : using AIG as default") { + : command(env, "functional reduction [default = AIG]") { add_flag("--mig, -m", "functional reduction for MIG"); add_flag("--xag, -g", "functional reduction for XAG"); add_flag("--xmg, -x", "functional reduction for XMG"); @@ -82,7 +82,7 @@ class reduction_command : public command { private: }; -ALICE_ADD_COMMAND(reduction, "Logic synthesis") +ALICE_ADD_COMMAND(reduction, "Synthesis") } // namespace alice diff --git a/src/commands/lut_mapping.hpp b/src/commands/lut_mapping.hpp index 1aba6bf..52f87a2 100644 --- a/src/commands/lut_mapping.hpp +++ b/src/commands/lut_mapping.hpp @@ -31,7 +31,7 @@ namespace alice { class lut_mapping_command : public command { public: explicit lut_mapping_command(const environment::ptr &env) - : command(env, "LUT mapping : using AIG as default") { + : command(env, "LUT mapping [default = AIG]") { add_option("cut_size, -k", cut_size, "set the cut size from 2 to 8, default = 4"); add_flag("--verbose, -v", "print the information"); diff --git a/src/commands/node_resynthesis.hpp b/src/commands/node_resynthesis.hpp index 40ebdfd..035f81f 100644 --- a/src/commands/node_resynthesis.hpp +++ b/src/commands/node_resynthesis.hpp @@ -40,8 +40,7 @@ class resyn_command : public command { public: explicit resyn_command(const environment::ptr& env) : command(env, - "performs technology-independent restructuring : using MIG as " - "default") { + "performs technology-independent restructuring [default = MIG]") { add_flag("--xmg, -x", "Resubstitution for XMG"); add_flag("--xag, -g", "Resubstitution for XAG"); add_flag("--direct, -d", "Node resynthesis with direct synthesis"); @@ -107,7 +106,7 @@ class resyn_command : public command { } }; -ALICE_ADD_COMMAND(resyn, "Logic synthesis") +ALICE_ADD_COMMAND(resyn, "Synthesis") } // namespace alice diff --git a/src/commands/refactor.hpp b/src/commands/refactor.hpp index 37f0ec3..1fa96d6 100644 --- a/src/commands/refactor.hpp +++ b/src/commands/refactor.hpp @@ -31,7 +31,7 @@ namespace alice { class refactor_command : public command { public: explicit refactor_command(const environment::ptr& env) - : command(env, "performs technology-independent refactoring") { + : command(env, "performs technology-independent refactoring [default = AIG]") { add_flag("--mig, -m", "refactoring for MIG"); add_flag("--xag, -g", "refactoring for XAG"); add_flag("--xmg, -x", "refactoring for XMG"); @@ -128,7 +128,7 @@ class refactor_command : public command { private: }; -ALICE_ADD_COMMAND(refactor, "Logic synthesis") +ALICE_ADD_COMMAND(refactor, "Synthesis") } // namespace alice diff --git a/src/commands/resub.hpp b/src/commands/resub.hpp index 7718a27..c3408c2 100644 --- a/src/commands/resub.hpp +++ b/src/commands/resub.hpp @@ -40,7 +40,7 @@ namespace alice { class resub_command : public command { public: explicit resub_command(const environment::ptr& env) - : command(env, "performs technology-independent restructuring : using AIG as default") { + : command(env, "performs technology-independent restructuring [default = AIG]") { add_flag("--xmg, -x", "Resubstitution for XMG"); add_flag("--mig, -m", "Resubstitution for MIG"); add_flag("--xag, -g", "Resubstitution for XAG"); @@ -137,7 +137,7 @@ class resub_command : public command { } }; -ALICE_ADD_COMMAND(resub, "Logic synthesis") +ALICE_ADD_COMMAND(resub, "Synthesis") } // namespace alice diff --git a/src/commands/techmap.hpp b/src/commands/techmap.hpp index 0f71b78..cb90083 100644 --- a/src/commands/techmap.hpp +++ b/src/commands/techmap.hpp @@ -29,7 +29,7 @@ namespace alice { class techmap_command: public command { public: explicit techmap_command(const environment::ptr& env) - : command(env, "Standard cell mapping : using AIG as default") { + : command(env, "Standard cell mapping [default = AIG]") { add_flag("--xmg, -x", "Standard cell mapping for XMG"); add_flag("--mig, -m", "Standard cell mapping for MIG"); add_flag("--lut, -l", "Standard cell mapping for k-LUT");