diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-10 14:45:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-10 14:45:24 -0700 |
| commit | cc0e5d4f1dd0b1ae786328e542fbb62f90086c65 (patch) | |
| tree | 510fe600f74a32893ff0c2829b36102ef47a5d1f | |
| parent | d261e617fceb608d04754c5873c225142899473b (diff) | |
| download | abc-cc0e5d4f1dd0b1ae786328e542fbb62f90086c65.tar.gz abc-cc0e5d4f1dd0b1ae786328e542fbb62f90086c65.tar.bz2 abc-cc0e5d4f1dd0b1ae786328e542fbb62f90086c65.zip | |
Added procedure to check correctness of the topo order during AIG construction.
| -rw-r--r-- | src/aig/miniaig/miniaig.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index 566be54f..4c8a9203 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -235,6 +235,33 @@ static int Mini_AigXor( Mini_Aig_t * p, int Lit0, int Lit1 ) return Mini_AigMux( p, Lit0, Mini_AigLitNot(Lit1), Lit1 ); } +// procedure to check the topological order during AIG construction +static int Mini_AigCheck( Mini_Aig_t * p ) +{ + int status = 1; + int i, iFaninLit0, iFaninLit1; + Mini_AigForEachAnd( p, i ) + { + // get the fanin literals of this AND node + iFaninLit0 = Mini_AigNodeFanin0( p, i ); + iFaninLit1 = Mini_AigNodeFanin1( p, i ); + // compare the fanin literals with the literal of the current node (2 * i) + if ( iFaninLit0 >= 2 * i ) + printf( "Fanin0 of AND node %d is not in a topological order.\n", i ), status = 0; + if ( iFaninLit1 >= 2 * i ) + printf( "Fanin0 of AND node %d is not in a topological order.\n", i ), status = 0; + } + Mini_AigForEachPo( p, i ) + { + // get the fanin literal of this PO node + iFaninLit0 = Mini_AigNodeFanin0( p, i ); + // compare the fanin literal with the literal of the current node (2 * i) + if ( iFaninLit0 >= 2 * i ) + printf( "Fanin0 of PO node %d is not in a topological order.\n", i ), status = 0; + } + return status; +} + //////////////////////////////////////////////////////////////////////// |