From 855976c61d7eb50b238fb9f6e793d80bff1e8ed7 Mon Sep 17 00:00:00 2001 From: CUNXI YU Date: Sun, 27 Aug 2023 11:19:26 -0600 Subject: [PATCH] correct the naming of augmentation --- src/base/abci/abc.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6b5c4ebca..94ca326df 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -7691,11 +7691,11 @@ int Abc_CommandAIGAugmentation( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: aigaug [-s ] [-d ][-zZdsh]\n" ); - Abc_Print( -2, "\t performs technology-independent AIG random synthesis (node level) for RTL argumentation\n" ); + Abc_Print( -2, "\t performs technology-independent AIG random synthesis (node level) for RTL augmentation\n" ); Abc_Print( -2, "\t-z : toggle using zero-cost replacements for rwr for aigaug [default = %s]\n", fUseZeros_rwr? "yes": "no" ); Abc_Print( -2, "\t-Z : toggle using zero-cost replacements for ref for aigaug [default = %s]\n", fUseZeros_ref? "yes": "no" ); - Abc_Print( -2, "\t-d : record random synthesis decision made during argumentation [required filename; e.g., test.csv]\n"); - Abc_Print( -2, "\t-s : set the random seed for random argumentation\n"); + Abc_Print( -2, "\t-d : record random synthesis decision made during augmentation [required filename; e.g., test.csv]\n"); + Abc_Print( -2, "\t-s : set the random seed for random augmentation\n"); Abc_Print( -2, "\t-v : toggle verbose printout [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); Abc_Print( -2, "\tExample : read i10.aig;st;aigaug -s 1 -d test.csv;write i10_arg_1.aig;cec i10.aig i10_arg_1.aig\n");