simplifdczerobdd(3) [debian man page]

SIMPLIFDCZEROBDD(3)						   BDD functions					       SIMPLIFDCZEROBDD(3)

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

NAME

       simplifDcZeroBdd - simplifies a BDD with don't cares on its off-set part

SYNOPSYS

       #include "logmmm.h"
       pNode simplifDcZeroBdd(pBdd1,pBdd2)
       pNode pBdd1;
       pNode pBdd2;

PARAMETERS

       pBdd1		   BDD to simplify

       pBdd2		   "don't care" function

DESCRIPTION

       simplifDcZeroBdd() simplifies pBdd1 with pBdd2. pBdd2 must be included imperatively in the off-set part of pBdd1. This function	returns  a
       BDD that depends to the order of the BDD.

EXAMPLE

       #include "mutnnn.h"	/* mbk utilities */
       #include "logmmm.h"
       pNode nodeA,NodeB;
       pNode res,res1,res2;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       res1 = applyBinBdd(OR,nodeA,nodeB);     /* res1 = (OR a b) */
       res2 = applyBinBdd(NOR,nodeA,nodeB);    /* res2 = (NOR a b) */
       res = simplifDcZeroBdd(res1,res2); /* res1 and res2 = 0 */
       displayBdd(res,1);

       /* it will display
       @res   ONE
       */

       destroyBdd(1);

SEE ALSO

       log(1),	bdd(1),  simplifDcOneBdd(3),  applyBdd(3),  notBdd(3), constraintBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNode-
       TermBdd(3).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997					       SIMPLIFDCZEROBDD(3)

SIMPBDDNODEDCON(3)						   BDD FUNCTIONS						SIMPBDDNODEDCON(3)

NAME

       simpbddnodedcon - simplifies a bdd with don't cares on its on-set part.

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

       #include "bdd101.h"
       bddnode *simpbddnodedcon( BddSystem, BddOn, BddDc )
	 bddsystem *BddSystem;
	 bddnode   *BddOn;
	 bddnode   *BddDc;

PARAMETERS

       BddSystem	   The bdd system.

       BddOn		   The first bdd node.

       BddDc		   The second bdd node.

DESCRIPTION

       simpbddnodedcon simplifies the bdd node BddOn with BddDc, in the bdd system BddSystem.  If a null pointer is given, the default bdd  system
       is used.  The bdd node BddDc must be included imperatively in the on-set part of the bdd node BddOn.

RETURN VALUE

       simpbddnodedcon returns the simplified bdd node.

EXAMPLE

       #include "bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddOn;
	  bddnode    *BddDc;
	  bddnode    *BddNode;
	  chain_list *Expr;
	  BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
	  BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
	  Expr = createablbinexpr( ABL_OR,
				   createablatom( "i0" ),
				   createablatom( "i1" ) );
	  BddOn = addbddcircuitabl( BddCircuit, Expr );
	  freeablexpr( Expr );
	  Expr = createablbinexpr( ABL_NOR,
				   createablatom( "i0" ),
				   createablatom( "i1" ) );
	  BddDc = addbddcircuitabl( BddCircuit, Expr );
	  freeablexpr( Expr );
	  BddNode = simpbddnodedcon( (bddsystem *)0, BddOn, BddDc );
	  Expr = convertbddcircuitabl( BddCircuit, BddNode );
	  /* displays '1' */
	  viewablexpr( Expr, ABL_VIEW_VHDL );
	  freeablexpr( Expr );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO

       bdd(1)

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						SIMPBDDNODEDCON(3)