Table of Contents

Origin

This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie 4, place Jussieu 75252 PARIS Cedex 05 FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr

Name

composeCct - composes all the outputs within a circuit with a BDD

Synopsys

#include logmmm.h"
void composeCct(pC,name,pBdd)
pCircuit pC;
char *name;
pNode pBdd;

Parameters

pC
Circuit in which is made the composition
name
name to substitute
pBdd
BDD that replaces the variable

Description

composeCct() substitutes the nodes associated to name by pBdd within pC.

Example

#include mutnnn.h
/* mbk utilities */ #include logmmm.h" chain_list *expr; pNode res; pCircuit pC;

initializeBdd(SMALL_BDD);
pC = initializeCct("circuit 1",10,10);

addInputCct(pC,"a");
addInputCct(pC,"b");

addOutputCct(pC,"s",applyBinBdd(OR,
createNodeTermBdd(searchInputCct(pC,"a")), createNodeTermBdd(searchInputCct(pC,"b"))));

/* a is replaced by (not b) */

composeCct(pC,"a",notBdd(createNodeTermBdd(searchInputCct(pC,"b")))); displayCct(pC,1);

/* it will display
************* DISPLAY circuit 1 ********* INPUT = b INDEX = 3
----------- NUMBER OF INPUTS = 1

OUTPUT = s
s = 1 ----------- NUMBER OF OUTPUTS = 1 ***************************************** */

destroyCct(pC) ;
destroyBdd(1) ;

See Also

log(1) , bdd(1) , abl(1) , upVarCct(3) , constraintCct(3) .

Bug Report

This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools. If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.


Table of Contents

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 26 May 2000.