Table of Contents
alliance programming - Index of Alliance libraries functions
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
- ACTION(3)
- GENPAT Package
- AFFECT(3)
- GENPAT Package
- ARRAY(3)
- GENPAT Package
- BEH(3)
- Generic behavioural data structures
- BUS(3)
- Creates a bus name for netlist
COPY_UP_ALL_CON(3)
copy all physical connectors of an instance face in
the current figure
- COPY_UP_ALL_REF(3)
- copy a several physical reference from an instance in
the current figure
- COPY_UP_CON(3)
- copy a physical connector from an instance in the
current figure
COPY_UP_CON_FACE(3)
copy a physical connector from an instance in the
current figure
- COPY_UP_REF(3)
- copy a physical reference from an instance in the
current figure
- COPY_UP_SEG(3)
- copy a physical segment from an instance in the current
figure
- DECLAR(3)
- GENPAT Package
- DEF_AB(3)
- define a new abutment box to the current layout cell
- DEF_GENPAT(3)
- GENPAT Package
- DEF_LOFIG(3)
- open a netlist model as current figure
- DEF_PHFIG(3)
- open a layout model as current figure
- DEF_PHINS(3)
- define a new reference instance
- DEF_PHSC(3)
- load a netlist and open a layout model as current
figure
- DP_ADD2F(3)
- Adder-Substractor
- DP_ADSB2(3)
- adder-substractor
- DP_ADSB2F(3)
- Adder-Substractor
- DP_AND2(3)
- Logical and 2.
- DP_AND3(3)
- logical and 3
- DP_BUFF(3)
- inverter
- DP_BUSE(3)
- Tristate with direct output.
- DP_CONST(3)
- Constant Generator
- DP_DEFLOFIG(3)
- Open a new Data-Path figure/model.
- DP_IMPORT(3)
- Add a new data-path component inside the current
data-path.
- DP_INV(3)
- inverter
- DP_LOCON(3)
- Logical connector
- DP_MULT(3)
- Unpipelined array multiplier.
- DP_MULTP(3)
- Unpipelined array multiplier.
- DP_MUX2CS(3)
- 2 input multiplexer.
- DP_MUX3CD(3)
- 3 input multiplexer.
- DP_MUX3CS(3)
- 3 input multiplexer.
- DP_MUX4CS(3)
- 4 input multiplexer.
- DP_MUX5CS(3)
- 5 input multiplexer.
- DP_NAND2(3)
- logical not and 2
- DP_NAND2MASK(3)
- Logical not and 2 controllable mask.
- DP_NAND3(3)
- logical not and 3
- DP_NBUSE(3)
- Tristate with complemented output.
- DP_NMUX2CS(3)
- 2 input multiplexer, with complemented output.
- DP_NOR2(3)
- logical not or 2
- DP_NOR2MASK(3)
- Logical not or 2 controllable mask.
- DP_NOR3(3)
- logical not or 3
- DP_NUL(3)
- Zero Detect
- DP_OR2(3)
- logical or 2
- DP_OR3(3)
- logical or 3
- DP_PDFF(3)
- D Flip-Flop with write enable.
- DP_PDFFQ(3)
- D Flip-Flop with write enable.
- DP_PDFFR(3)
- D Flip-Flop with write enable and reset.
- DP_PDFFRT(3)
- D Flip-Flop with scan-path, write enable and reset.
- DP_PDFFT(3)
- D Flip-Flop with scan-path and write enable.
- DP_PDFFTQ(3)
- D Flip-Flop with scan-path and write enable.
- DP_RFG1C0(3)
- Register File
- DP_RFG1CC(3)
- Register File
- DP_RFG2C0(3)
- Register File
- DP_RFG2CC(3)
- Register File
- DP_SAVLOFIG(3)
- Save Data-Path figure/model.
- DP_SHIFT(3)
- Barrel Shifter
- DP_TRACE(3)
- Eanble/disable trace mode.
- DP_XNOR2(3)
- logical not exclusive or 2
- DP_XNOR2MASK(3)
- Logical not exclusive or 2 controllable mask.
- DP_XOR2(3)
- logical exclusive or 2
- ELM(3)
- Creates a single element bus name for netlist
- FLATTEN_ALL_LOINS(3)
-
flatten all instances in the current netlist figure
- FLATTEN_ALL_PHINS(3)
-
flatten all instances in the current layout figure
- FLATTEN_LOFIG(3)
- flatten an instance in the current netlist figure
- FLATTEN_PHFIG(3)
- flatten an instance in the current layout figure
GETCPAT, GENPAT Package(3)
- GET_CON_X(3)
- retrieve the x coordinate of an instance connector
- GET_CON_Y(3)
- retrieve the x coordinate of an instance connector
- GET_INS_X(3)
- retrieve the x coordinate of an instance
- GET_INS_Y(3)
- retrieve the y coordinate of an instance
- GET_REF_X(3)
- retrieve the x coordinate of an instance reference
- GET_REF_Y(3)
- retrieve the y coordinate of an instance reference
- HEIGHT(3)
- compute the height of a model
INIT, GENPAT Package(3)
LABEL, GENPAT Package(3)
- LOAD_LOFIG(3)
- loads a netlist form disk and opens it as current
figure
- LOCON(3)
- adds a logical connector to the current netlist figure
- LOINS(3)
- add a logical instance to the current figure
- LOINSE(3)
- add a logical instance to the current figure, with
explicit connections
- LOSIG(3)
- declare an internal logical signal, or a vector of
internal logical signals
- LOSIGMERGE(3)
- merge two logical signals
- LOTRS(3)
- adds a logical transistor to the current netlist figure
- OUTLINE(3)
- build an outline from the current layout cell
OpenVerticalChannel(3)
open a vertical channel in a phfig
OpenVerticalChannel(3)
open a vertical channel inside a phfig
- PAT(3)
- Generic pattern data structure
- PHAD_PHFIG(3)
- loads a layout form disk and opens it as current figure
- PHCON(3)
- place a physical connector in the current figure at
absolute coordinates
- PHREF(3)
- place a physical reference in the current figure at
absolute coordinates
- PHSEG(3)
- place a physical segment in the current figure at
absolute coordinates
- PHVIA(3)
- place a physical via in the current figure at absolute
coordinates
- PLACE(3)
- place a physical instance in the current figure at
absolute coordinates
- PLACE_BOTTOM(3)
- place a physical instance in the current figure under
the reference instance"
- PLACE_CON_REF(3)
- put a connector on top of a reference belonging an
instance in the current figure
- PLACE_LEFT(3)
- place a physical instance in the current figure at
the left of the reference instance"
- PLACE_ON(3)
- place a physical instance in the current figure
matching connectors
- PLACE_RIGHT(3)
- place a physical instance in the current figure at
the right of the reference instance"
- PLACE_SEG_REF(3)
- put a segment on a reference belonging an instance in
the current figure
- PLACE_TOP(3)
- place a physical instance in the current figure on
the top of the reference instance"
- PLACE_VIA_REF(3)
- put a via on top of a reference belonging to an
instance in the current figure
- PMExpr(3)
- returns 1 if the pattern matching is possible between
two expressions.
- REVERSE_PHCON(3)
- reverse the order of physical connectors on a bus.
SAVE, GENPAT Package(3)
- SAVE_LOFIG(3)
- save a netlist on disk
- SAVE_PHFIG(3)
- save a layout on disk
- SAVE_PHSC(3)
- save a layout on disk
SAV_GENPAT, GENPAT Package(3)
- SC_BOTTOM(3)
- place an instance in the current figure at the right
of the reference instance"
- SC_LEFT(3)
- place an instance in the current figure at the right
of the reference instance"
- SC_PLACE(3)
- place an instance in the current figure at absolute
coordinates
- SC_RIGHT(3)
- place an instance in the current figure at the right
of the reference instance"
- SC_TOP(3)
- place an instance in the current figure at the right
of the reference instance"
SymbolicChannelRouter(3)
routes a given channel on a Virtual grid
SymbolicChannelRouter(3)
routes a given channel on a symbolic grid
- THRU_CON_H(3)
- draw an horizontal wire from side to side of the
abutment box of the current figure
- THRU_CON_V(3)
- draw a vertical wire with connectors from side to
side of the abutment box of the current figure
- THRU_H(3)
- draw an horizontal wire from side to side of the
abutment box of the current figure
- THRU_V(3)
- draw a vertical wire from side to side of the abutment
box of the current figure
UNFLATTEN_LOFIG(3)
creates a hierarchy level from instances in the current
logical figure
- WIDTH(3)
- compute the width of a model
- WIRE1(3)
- place a physical segment in the current figure
- WIRE2(3)
- place two physical segments in the current figure
- WIRE3(3)
- place three physical segments in the current figure
- ablToBddCct(3)
- converts an ABL into a BDD within a circuit
- aboxmbkrds(3)
- converts MBK abutment box to RDS rectangle
action, GENPAT Package(3)
- addHExpr(3)
- adds a new argument at the head of an operator
expression.
- addInputCct(3)
- adds an input to a circuit
- addListBdd(3)
- adds a BDD to a chained list of BDDs
- addOuputCct(3)
- adds an ouput associated to a BDD in a circuit
- addQExpr(3)
- adds a new argument at the queue of an operator
expression.
- addTH(3)
- adds a new item in a hash table.
- addablhexpr(3)
- adds a new argument in head of an expression.
- addablqexpr(3)
- adds a new argument in queue of an expression.
- addauth2elem(3)
- adds an element in the hash table.
- addauthelem(3)
- adds an element in the hash table.
- addbddassoc(3)
- creates a new association variables.
addbddcircuitabl(3)
converts an abl expression to a bdd node.
- addbddcircuitin(3)
- adds an input in a bdd circuit.
addbddcircuitout(3)
adds an output in a bdd circuit.
- addbddnode(3)
- adds a new bdd node in the bdd system.
- addbddnodeassoc(3)
- adds a bdd node in a variable association.
- addbddnodelist(3)
- adds a node in a chain_list.
- addbddvar(3)
- adds a new variable in the bdd system.
- addbddvarafter(3)
- adds a new variable, after an existing one.
- addbddvarbefore(3)
- adds a new variable, before an existing one.
- addbddvarfirst(3)
- adds a new variable, before all others.
- addbddvarlast(3)
- adds a new variable, after all others.
- addcapa(3)
- add a capacitance to a signal
- addchain(3)
- create a chain and add it to a list
- addht(3)
- create an hash table
- addhtitem(3)
- adds a new item in a hash table.
- addlocon(3)
- create a logical connector
- addlofig(3)
- create a new structural cell model
- addloins(3)
- create a logical instance
- addlomodel(3)
- create a tempotary logical model and add it to a list
- addlosig(3)
- create a logical signal
- addlotrs(3)
- create a logical transistor
- addnum(3)
- create a num and add it to a list
- addphcon(3)
- create a physical connector
- addphfig(3)
- create a new physical cell model
- addphins(3)
- create a physical instance
- addphref(3)
- create a physical reference
- addphseg(3)
- create a physical segment
- addphvia(3)
- create a physical via
- addptype(3)
- create a ptype and add it to a ptype_list
- addrdsfig(3)
- adds a figure
- addrdsfigrec(3)
- adds a rectangle to a figure
- addrdsins(3)
- adds an instance to a figure
- addrdsinsrec(3)
- adds a rectangle to an instance
- addrdsrecwindow(3)
- adds a rectangle in the windowing of rds structure.
affect, GENPAT Package(3)
- alliancebanner(3)
- display the standardized Alliance banner
- allocrdsfig(3)
- allocs memory for a figure
- allocrdsins(3)
- allocates memory for an instance
- allocrdsrec(3)
- allocates memory for a rectangle
- allocrdsrecwin(3)
- allocates a structure used to know windows which
contains a rectangle.
- allocrdswin(3)
- allocates window's table
- allocrdswindow(3)
- allocates a window structure
- allocrdswinrec(3)
- allocates a structure used to create a list of tables
of rectangles.
- anyExpr(3)
- returns the value of a logical OR applied on the
results of the application of a function on the arguments
of an operator expression
- append(3)
- append a chain_list to an other chain_list
- applyBdd(3)
- applies an operator to a list of BDD.
- applyBinBdd(3)
- applies an operator to two BDD.
- applybddnode(3)
- applies an operator on two bdd nodes.
- applybddnodeite(3)
- computes the IF-THEN-ELSE logical operation.
applybddnodelist(3)
applies an opertor to a bdd nodes list.
- applybddnodenot(3)
- complements a bdd.
applybddnodeterm(3)
applies an operator on two bdd nodes.
- applyrdssym(3)
- applies a transformation to a rectangle from a model
- apr(3)
- routing and placement functions
- arp(3)
- routing and placement functions
array, GENPAT Package(3)
- autallocblock(3)
- memory allocator
- autallocheap(3)
- heap memory allocator
- autfreeblock(3)
- releases a memory block
- autfreeheap(3)
- releases a memory block, and put it on the heap.
- auth2elem(3)
- element in an hash table with two keys.
- auth2table(3)
- hash table structure
- authelem(3)
- element in an hash table
- authtable(3)
- hash table structure
- autresizeblock(3)
- resizes a memory block
- bddToAblCct(3)
- converts a BDD into an ABL within a circuit
- beaux(3)
- BEH data structure
- bebus(3)
- BEH data structure
- bebux(3)
- BEH data structure
- befig(3)
- BEH data structure
- begen(3)
- BEH data structure
beh_addbeaux, beh_delbeaux, beh_rmvbeaux, beh_frebeaux(3)
beh_addbebus, beh_delbebus, beh_rmvbebus, beh_frebebus(3)
beh_addbebux, beh_delbebux, beh_rmvbebux, beh_frebebux(3)
beh_addbefig, beh_delbefig, beh_rmvbefig, beh_frebefig(3)
beh_addbegen, beh_delbegen, beh_rmvbegen, beh_frebegen(3)
beh_addbemsg, beh_delbemsg, beh_rmvbemsg, beh_frebemsg(3)
beh_addbeout, beh_delbeout, beh_rmvbeout, beh_frebeout(3)
beh_addbepor, beh_delbepor, beh_rmvbepor, beh_frebepor(3)
beh_addbereg, beh_delbereg, beh_rmvbereg, beh_frebereg(3)
beh_addberin, beh_delberin, beh_rmvberin, beh_freberin(3)
beh_addbiabl, beh_delbiabl, beh_frebiabl(3)
beh_addbinode, beh_delbinode, beh_frebinode(3)
- beh_debug(3)
- BEH structures displayer-debugger
- beh_depend(3)
- compute forward dependencies in a description
beh_error(3)
- beh_makbdd(3)
- create a BDD for each expression in a description
- beh_makgex(3)
- create a GEX for each expression in a description
beh_message(3)
- bemsg(3)
- BEH data structure
- beout(3)
- BEH data structure
- bepor(3)
- BEH data structure
- bereg(3)
- BEH data structure
- berin(3)
- BEH data structure
- biabl(3)
- BEH data structure
- bigvia(3)
- draws a non minimal via as a bunch of vias
- binode(3)
- BEH data structure
- buildrdswindow(3)
- builds windowing of a figure
- chain(3)
- mbk lisp-like service structure
- changeOperExpr(3)
- changes the operator of the head of an expression.
- charToExpr(3)
- converts a string into an expression
- charToOper(3)
- converts an operator string into an operator number
checkloconorder(3)
checks the consistency of a list of logical connectors
clearbddsystemref(3)
clears the references for all bdd nodes.
clearbddsystemrefext(3)
clears the external references for all bdd nodes.
clearbddsystemrefint(3)
clears the internal references for all bdd nodes.
- cofactorbddnode(3)
- computes the generalized cofactor.
comment, GENPAT Package(3)
- composeBdd(3)
- substitutes an index by a BDD in another BDD
- composeCct(3)
- composes all the outputs within a circuit with a BDD
- composebddnode(3)
- substitutes a variable by a bdd in another bdd.
- concatname(3)
- concatenate two names with user separator
- conmbkrds(3)
- converts MBK connector to RDS rectangle
- constraintBdd(3)
- restricts a BDD to another BDD
- constraintCct(3)
- restricts all the outputs within a circuit with a BDD
constraint
conv, GENPAT Package(3)
convcmp, GENPAT Package(3)
convertbddcircuitabl(3)
converts a bdd node to an abl expression.
convertbddcircuitsumabl(3)
converts a bdd node to an abl expression.
convertbddindexabl(3)
converts a bdd index to an abl expression.
convertbddmuxabl(3)
converts two bdd nodes to an abl multiplexor expression.
convertbddnodeabl(3)
converts a bdd node to an abl expression.
convertbddnodesumabl(3)
converts a bdd node to an abl expression.
- copyExpr(3)
- copies an expression
- cpOrderCct(3)
- copies the association order of the inputs with the
indexes in another circuit
- createAtom(3)
- creates an atomic expression.
- createBinExpr(3)
- creates a binary operator expression with an eventual
merging of the operators.
- createExpr(3)
- creates the head of an operator expression.
createNodeTermBdd(3)
creates a terminal node of variable.
- createTH(3)
- create a hash table
- createablatom(3)
- creates an atomic expression.
createablbinexpr(3)
creates a binary operator expression.
createablnotexpr(3)
complements an expression.
- createabloper(3)
- creates the head of an operator expression.
createablunaryexpr(3)
creates an unary operator expression.
createablxorbinexpr(3)
creates an `xor' or `xnor' operator expression.
createauth2table(3)
creates an hash table with two keys.
- createauthtable(3)
- creates a simple hash table.
createbddcircuit(3)
creates a bdd circuit.
- createbddsystem(3)
- creates a bdd system.
- decbddrefext(3)
- decrements the external reference of a bdd node.
- decbddrefint(3)
- decrements the internal reference of a bdd node.
def_genpat, GENPAT Package(3)
- defab(3)
- defines the abutment box of a phfig
- delablexpr(3)
- deletes an expression.
- delablexprnum(3)
- deletes an operand in an expression.
- delauth2elem(3)
- deletes an element in the hash table.
- delauthelem(3)
- deletes an element in the hash table.
- delbddassoc(3)
- deletes a variable association.
delbddcircuitout(3)
deletes an output in a bdd circuit.
- delbddnode(3)
- deletes an unused bdd node.
- delbddnodeassoc(3)
- deletes a bdd node in a variable association.
- delbddnodelist(3)
- deletes a list of bdd nodes.
- delchain(3)
- delete an element of a chain_list
- deleteNumExpr(3)
- removes the i-th argument of an operator expression.
- deleteTH(3)
- removes an item in a hash table.
- delht(3)
- removes an hash table
- delhtitem(3)
- removes an item in an hash table
- dellocon(3)
- delete a logical connector
- dellofig(3)
- delete and free a logical figure
- delloins(3)
- delete a logical instance
- dellosig(3)
- delete a logical signal
- dellotrs(3)
- delete a logical transistor
- delnum(3)
- delete an element of a num_list
- delphcon(3)
- delete a physical connector
- delphfig(3)
- delete and free a physical figure
- delphins(3)
- delete a physical instance
- delphref(3)
- delete a physical reference
- delphseg(3)
- delete a physical segment
- delphvia(3)
- delete a physical via
- delptype(3)
- delete an element of a ptype_list
- delrdsfig(3)
- deletes a figure
- delrdsfigrec(3)
- deletes a rectangle of a figure
- delrdsins(3)
- deletes an instance of a figure
- delrdsinsrec(3)
- deletes a rectangle of an instance
delrdsrecwindow(3)
deletes a rectangle from the windowing of rds structure.
- destroyBdd(3)
- removes the BDDs system
- destroyCct(3)
- removes a circuit
- destroyTH(3)
- removes a hash table
destroyauth2table(3)
destroys an hash table with two keys.
destroyauthtable(3)
destroys a simple hash table.
- destroybddassoc(3)
- frees all the variable associations.
destroybddcircuit(3)
destroys a bdd circuit.
destroybddsystem(3)
destroys a bdd system.
destroyrdswindow(3)
destroys windowing of a figure
- devXor2Expr(3)
- converts XOR 2 to OR-AND
- devXorExpr(3)
- removes XOR in an expression
- devablxorexpr(3)
- develops `xor', `nxor' in an expression.
devdupablxorexpr(3)
duplicates and develops `xor', `nxor'.
- displayBdd(3)
- displays a BDD
- displayCct(3)
- displays a circuit
- displayExpr(3)
- displays an expression in a prefixed notation.
- displayInfExpr(3)
- displays an expression in infixed notation.
- displayTH(3)
- displays a hash table
- downstr(3)
- convert a string to lower case
- dupablexpr(3)
- duplicates an expression.
- equalExpr(3)
- checks that two expressions are strictly equal
- equalVarExpr(3)
- checks that two expressions are syntactically equal
- everyExpr(3)
- returns the value of a logical AND applied on the
results of the application of a function on the argument
of an operator expression.
existbddnodeassocoff(3)
computes an existantial quantification.
existbddnodeassocon(3)
computes an existantial quantification.
- exprToChar(3)
- converts an expression into a string
- figmbkrds(3)
- converts MBK figure to RDS figure
- filepath(3)
- return the whole search path of a file
- flatArityExpr(3)
- flattens the operators of an expression
flatPolarityExpr(3)
translates the inverters of an expression to the
level of atomic expressions
- flatablexpr(3)
- merges the operators of an expression
- flatenphfig(3)
- flatten a instance in a figure
- flattenlofig(3)
- flatten a instance in a logical figure
- freeExpr(3)
- frees an expression.
- freeablexpr(3)
- frees an expression.
- freechain(3)
- free a chain_list
- freelomodel(3)
- free a lofig_list for temporary models
- freenum(3)
- free a num_list
- freeptype(3)
- free a ptype_list
- freerdsfig(3)
- frees memory associated to a figure
- freerdsins(3)
- frees memory associated to an instance
- freerdsrec(3)
- free memory associated to a rectangle
garbagebddsystem(3)
Forces a bdd garbage collection.
- gcNodeBdd(3)
- does a garbage collection
- gcNodeCct(3)
- does a garbage collection
- getablexprdepth(3)
- gives the depth of an expression.
getablexprlength(3)
gives the length of an expression.
- getablexprmax(3)
- applies a function to all operands.
- getablexprmin(3)
- applies a function to all operands.
- getablexprnum(3)
- gives a specified operand of an expression.
getablexprnumatom(3)
gives the number of atom in an expression.
getablexprnumbinoper(3)
gives the number of binary operators in an expression.
getablexprnumocc(3)
how many times a name appears in an expression.
getablexprsupport(3)
gives the expression's support.
- getbddnodenum(3)
- gets the number of nodes in a bdd.
- getbddnodesize(3)
- gets the number of nodes in a bdd.
getbddnodesupport(3)
gives the variable support of a bdd node.
getbddvarbyindex(3)
converts bdd index to a variable number.
- getbddvarindex(3)
- converts a variable number in a bdd index.
- getbddvarnode(3)
- gives the bdd node of a variable.
- gethtitem(3)
- searches an item in a hash table
- getlocon(3)
- retrieve a logical connector
- getlofig(3)
- give back a pointer to a lofig
- getloins(3)
- retrieve a logical instance
- getlomodel(3)
- retrieve a model from a lofig_list
- getlosig(3)
- retrieve a logical signal
- getphcon(3)
- retrieve a physical connector
- getphfig(3)
- give back a pointer to a phfig
- getphins(3)
- retrieve a physical instance
- getphref(3)
- retrieve a physical reference
- getptype(3)
- retrieve a ptype from a ptype_list
- getrdsfig(3)
- gets a pointer to a figure called by its name.
- getrdsmodellist(3)
- gets model list of the instances of a figure
- getsigname(3)
- choose a signal name in alias list
- givelosig(3)
- give a logical signal
- grog(3)
- call the ROM generator
- guessextdir(3)
- guess external connectors directions from internal
connectors directions
- identExpr(3)
- gives an ident from an operator expression.
- implybddnode(3)
- computes a bdd that implies a conjonction of two bdd
nodes.
- incatalog(3)
- test if cell belongs to the catalog file
- incatalogdelete(3)
- test if cell belongs to the catalog file
- incatalogfeed(3)
- test if cell belongs to the catalog file
- incataloggds(3)
- test if cell belongs to the catalog file
- incbddrefext(3)
- increments the external reference of a bdd node.
- incbddrefint(3)
- increments the internal reference of a bdd node.
init, GENPAT Package(3)
- initializeBdd(3)
- initializes the BDDs system
- initializeCct(3)
- creates a circuit
- insconmbkrds(3)
- adds in RDS instance all the connectors of MBK
instance
- insmbkrds(3)
- converts MBK figure to RDS figure
- insrefmbkrds(3)
- adds in RDS instance all the references of MBK
instance.
- inssegmbkrds(3)
- adds in RDS instance all the segments of MBK instance
- instanceface(3)
- returns the face of a connector in a placed instance
- instr(3)
- find an occurence of a string in a string, starting
at a specified character.
- insviambkrds(3)
- adds to RDS instance all the contacts from MBK
instance
intersectbddnode(3)
tests for an intersection between two bdd nodes.
- isablbinaryoper(3)
- tests if an operator is binary.
- isablequalexpr(3)
- tests if two expressions are strictly identicals.
- isabloperinexpr(3)
- tests if an operator appears in an expression.
isablsimilarexpr(3)
tests if two expressions have the same morphology.
- isablunaryoper(3)
- tests if an operator is unary.
isbddvarinsupport(3)
tests if a variable appears in a bdd.
- isvdd(3)
- tells if a name contains the pattern defined by the
user
- isvss(3)
- tells if a name contains the pattern defined by the
user
label, GENPAT Package(3)
- lengthExpr(3)
- returns the number of arguments in an expression
- loadlofig(3)
- load a new logical cell model from disk
- loadphfig(3)
- load a new physical cell model from disk
- loadrdsfig(3)
- give back a pointer to a figure
- loadrdsparam(3)
- load parameters from symbolic to real conversion.
- locon(3)
- mbk logical connector
- lofig(3)
- mbk logical figure
- lofigchain(3)
- creates a netlist in terms of connectors on signals
- log(3)
- logical representations for boolean functions and
utilities.
- loins(3)
- mbk logical instance
- losig(3)
- mbk logical signal
- lotrs(3)
- mbk logical transistor
- mapCarExpr(3)
- creates a new expression by applying a function to
all the arguments of an operator expression
- mapExpr(3)
- applies a procedure to all arguments of an operator
expression
- mapablanyexpr(3)
- applies a function to all operands.
- mapableveryexpr(3)
- applies a function to all operands.
- mapablexpr(3)
- applies a function to all operands.
- mapabloperexpr(3)
- applies a function to all operands.
- markAllBdd(3)
- marks all the nodes of the BDDs system
- markBdd(3)
- marks all nodes of a BDD
- markbddnode(3)
- marks bdd node with a specified mask.
- maxExpr(3)
- returns the highest argument of an operator expression.
- mbk(3)
- Generic layout ,netlist and utility data structures
- mbkalloc(3)
- mbk memory allocator
- mbkenv(3)
- set user preferences
- mbkfopen(3)
- open a file with several search pathes
- mbkfree(3)
- mbk memory allocator
- mbkps(3)
- mbk process state
- mbkrealloc(3)
- mbk memory reallocator
- mbkunlink(3)
- delete a file in the WORK_LIBP.
- minExpr(3)
- returns the lowest argument of an operator expression.
- mlodebug(3)
- logical data structure contents debug function
- modelmbkrds(3)
- gets all models of instances contained in a figure.
- mphdebug(3)
- physical data structure contents debug function
- namealloc(3)
- hash table for strings
- namefind(3)
- hash table for strings
- nameindex(3)
- concatenate a name and index with user separator
- naturalstrcmp(3)
- compare string in alphabetical order for letters and
numerical for digits.
- normExpr(3)
- normalizes an expression
- notBdd(3)
- complements a BDD
- notExpr(3)
- complements an expressio and eventually does a simplification
- num(3)
- mbk list of number
- numberAtomExpr(3)
- returns the number of atoms in an expression
numberNodeAllBdd(3)
count the number of nodes used in the BDD system
- numberNodeBdd(3)
- computes the number of nodes used in a BDD
- numberNodeCct(3)
- counts the number of nodes used within a circuit
- numberOccExpr(3)
- returns the number of time an atom appears in an
expression.
numberOperBinExpr(3)
returns the number of equivalent binary operators in
an expression
- operToChar(3)
- converts an operator number into an operator string
- pacom(3)
- PAT data structure
- paevt(3)
- PAT data structure
- pagrp(3)
- PAT data structure
- paini(3)
- PAT data structure
- paiol(3)
- PAT data structure
- papat(3)
- PAT data structure
- paseq(3)
- PAT data structure
pat_addpacom, pat_frepacom(3)
pat_addpaevt, pat_frepaevt(3)
pat_addpagrp(3)
pat_addpaini, pat_frepaini(3)
pat_addpaiol, pat_crtpaiol, pat_frepaiol(3)
pat_addpapat, pat_frepapat(3)
pat_addpaseq(3)
- pat_debug(3)
- PAT structures displayer-debugger
- pat_lodpaseq(3)
- pattern file compiler
- pat_savpaseq(3)
- save pattern structures in a pattern description file
- phcon(3)
- mbk physical connector
- phfig(3)
- mbk physical figure
- phins(3)
- mbk physical instance
- phref(3)
- mbk physical reference
- phseg(3)
- mbk physical segment
- phvia(3)
- mbk physical contact
- place(3)
- place the cells of a net list
- polarablexpr(3)
- moves inverters to the atomic level.
polardupablexpr(3)
duplicates an expression and moves down the
inverters.
port, GENPAT Package(3)
process, GENPAT Package(3)
- profAOExpr(3)
- returns the depth of an expression without taking the
inverters into account.
- profExpr(3)
- returns the depth of an expression.
- proofCct(3)
- checks the equivalence of two circuits
- ptype(3)
- mbk list of typed pointers
- rdsalloc(3)
- memory allocation function
- rdsenv(3)
- set user preference
- rdsfree(3)
- free memory place
- refmbkrds(3)
- adds to RDS figure a references from a MBK figure
register, GENPAT Package(3)
relprodbddnodeassoc(3)
computes a relational product.
reorderbddsystemdynamic(3)
specifies the dynamic bdd reorder parameters.
reorderbddsystemsimple(3)
reorders the bdd nodes of a bdd system.
reorderbddsystemtop(3)
reorders the bdd nodes of a bdd system.
reorderbddsystemwindow(3)
reorders the bdd nodes of a bdd system.
- resetBdd(3)
- resets the BDDs system
- resetCct(3)
- resets a circuit
- resetauth2table(3)
- resets an hash table with two keys.
- resetauthtable(3)
- resets a simple hash table.
- resetbddcircuit(3)
- resets a bdd circuit.
- resetbddsystem(3)
- resets a bdd system.
- restorealldir(3)
- restore all instances' connectors directions
- restoredirvbe(3)
- restore connectors directions from behavioral view
- restrictbddnode(3)
- substitutes a variable by a zero or one, in a bdd.
- reverse(3)
- reverse a list of chained elements
- rflattenlofig(3)
- recursivly flatten a figure
- rflattenphfig(3)
- recursivly flatten a figure
- roundrdsrec(3)
- adjusts a rectangle to lambda grid step
- rsa(3)
- call the Recurrence Solver Adder generator
- satisfybddnode(3)
- finds a satisfying path for a bdd node.
sav_genpat, GENPAT Package(3)
- savelofig(3)
- save a logical figure on disk
- savephfig(3)
- save a physical figure on disk
- saverdsfig(3)
- save a physical figure on disk.
- searchExpr(3)
- searches for a specific atom in an expression.
- searchInputCct(3)
- searches for the index number associated to an input.
- searchNumExpr(3)
- fetches the i-th argument in an operator expression.
- searchOperExpr(3)
- searches for an operator in an expression.
- searchOuputCct(3)
- searches for the BDD associated to an output
- searchTH(3)
- searches an item in a hash table.
- searchauth2elem(3)
- searches an element in the hash table.
- searchauthelem(3)
- searches an element in the hash table.
searchbddcircuitin(3)
searchs an input in a bdd circuit.
searchbddcircuitout(3)
searchs an output in a bdd circuit.
- searchrdsfig(3)
- searchs by name a figure in the list of figures
- segmbkrds(3)
- adds to RDS figure a segment from a MBK figure
- setbddrefext(3)
- increments the external reference, and decrements the
internal reference of a bdd node.
- sethtitem(3)
- test and set an item in an hash table.
signal, GENPAT Package(3)
- simpablexpr(3)
- simplies an expression.
simpbddnodedcoff(3)
simplifies a bdd with don't cares on its off-set
part.
- simpbddnodedcon(3)
- simplifies a bdd with don't cares on its on-set part.
- simpdupablexpr(3)
- duplicates and simplies an expression.
- simplif10Expr(3)
- makes simplifications on an expression including constant
atomic expressions
- simplifDcOneBdd(3)
- simplifies a BDD with don't cares on its on-set part
simplifDcZeroBdd(3)
simplifies a BDD with don't cares on its off-set part
- simplifNotExpr(3)
- makes simplifications on an expression including
inverters
- sortExpr(3)
- sorts an expression
- sortautarray(3)
- heap sort.
- sortlocon(3)
- sort the logical connectors of a figure by name
- sortlosig(3)
- sort the logical signals of a figure by name
- substExpr(3)
- copies an expression by substituting a given atom by
an expression
- substPhyExpr(3)
- substitutes an atomic expression by an expression
within an operator expression
- substablexpr(3)
- substitutes a given atom by an expression.
substbddnodeassoc(3)
substitutes a set of variables with a set of bdd
node.
- substdupablexpr(3)
- substitutes a given atom by an expression.
supportChain_listBdd(3)
returns a chained list of nodes that are used in a
given BDD.
supportChain_listExpr(3)
returns the support of an expression in a chain_list.
supportPtype_listExpr(3)
returns the support of an expression in a ptype_list.
- swapbddvar(3)
- swaps two contiguous variables.
- testbddcircuit(3)
- debugs a bdd circuit.
- unflatablexpr(3)
- unflats the operators of an expression
- unflattenlofig(3)
- creates a hierarchy level from instances of a figure
- unmarkbddnode(3)
- unmarks bdd node with a specified mask.
- unsetbddrefext(3)
- increments the internal reference, and decrements the
external reference of a bdd node.
- upVarBdd(3)
- brings up an index in a BDD
- upVarCct(3)
- brings up the index of a primary input within a circuit
- upstr(3)
- convert a string to upper case
- vhdlablname(3)
- returns a compatible VHDL name.
- vhdlablvector(3)
- gives the index and the name of a vectorized name.
- viambkrds(3)
- adds to RDS figure a contact from a MBK figure
- viewablexpr(3)
- displays an expression.
- viewablexprfile(3)
- displays an expression in a file.
- viewablexprstr(3)
- displays an expression in a str.
- viewbddcircuit(3)
- displays a bdd circuit.
- viewbddnode(3)
- displays a bdd node.
- viewbddsystem(3)
- displays a bdd system.
viewbddsysteminfo(3)
displays statistical informations.
- viewht(3)
- displays a hash table contents
- viewlo(3)
- scan all lofig_lists and display their elements
- viewlofig(3)
- display elements of a lofig_list
- viewlofigcon(3)
- display elements of a locon_list attached to a figure
- viewloins(3)
- display elements of a loins_list
- viewloinscon(3)
- display elements of a locon_list attached to an
instance
- viewlosig(3)
- display elements of a losig_list
- viewlotrs(3)
- display elements of a lotrs_list
- viewph(3)
- display all the phfig_lists and their elements
- viewphcon(3)
- display elements of a phcon_list
- viewphfig(3)
- display elements of a phfig_list
- viewphins(3)
- display elements of a phins_list
- viewphref(3)
- display elements of a phref_list
- viewphseg(3)
- display elements of a phseg_list
- viewphvia(3)
- display elements of a phvia_list
- viewrdsfig(3)
- view caracteristics of a figure
- viewrdsins(3)
- Displays caracteristics of an instance
- viewrdsparam(3)
- displays tables in memory filled by loadrdsparam
function.
- viewrdsrec(3)
- Displays caracteristics of a rectangle
- viewrdswindow(3)
- displays caracteristics of the windowing.
- viewrfmcon(3)
- displays connector caracteristics in MBK and RDS format.
- viewrfmfig(3)
- displays figure caracteristics in MBK and RDS format.
- viewrfmins(3)
- displays instance caracteristics in MBK and RDS format.
- viewrfmrec(3)
- displays rectangle caracteristics in RDS format.
- viewrfmref(3)
- displays reference caracteristics in MBK and RDS format.
- viewrfmseg(3)
- displays segment caracteristics in MBK and RDS format.
- viewrfmvia(3)
- displays contact caracteristics in MBK and RDS format.
- xyflat(3)
- compute hierarchical coordinates
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.