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¶
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),
createNodeTermBdd(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.
