ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
France.
Web :
http://asim.lip6.fr/recherche/alliance/
E-mail :
alliance-users@asim.lip6.fr
NAME¶
simplifDcOneBdd - simplifies a BDD with don't cares on its on-set part
SYNOPSYS¶
#include "logmmm.h"
pNode simplifDcOneBdd(pBdd1,pBdd2)
pNode pBdd1;
pNode pBdd2;
PARAMETERS¶
- pBdd1
- BDD to simplify
- pBdd2
- "don't care" function
DESCRIPTION¶
simplifDcOneBdd() simplifies
pBdd1 with
pBdd2.
pBdd2
must be included imperatively in the on-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(XOR,nodeA,nodeB); /* res1 = (XOR a b) */
res2 = applyBinBdd(AND,notBdd(nodeA),nodeB); /* res2 = (AND (not a) b) */
res = simplifDcOneBdd(res1,res2); /* res1 and res2 = res2 */
/* res = (AND a (not b)) */
destroyBdd(1);
SEE ALSO¶
log(1),
bdd(1),
simplifDcZeroBdd(3),
constraintBdd(3),
composeBdd(3),
upVarBdd(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.