From 136bae27d890cf9eb71f16200107cef6e2fa64f7 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sat, 16 Sep 2023 19:43:03 +0800 Subject: [PATCH 1/8] Refactor(Typo): Typo update in read_aiger comment --- src/base/io/ioReadAiger.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index 9cf41413d9..93cfef2da5 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -433,7 +433,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) else { assert( Init == Abc_Var2Lit(1+Abc_NtkPiNum(pNtkNew)+i, 0) ); - // unitialized value of the latch is the latch literal according to http://fmv.jku.at/hwmcc11/beyond1.pdf + // uninitialized value of the latch is the latch literal according to http://fmv.jku.at/hwmcc11/beyond1.pdf Abc_LatchSetInitDc( Abc_NtkBox(pNtkNew, i) ); } while ( *pCur != ' ' && *pCur != '\n' ) pCur++; From 6e1323caa2ec4b37cfc689c385ae4fd9c6d507d5 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sat, 16 Sep 2023 22:31:47 +0800 Subject: [PATCH 2/8] Refactor(Typo): Typo update in bblif comment --- src/misc/bbl/bblif.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/misc/bbl/bblif.h b/src/misc/bbl/bblif.h index b485937017..af6025da3b 100644 --- a/src/misc/bbl/bblif.h +++ b/src/misc/bbl/bblif.h @@ -237,7 +237,7 @@ extern void Bbl_ManDumpBinaryBlif( Bbl_Man_t * p, char * pFileName ); // (3) reading the data manager from file extern Bbl_Man_t * Bbl_ManReadBinaryBlif( char * pFileName ); -// (4) returning the mapped network after reading the data manaager from file +// (4) returning the mapped network after reading the data manager from file extern char * Bbl_ManName( Bbl_Man_t * p ); extern int Bbl_ObjIsInput( Bbl_Obj_t * p ); extern int Bbl_ObjIsOutput( Bbl_Obj_t * p ); From 7ec8f170949ea44bda3c9ab2b3235cb6bfa45a77 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sun, 17 Sep 2023 13:27:00 +0800 Subject: [PATCH 3/8] Refactor(Typo): Typo update in write_aiger message --- src/base/io/ioWriteAiger.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index 0a68c7eec9..cad335d4f4 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -680,7 +680,7 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f b.f = fopen( pFileName, "wb" ); if ( b.f == NULL ) { - fprintf( stdout, "Ioa_WriteBlif(): Cannot open the output file \"%s\".\n", pFileName ); + fprintf( stdout, "Io_WriteAiger(): Cannot open the output file \"%s\".\n", pFileName ); ABC_FREE(b.buf); return; } @@ -688,7 +688,7 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f b.b = BZ2_bzWriteOpen( &bzError, b.f, 9, 0, 0 ); if ( bzError != BZ_OK ) { BZ2_bzWriteClose( &bzError, b.b, 0, NULL, NULL ); - fprintf( stdout, "Ioa_WriteBlif(): Cannot start compressed stream.\n" ); + fprintf( stdout, "Io_WriteAiger(): Cannot start compressed stream.\n" ); fclose( b.f ); ABC_FREE(b.buf); return; From 05c897a7534d2bfa9f30c58306bd344a0f028afc Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sun, 17 Sep 2023 19:34:56 +0800 Subject: [PATCH 4/8] Refactor(Typo): Typo in read_aiger --- src/base/io/ioReadAiger.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index 93cfef2da5..200247bbda 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -440,7 +440,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) } if ( *pCur != '\n' ) { - fprintf( stdout, "The initial value of latch number %d is not recongnized.\n", i ); + fprintf( stdout, "The initial value of latch number %d is not recognized.\n", i ); return NULL; } pCur++; From eae19f7a626f81378d50694fc21cb221e1c82a74 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Mon, 18 Sep 2023 13:56:18 +0800 Subject: [PATCH 5/8] Refactor(Typo): Typo in strash --- src/base/abci/abc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 4bb3a43441..4fe3e00144 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -3775,7 +3775,7 @@ int Abc_CommandStrash( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -2, "usage: strash [-acrih]\n" ); Abc_Print( -2, "\t transforms combinational logic into an AIG\n" ); Abc_Print( -2, "\t-a : toggles between using all nodes and DFS nodes [default = %s]\n", fAllNodes? "all": "DFS" ); - Abc_Print( -2, "\t-c : toggles cleanup to remove the dagling AIG nodes [default = %s]\n", fCleanup? "all": "DFS" ); + Abc_Print( -2, "\t-c : toggles cleanup to remove the dangling AIG nodes [default = %s]\n", fCleanup? "all": "DFS" ); Abc_Print( -2, "\t-r : toggles using the record of AIG subgraphs [default = %s]\n", fRecord? "yes": "no" ); Abc_Print( -2, "\t-i : toggles complementing the POs of the AIG [default = %s]\n", fComplOuts? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); From 3781c1df612a45bbebe041cd1af2ec1d3b2d44ff Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sun, 24 Sep 2023 19:31:37 +0800 Subject: [PATCH 6/8] Refactor(Typo): Link is NOT FOUND page(not available), change to the book name --- src/base/abci/abc.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 4fe3e00144..c999561493 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9343,8 +9343,7 @@ int Abc_CommandTwoExact( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -2, "\t synthesizes the smallest circuit composed of two-input gates\n" ); Abc_Print( -2, "\t for the only NPN class of 5-input functions that requires 12 gates;\n" ); Abc_Print( -2, "\t all other functions can be realized with 11 two-input gates or less\n" ); - Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book by Donald Knuth\n" ); - Abc_Print( -2, "\t http://www.cs.utsa.edu/~wagner/knuth/fasc0c.pdf)\n" ); + Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book The Art of Computer Programming by Donald Knuth)\n" ); return 1; } From ecf6255985f162cb26e3f4e33de28bf94728c77d Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Tue, 26 Sep 2023 14:24:02 +0800 Subject: [PATCH 7/8] Refactor(Typo):Missing a parameter fUseLutLib and use fSaveBest twice --- src/base/abci/abc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c999561493..70f83bf625 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -1547,7 +1547,7 @@ int Abc_CommandPrintStats( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -2, "\t-f : toggles printing the literal count in the factored forms [default = %s]\n", fFactor? "yes": "no" ); Abc_Print( -2, "\t-b : toggles saving the best logic network in \"best.blif\" [default = %s]\n", fSaveBest? "yes": "no" ); Abc_Print( -2, "\t-d : toggles dumping statistics about the network into file [default = %s]\n", fDumpResult? "yes": "no" ); - Abc_Print( -2, "\t-l : toggles printing delay of LUT mapping using LUT library [default = %s]\n", fSaveBest? "yes": "no" ); + Abc_Print( -2, "\t-l : toggles printing delay of LUT mapping using LUT library [default = %s]\n", fUseLutLib? "yes": "no" ); Abc_Print( -2, "\t-t : toggles printing runtime statistics [default = %s]\n", fPrintTime? "yes": "no" ); Abc_Print( -2, "\t-m : toggles printing MUX statistics [default = %s]\n", fPrintMuxes? "yes": "no" ); Abc_Print( -2, "\t-p : toggles printing power dissipation due to switching [default = %s]\n", fPower? "yes": "no" ); From c2fdb86a4db8d3d37f2963787589289d1802ac16 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Sat, 7 Oct 2023 13:53:22 +0800 Subject: [PATCH 8/8] Refactor(Typo): Typo in ACD --- src/base/abci/abcLutmin.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base/abci/abcLutmin.c b/src/base/abci/abcLutmin.c index 11605eb142..8a4e679ab5 100644 --- a/src/base/abci/abcLutmin.c +++ b/src/base/abci/abcLutmin.c @@ -430,10 +430,10 @@ Abc_Obj_t * Abc_NtkBddCurtis( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pNode, Vec_Ptr_t int b, c, u, i; assert( nBits + 2 <= nLutSize ); assert( nLutSize < Abc_ObjFaninNum(pNode) ); - // start BDDs for the decompoosed blocks + // start BDDs for the decomposed blocks for ( b = 0; b < nBits; b++ ) bBits[b] = Cudd_ReadLogicZero(ddNew), Cudd_Ref( bBits[b] ); - // add each bound set minterm to one of the blccks + // add each bound set minterm to one of the blocks Vec_PtrForEachEntry( DdNode *, vCofs, bCof, c ) { Vec_PtrForEachEntry( DdNode *, vUniq, bUniq, u )