Skip to content

Commit

Permalink
Refactor(Typo): Typo in ACD
Browse files Browse the repository at this point in the history
  • Loading branch information
wjrforcyber committed Oct 7, 2023
1 parent fb6a472 commit c2fdb86
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/base/abci/abcLutmin.c
Original file line number Diff line number Diff line change
Expand Up @@ -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 )
Expand Down

0 comments on commit c2fdb86

Please sign in to comment.