aigTest.c File Reference

#include "aig.h"

Include dependency graph for aigTest.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START void	Aig_ProcedureTest ()

Function Documentation

Aig_ProcedureTest()

ABC_NAMESPACE_IMPL_START void Aig_ProcedureTest

(

)

Definition at line 8 of file aigTest.c.

{
    Aig_Man_t * p;
    Aig_Obj_t * pA, * pB, * pC;
    Aig_Obj_t * pFunc;
    Aig_Obj_t * pFunc2;
 
    p = Aig_ManStart( 1000 );
 
    pA = Aig_IthVar( p, 0 );
    pB = Aig_IthVar( p, 1 );
    pC = Aig_IthVar( p, 2 );
 
    pFunc = Aig_Mux( p, pA, pB, pC );
    pFunc2 = Aig_And( p, pA, pB );
 
    Aig_ObjCreatePo( p, pFunc );
    Aig_ObjCreatePo( p, pFunc2 );
 
    Aig_ManSetRegNum( p, 1 );
 
    Aig_ManCleanup( p );
 
    if ( !Aig_ManCheck( p ) )
    {
        printf( "Check has failed\n" );
    }
 
    Aig_ManDumpBlif( p, "aig_test_file.blif", NULL, NULL );
    Aig_ManStop( p );
}ABC_NAMESPACE_IMPL_END

Here is the call graph for this function: