src/misc/mvc/mvcDivisor.c File Reference

#include "mvc.h"

Include dependency graph for mvcDivisor.c:

Go to the source code of this file.

Functions
static void	Mvc_CoverDivisorZeroKernel (Mvc_Cover_t *pCover)
Mvc_Cover_t *	Mvc_CoverDivisor (Mvc_Cover_t *pCover)

---

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 43 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]

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

] DECLARATIONS ///

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

Synopsis [Computes a level-zero kernel.]

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

SideEffects []

SeeAlso []

Definition at line 70 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
}