abcEspresso.c File Reference

#include "base/abc/abc.h"
#include "misc/espresso/espresso.h"

Include dependency graph for abcEspresso.c:

Go to the source code of this file.

Functions
void	Abc_NtkEspresso (Abc_Ntk_t *pNtk, int fVerbose)
	FUNCTION DEFINITIONS ///.

Function Documentation

Abc_NtkEspresso()

void Abc_NtkEspresso	(	Abc_Ntk_t *	pNtk,
		int	fVerbose )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Minimizes SOP representations using Espresso.]

Description []

SideEffects []

SeeAlso []

Definition at line 51 of file abcEspresso.c.

{
    Abc_Obj_t * pNode;
    int i;
    assert( Abc_NtkIsLogic(pNtk) );
    // convert the network to have SOPs
    if ( Abc_NtkHasMapping(pNtk) )
        Abc_NtkMapToSop(pNtk);
    else if ( Abc_NtkHasBdd(pNtk) )
    {
        if ( !Abc_NtkBddToSop(pNtk, -1, ABC_INFINITY, 1) )
        {
            printf( "Abc_NtkEspresso(): Converting to SOPs has failed.\n" );
            return;
        }
    }
    // minimize SOPs of all nodes
    Abc_NtkForEachNode( pNtk, pNode, i )
        if ( i ) Abc_NodeEspresso( pNode );
}

Here is the call graph for this function: