version 5.0

pull/1/head
panhongyang0 2022-12-20 21:59:59 -05:00
parent 4f5f816173
commit 12cddaa91d
9 changed files with 15 additions and 16 deletions

View File

@ -69,7 +69,7 @@ class balance_command : public command {
private:
};
ALICE_ADD_COMMAND(balance, "Logic synthesis")
ALICE_ADD_COMMAND(balance, "Synthesis")
} // namespace alice

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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");

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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");