mvcDivisor.c File Reference

#include "mvc.h"

Go to the source code of this file.

Functions
static ABC_NAMESPACE_IMPL_START void	Mvc_CoverDivisorZeroKernel (Mvc_Cover_t *pCover)
	DECLARATIONS ///. More...
Mvc_Cover_t *	Mvc_CoverDivisor (Mvc_Cover_t *pCover)
	FUNCTION DEFINITIONS ///. More...

Function Documentation

Mvc_Cover_t* Mvc_CoverDivisor

(

Mvc_Cover_t *

pCover

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Returns the quick divisor of the cover.]

Description [Returns NULL, if there is not divisor other than trivial.]

SideEffects []

SeeAlso []

Definition at line 46 of file mvcDivisor.c.

{
    Mvc_Cover_t * pKernel;
    if ( Mvc_CoverReadCubeNum(pCover) <= 1 )
        return NULL;
    // allocate the literal array and count literals
    if ( Mvc_CoverAnyLiteral( pCover, NULL ) == -1 )
        return NULL;
    // duplicate the cover
    pKernel = Mvc_CoverDup(pCover);
    // perform the kerneling
    Mvc_CoverDivisorZeroKernel( pKernel );
    assert( Mvc_CoverReadCubeNum(pKernel) );
    return pKernel;
}

void Mvc_CoverDivisorZeroKernel ( Mvc_Cover_t *  pCover )

static

DECLARATIONS ///.

CFile****************************************************************

FileName [mvcDivisor.c]

PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]

Synopsis [Procedures for compute the quick divisor.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2003.]

Revision [

Id:

mvcDivisor.c,v 1.1 2003/04/03 15:34:08 alanmi Exp

]

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

Synopsis [Computes a level-zero kernel.]

Description [Modifies the cover to contain one level-zero kernel.]

SideEffects []

SeeAlso []

Definition at line 73 of file mvcDivisor.c.

{
    int iLit;
    // find any literal that occurs at least two times
//    iLit = Mvc_CoverAnyLiteral( pCover, NULL );
    iLit = Mvc_CoverWorstLiteral( pCover, NULL );
//    iLit = Mvc_CoverBestLiteral( pCover, NULL );
    if ( iLit == -1 )
        return;
    // derive the cube-free quotient
    Mvc_CoverDivideByLiteralQuo( pCover, iLit ); // the same cover
    Mvc_CoverMakeCubeFree( pCover );             // the same cover
    // call recursively
    Mvc_CoverDivisorZeroKernel( pCover );              // the same cover
}