Package alliance-devel

Alliance VLSI CAD System - Development libraries

https://soc-extras.lip6.fr/en/alliance-abstract-en/

Library Functions (Section 3)
ablToBddCct.3alc
ablToBddCct() constructs the graph that is computed from expr. This function provides the basic method for constructing easily the BDDs. The applyBdd() function...
addablhexpr.3alc
addablhexpr adds Expr2 in head of Expr1. The expression pointers Expr2 MUSTN'T be used after the call to this function
addablqexpr.3alc
addablqexpr adds Expr2 in queue of Expr1. The expression pointers Expr2 MUSTN'T be used after the call to this function
addbddassoc.3alc
addbddassoc creates a new association variables in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
addbddcircuitabl.3alc
addbddcircuitabl converts the abl expression Expr to a bdd node. The BddCircuit is used to translate the atomic expressions into variable nodes. If a null...
addbddcircuitin.3alc
addbddcircuitin adds an input InputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used. If the input InputName...
addbddcircuitout.3alc
addbddcircuitout adds BddNode as an output OutputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used. If the output...
addbddnode.3alc
addbddnode adds a new node with the index Index, High as HIGH pointer, and Low as LOW pointer in the bdd system BddSystem. If the bdd node exist already...
addbddnodeassoc.3alc
addbddnodeassoc adds the bdd node BddNode, associated to the variable number Variable, in the variable association BddAssoc, in the bdd system BddSystem. If a...
addbddnodelist.3alc
addbddnodelist adds the node BddNode in the ordered list HeadList, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The...
addbddvar.3alc
addbddvar creates a new variable, with the number Variable, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
addbddvarafter.3alc
addbddvarafter creates a new variable, with the number BddSystem->INDEX_TO_VAR[ Index ] + 1 in the bdd system BddSystem. If a null pointer is given, the default...
addbddvarbefore.3alc
addbddvarbefore creates a new variable, with the number BddSystem->INDEX_TO_VAR[ Index ] in the bdd system BddSystem. If a null pointer is given, the default...
addbddvarfirst.3alc
addbddvarfirst creates a new variable, with the number 0, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
addbddvarlast.3alc
addbddvarlast creates a new variable, with the number BddLocalSystem->NUMBER_VAR in the bdd system BddSystem. If a null pointer is given, the default bdd system...
addcapa.3alc
addcapa add the capa value to ptsig->CAPA.
addchain.3alc
addchain creates a new chain element and adds it to the front of the list pointed to by pthead, and becomes itself the list head. The chain_lists are mosty used...
addht.3alc
addht() creates a new hash table in memory. len is an estimate of the maximum number of entries that the table will contain. This number may be automatically...
addhtitem.3alc
addhtitem() adds a new item in the hash table pointed to by table. If the key already exists, the old value is changed to the new one. Value must be distinct...
addListBdd.3alc
addListBdd() adds pBdd to pt. This function computes an optimal reordering on pt that minimizes the number of nodes when the applyBdd() function is called.
addlocap.3alc
addlocap creates a new capacitor, and adds it to the list of capacitors pointed to by ptfig -> LOCAP. The new capacitor is added in front of the list, and...
addlocon.3alc
addlocon creates a new figure connector called name and adds it to the list of connectors pointed to by ptfig->LOCON. The new connector is added in front of the...
addlofig.3alc
addlofig creates a new figure called figname and adds it to the list of figure in memory. The new figure is added in front of the list, and becomes itself the...
addloins.3alc
addloins creates a new instance, and adds it to the list of instances pointed to by ptfig->LOINS. The new instance is added in front of the list, and becomes...
addlomodel.3alc
addlomodel creates a new lofig_list element and adds it to the front of the list pointed to by model, and becomes itself the list head. The addlomodel function...
addlores.3alc
addlores creates a new resistor, and adds it to the list of resistors pointed to by ptfig -> LORES. The new resistor is added in front of the list, and becomes...
addloself.3alc
addloself creates a new inductor, and adds it to the list of inductors pointed to by ptfig -> LOSELF. The new inductor is added in front of the list, and...
addlosig.3alc
addlosig creates a new signal, and adds it to the list of signals pointed to by ptfig->LOSIG. The new signal is added in front of the list, and becomes itself...
addlotrs.3alc
addlotrs creates a new transistor, and adds it to the list of transistors pointed to by ptfig->LOTRS. The new transistor is added in front of the list, and...
addnum.3alc
addnum creates a new num element and adds it to the front of the list pointed to by ptnum, and becomes itself the list head. The data fills the DATA field of...
addphcon.3alc
addphcon creates a new connector called conname and adds it to the list of connectors pointed to by ptfig->PHCON. The new connector is added in front of the...
addphfig.3alc
addphfig creates a new figure called figname and adds it to the list of figure in memory. The new figure is added in front of the list, and becomes itself the...
addphins.3alc
addphins creates a new instance whose lower left corner is at the given coordinates, and adds it to the list of instances pointed to by ptfig->PHINS. The new...
addphref.3alc
addphref creates a new reference whose center is at the given coordinates, and adds it to the list of references pointed to by ptfig->PHREF. The new reference...
addphseg.3alc
addphseg creates a new segment at the given coordinates, possibly called segname, and adds it to the list of segments pointed to by ptfig->PHSEG. The new...
addphvia.3alc
addphvia creates a new via whose center is at the given coordinates, and adds it to the list of vias pointed to by ptfig->PHVIA. The new via is added in front...
addptype.3alc
addptype creates a new ptype element and adds it to the front of the list pointed to by pthead, and becomes itself the list head. The ptype_lists are mosty used...
addrdsfig.3alc
The addrdsfig function adds a new figure called 'Name' to the head of figures's list and becomes itself the list head (HEAD_RDSFIG pointer). The field NAME of...
addrdsfigrec.3alc
addrdsfigrec creates an adds a rectangle in the figure called Figure. The size of the user structure to add next to the structure rdsrec_list (if it exists) is...
addrdsins.3alc
The addrdsins function adds an instance to the head of instances's list in the figure described in function parameter. Some fields of rdsins_list structure are...
addrdsinsrec.3alc
This function creates an adds a rectangle to an instance. The size of the user structure to add (if if exists) next to the structure rdsrec_list is defined by...
addrdsrecwindow.3alc
The addrdsrecwindow function inserts a rdsrec_list rectangle structure in the windowing of the rds structure. The rectangle is added in one or many windows of...
AFFECT.3alc
"Affect" a value to a signal. This value will be apllied to the signal, at the specified simulation date, until the end of the simulation or until a new value...
alliancebanner.3alc
alliancebanner outputs on stdout a standardized banner with the name of the tool in large letters, and a cartouche containing some information about the...
allocrdsfig.3alc
The allocrdsfig function allocates a memory block for rdsfig_list structure. Fields contained in the structure are set to NULL for pointers or 0L for numbers...
allocrdsins.3alc
Allocates a memory block for rdsins_list structure. Fields contained in the structure are set to NULL for the pointers and 0L for numbers. NOTE: Allocation by...
allocrdsrec.3alc
Allocates a memory block for rdsrec_list structure and an added structure defined by the user. Fields contained in the two structures are set to NULL for...
allocrdsrecwin.3alc
The allocrdsrecwin function allocates a rdsrecwin_list structure item. This structure contains a pointer to a window structure so it permits to chain all...
allocrdswin.3alc
The allocrdswin allocates a window's table. The number of windows is specified by the parameter ´Number´ of the function. To determine the size of the parameter...
allocrdswindow.3alc
The allocrdswindow allocates a window structure (rdswindow) which is used to create an ´object´ window (see librwi). It contains fields information about the...
allocrdswinrec.3alc
The allocrdswinrec function allocates a data structure named "rdswinrec_list" used to contain rectangles. This structure contains a list of tables of...
append.3alc
append appends the contains of the chain_list pointed to by pt2 at the end of the one pointed to by pt1. The lists consistency is warranted by the use of the...
applyBdd.3alc
applyBdd() applies oper to a list of Bdd. This list can be created by addListBdd() function. This function provides the basic method for creating the...
applybddnode.3alc
applybddnode computes the boolean function BddNode1 Oper BddNode2 in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
applybddnodeite.3alc
applybddnodeite computes the following logical function (BddIf AND BddThen) OR ((NOT BddIf) AND BddElse) in the bdd system BddSystem. If a null pointer is...
applybddnodelist.3alc
applybddnodelist applies the boolean operator Oper to the bdd nodes list BddList in the bdd system BddSystem. If a null pointer is given, the default bdd system...
applybddnodenot.3alc
applybddnodenot complements BddNode in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
applybddnodeterm.3alc
applybddnodeterm computes the boolean function BddNode Oper and the terminal node corresponding to Index in the bdd system BddSystem. The Index parameter can...
applyBinBdd.3alc
applyBinBdd() applies oper to pBdd1 and pBdd2. This function provides the basic method for creating the representation of a boolean function.
ARRAY.3alc
Create a virtual vector with signals of the same type and format. The signals may be either Inputs, Outputs, Inputs/Outputs, Registers or Internal Signals. A...
autallocblock.3alc
autallocblock returns a block of Size bytes length. The memory block is set to zero.
autallocheap.3alc
autallocheap returns a block of Size bytes length, allocated on the heap. The memory block is set to zero. Its use is strongly encouraged when the Size is very...
autfreeblock.3alc
autfreeblock frees a pointer. It is now a day just an encapsulation of the system free function, but may evolve to a special allocator in the future. Its use is...
autfreeheap.3alc
autfreeheap frees a pointer and puts the block back to the heap. Its use is necessary to free memory blocks, previously allocated by autallocheap.
auth2elem.3alc
The auth2elem structure is used to describe an hash element. The declarations needed to work on auth2elem are available in the header file...
auth2table.3alc
The auth2table structure is used to describe an hash table with two keys. The declarations needed to work on auth2table are available in the header file...
authelem.3alc
The authelem structure is used to describe an hash element. The declarations needed to work on authelem are available in the header file...
authtable.3alc
The authtable structure is used to describe an hash table. The declarations needed to work on authtable are available in the header file...
autresizeblock.3alc
autresizeblock resizes a memory block from OldSize to NewSize. if NewSize is greater than OldSize then the new bytes are set to zero.
bddToAblCct.3alc
bddToAblCct() converts pBdd into an expression. This function returns a result that depends from the ordering of the primary input. This function provides the...
beh.3alc
BEH is a generic data structure supporting vlsi concepts. It allows representation of a behavioral description in a data structure. The goal of BEH is to define...
beh_debug.3alc
BEH structures displayer-debugger
beh_depend.3alc
beh_depend() analyzes the forward dependencies in a whole description (a BEFIG). Forward dependency means, for each input finding out the set of outputs that...
beh_error.3alc
beh_error() prints an error message on the standard error output depending on an error code. The code parameter determines the message to be printed.
beh_makbdd.3alc
beh_makbdd() reads a whole behavioral description (a BEFIG) and creates a BDD for each expression present in the description. For simple signals (simple outputs...
beh_makgex.3alc
beh_makgex() reads a whole behavioral description (a BEFIG) and creates a GEX for each expression present in the description. A GEX is a structure able to...
beh_message.3alc
beh_message() prints an error message on the standard output depending on a message code. The code parameter determines the message to be printed.
bigvia.3alc
bigvia draws as many vias as necessary to fill the rectangle defined by its dx and dy arguments. The “bigvia” center is indicated with dx and dy, thus making...
buildrdswindow.3alc
The buildrdswindow function permits to build windowing on the figure named ´Figure´.
chain.3alc
The chain is used for any purpose, when a list of pointer is required. The use of this structure is strongly recommended, when such a need occurs. The...
checkloconorder.3alc
checkloconorder checks the list of logical connectors pointed to by ∗connectors for conformity towards mbk(1) consistency rules.
clearbddsystemref.3alc
clearbddsystemref clears the internal and external references of all the bdd nodes in the bdd system BddSystem. If a null pointer is given, the default bdd...
clearbddsystemrefext.3alc
clearbddsystemrefext clears the external references of all the bdd nodes in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
clearbddsystemrefint.3alc
clearbddsystemrefint clears the internal references of all the bdd nodes in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
cofactorbddnode.3alc
cofactorbddnode computes the generalized cofactor of BddNode1 by BddNode2, in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
composeBdd.3alc
composeBdd() constructs the graph for the function obtained by composing pBdd1 and pBdd2. This function can be used when an auxiliary variable has been mistaken...
composebddnode.3alc
composebddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem. If a null...
concatname.3alc
The concatname function adds the separator defined by MBK_SEPAR(1), and then the string t at the end of string s. This is not like a strcat(3) of the standard...
conmbkrds.3alc
The conmbkrds function creates a RDS rectangle (connector) with a connector from MBK structure phcon_list. The RDS rectangle is added to the figure defined in...
constraintBdd.3alc
constraintBdd() constructs the graph for the function obtained by restricting pBdd1 on pBdd2. This function can be used for example when a primary input is...
convertbddcircuitabl.3alc
convertbddcircuitabl converts the bdd node to an abl expression. The BddCircuit is used to translate the variable nodes into atomic expressions. If a null...
convertbddcircuitsumabl.3alc
convertbddcircuitsumabl converts the bdd node to a non optimal abl expression. The BddCircuit is used to translate the variable nodes into atomic expressions...
convertbddindexabl.3alc
convertbddindexabl converts the bdd index Index to an abl expression in the bdd system BddSystem. If a null pointer is given, the default bdd system is used...
convertbddmuxabl.3alc
convertbddmuxabl creates the following abl expression ( BddHigh AND Equation ) OR ( BddLow AND (NOT Equation ) ) in the bdd system BddSystem. If a null pointer...
convertbddnodeabl.3alc
convertbddnodeabl converts the bdd node BddNode to an abl expression in the bdd system BddSystem. If a null pointer is given, the default bdd system is used...
convertbddnodesumabl.3alc
convertbddnodesumabl converts the bdd node to a non optimal abl expression in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
createablatom.3alc
createablatom creates an atomic expression with the name Atom. This function uses namealloc with Atom as parameter.
createablbinexpr.3alc
createablbinexpr creates the binary operator expression Expr1 Operator Expr2. If the operator of Expr1 and/or Expr2, and Operator are identicals...
createablnotexpr.3alc
createablnotexpr complements the expression Expr and eventually does a simplification. The expression pointer Expr MUSTN'T be used after the call to this...
createabloper.3alc
createabloper creates the head of an operator expression. Arguments can be added to this expression with the addablhexpr and addablqexpr functions. Operator can...
createablunaryexpr.3alc
createablunaryexpr creates the unary operator expression Operator Expr. createablbinexpr combines eventualy the operator of Expr with Operator. The expression...
createablxorbinexpr.3alc
createablxorbinexpr creates a binary 'xor' or 'xnor' operator expression with the 'and', 'or' form. createablbinexpr simplifies eventually the sub-expressions...
createbddcircuit.3alc
createbddcircuit creates a bdd circuit with the name Name, with NumberIn inputs, and NumberOut outputs. This bdd circuit will use the bdd system BddSystem. If a...
createbddsystem.3alc
createbddsystem creates and initializes a bdd system.
createNodeTermBdd.3alc
createNodeTermBdd() creates a terminal node corresponding to index. Because of reduction table, this function always returns the same pNode for a given index. 0...
decbddrefext.3alc
decbddrefext decrements the number of external reference of the bdd node BddNode.
decbddrefint.3alc
decbddrefint decrements the number of internal reference of the bdd node BddNode.
DECLAR.3alc
Describes a set of connectors, signals or registers of the same format, size and mode.
defab.3alc
defab redefines the abutment box of the figure pointed to by ptfig. It overwrite any existing value in the XAB1, YAB1, XAB2 and YAB2 by the given arguments.
DEF_GENPAT.3alc
Gives the output file's name.
delablexpr.3alc
delablexpr deletes the expression Expr.
delablexprnum.3alc
delablexprnum deletes the operand Number + 1 in Expr.
delbddassoc.3alc
delbddassoc deletes the variable association BddAssoc in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. For all the bdd...
delbddcircuitout.3alc
delbddcircuitout deletes the output OutputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used. If the output...
delbddnode.3alc
delbddnode tries to delete the bdd node BddNode and its children, if they have not external reference, in the bdd system BddSystem. If a null pointer is given...
delbddnodeassoc.3alc
delbddnodeassoc deletes the bdd node associated to the variable number Variable, in the variable association BddAssoc, in the bdd system BddSystem. If a null...
delbddnodelist.3alc
delbddnodelist deletes all the bdd nodes of the list HeadList in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. All the...
delchain.3alc
delchain deletes the element of the chain_list pointed to by ptdel in the list pointed to by pthead. The list consistency is maintainded, and the element put...
delht.3alc
delht() removes the hash table pointed to by table from memory.
delhtitem.3alc
delhtitem() removes an item in the hash table pointed to by table.
dellocap.3alc
dellocap delete the capacitor pointed to by ptcap in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed. The capacitor...
dellocon.3alc
dellocon deletes the connector called name in the figure pointed to by ptfig. The list consistency is maintained, and the space freed.
dellofig.3alc
dellofig deletes the figure called figname from the list of logical figure in memory. All the lists of elements belonging to the figure are also deleted and...
delloins.3alc
delloins delete the instance called insname in the figure pointed to by ptfig. This instance is warrantied to be unique, because its name is an identifier at...
dellores.3alc
dellores delete the resistor pointed to by ptres in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed. The resistor...
delloself.3alc
delloself delete the inductor pointed to by ptself in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed. The inductor...
dellosig.3alc
dellosig delete the signal that has index as INDEX in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed.
dellotrs.3alc
dellotrs delete the transistor pointed to by pttrs in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed. The transistor...
delnum.3alc
delnum deletes the element of the num_list pointed to by ptdel in the list pointed to by pthead. The list consistency is maintainded, and the element put back...
delphcon.3alc
delphcon delete the connector pointed to by ptcon in the figure pointed to by ptfig. The list and index consistency is maintainded, and the space freed.
delphfig.3alc
delphfig deletes the figure called figname from the list of physical figure in memory. All the lists of elements belonging to the figure are also deleted and...
delphins.3alc
delphins delete the instance called insname in the figure pointed to by ptfig. This instance is warrantied to be unique, because its name is an identifier at...
delphref.3alc
delphref delete the reference pointed to by ptref in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed.
delphseg.3alc
delphseg delete the segment pointed to by ptseg in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed.
delphvia.3alc
delphvia delete the via pointed to by ptvia in the figure pointed to by ptfig. The list consistency is maintainded, and the space freed.
delptype.3alc
delptype deletes the element of the ptype_list that has the type type in the list pointed to by pthead. The list consistency is maintained, and the element put...
delrdsfig.3alc
This function deletes the figure called ´Name´ from the list of figures in memory. All objets (instances and rectangles) contained in this figure are deleted...
delrdsfigrec.3alc
The delrdsfigrec function deletes a rectangle object (which is composed of the rdsrec_list structure and an eventually added structure) from a figure.
delrdsins.3alc
Deletes an instance and objects contained in it. The instance is identified by its name in the figure which contains it. This instance is warrantied to be...
delrdsinsrec.3alc
The delrdsinsrec function deletes a rectangle of an RDS instance.
delrdsrecwindow.3alc
The delrdsrecwindow function deletes a rectangle from the windowing of the rds structure. Some fields of the rectangle structure are modified : Field ´USER´ is...
destroyBdd.3alc
destroyBdd() removes the BDDs system. This function can be called only after the initializeBdd() function. if level = 0 the nodes are saved and it's possible to...
destroybddassoc.3alc
destroybddassoc frees all the variable associations in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
destroybddcircuit.3alc
destroybddcircuit destroys the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.
destroybddsystem.3alc
destroybddsystem destroys the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
destroyrdswindow.3alc
The destroyrdswindow function destroys the windowing applied to a figure and built with the buildrdswindow function.
devablxorexpr.3alc
devablxorexpr develops 'xor' or 'xnor' in Expr. The expression pointer Expr MUSTN'T be used after the call to this function.
devdupablxorexpr.3alc
devdupablxorexpr develops 'xor' or 'xnor' in Expr.
displayBdd.3alc
displayBdd() displays pBDD. if level= 1, this function displays all the nodes of pBdd, if level = 0 the function displays the root node of pBdd.
downstr.3alc
downstr converts the s string to lower case in t. The space for t must be allocated by the caller, and be at least strlen(s) + 1 long.
DPGEN_ADSB2F.3alc
Generate a N bits adder/substractor named modelname.
DPGEN_AND2.3alc
Generate a N bits two inputs AND with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_AND3.3alc
Generate a N bits three inputs AND with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_AND4.3alc
Generate a N bits four inputs AND with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_BUFF.3alc
Generate a N bits buffer with an output power of drive named modelname. Valid drive are : 2, 3 or 4.Terminal NamesBehavior
DPGEN_BUSE.3alc
Generate a N bits two inputs tristate with named modelname.Terminal NamesBehavior
DPGEN_CONST.3alc
Generate a N bits constant named modelname.Terminal NamesBehavior
DPGEN_DFF.3alc
Generate a N bits dynamic flip-flop named modelname. The two latches of this flip-flop are dynamic, i.e. the data is stored in a capacitor.
DPGEN_DFFT.3alc
Generate a N bits dynamic flip-flop with scan-path named modelname. The two latches of this flip-flop are dynamic, i.e. the data is stored in a capacitor.
DPGEN_FIFO.3alc
Generate a FIFO of regNumber words of N bits named modelname.
DPGEN_INV.3alc
Generate a N bits inverter with an output power of drive named modelname. Valid drive are : 1, 2, 3 or 4.Terminal NamesBehavior
DPGEN_MUX2.3alc
Generate a N bits two inputs multiplexer with named modelname. Valid drive are : 1, 2 or 4.Terminal NamesBehavior
DPGEN_NAND2.3alc
Generate a N bits two inputs NAND with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NAND2MASK.3alc
Generate a N bits conditionnal NAND mask named modelname.
DPGEN_NAND3.3alc
Generate a N bits three inputs NAND with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NAND4.3alc
Generate a N bits four inputs NAND with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NBUSE.3alc
Generate a N bits two inputs tristate with a complemented output named modelname.Terminal NamesBehavior
DPGEN_NMUX2.3alc
Generate a N bits two inputs multiplexer with a complemented output and a power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_NOR2.3alc
Generate a N bits two inputs NOR with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NOR2MASK.3alc
Generate a N bits conditionnal NOR mask named modelname.
DPGEN_NOR3.3alc
Generate a N bits three inputs NOR with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NOR4.3alc
Generate a N bits four inputs NOR with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_NUL.3alc
Generate a N bits zero detector named modelname.Terminal NamesBehavior
DPGEN_OR2.3alc
Generate a N bits two inputs OR with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_OR3.3alc
Generate a N bits three inputs OR with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_OR4.3alc
Generate a N bits four inputs OR with an output power of drive named modelname. Valid drive are : 2 or 4.Terminal NamesBehavior
DPGEN_RF1.3alc
Generate a register file of regNumber words of N bits whitout decoder named modelname. The DPGEN_RF1R0 variant differs from the DPGEN_RF1 in that the register...
DPGEN_RF1D.3alc
Generate a register file of regNumber words of N bits with decoder named modelname. The DPGEN_RF1DR0 variant differs from the DPGEN_RF1D in that the register of...
DPGEN_ROM2.3alc
Generate a N bits 2 words optimized ROM named modelname.Terminal NamesBehavior
DPGEN_ROM4.3alc
Generate a N bits 2 words optimized ROM named modelname.Terminal NamesBehavior
DPGEN_SFF.3alc
Generate a N bits static flip-flop named modelname. The two latches of this flip-flop are static, i.e. each one is made of two interters looped togethers.
DPGEN_SFFT.3alc
Generate a N bits static flip-flop with scan-path named modelname. The two latches of this flip-flop are i.e. each one is made of two interters looped...
DPGEN_SHIFT.3alc
Generate a N bits shifter with name modelname.
DPGEN_XNOR2.3alc
Generate a N bits two inputs exclusive NOR with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
DPGEN_XNOR2MASK.3alc
Generate a N bits conditionnal XNOR mask named modelname.
DPGEN_XOR2.3alc
Generate a N bits two inputs exclusive OR with an output power of drive named modelname. Valid drive are : 1 or 4.Terminal NamesBehavior
dupablexpr.3alc
dupablexpr duplicates the expression Expr.
existbddnodeassocoff.3alc
existbddnodeassocoff suppress in the bdd node BddNode complemented, all the variables associated with something in the variable association BddAssoc, in the bdd...
existbddnodeassocon.3alc
existbddnodeassocon suppress in BddNode, all the variables associated with something in the variable association BddAssoc, in the bdd system BddSystem. If a...
figmbkrds.3alc
The figmbkrds function creates a RDS figure with a figure from MBK structure phfig_list which is converted to RDS format.
filepath.3alc
filepath return the absolute path of a cell. This is useful for error messages, since the caller of mbk file functions is not able to specify explicitly which...
flatablexpr.3alc
flatablexpr merges all the common operators in Expr.
flattenlofig.3alc
flattenlofig flattens the instance called insname in the figure pointed to by ptfig. Flattening means incorporating the contents of the instance in the figure...
flattenphfig.3alc
flatenphfig flattens the instance called insname in the figure pointed to by ptfig. Flattening means incorporating the contents of the instance in the figure...
freeablexpr.3alc
freeablexpr frees the expression Expr even if this expression is not a valid one.
freechain.3alc
freechain frees the chain_list pointed to by pt. All the elements of the list are put back in the list of free blocks.
freelomodel.3alc
freelomodel free the lofig_list pointed to by ptmodel. All the elements of the list are given back to the system.
freenum.3alc
freenum frees the num_list pointed to by pt. All the elements of the list are put back in the list of free blocks.
freeptype.3alc
freeptype frees the ptype_list pointed to by pt. All the elements of the list are put back in the list of free blocks.
freerdsfig.3alc
This function free the memory associated to the figure. Memory place used by the Pointers of the rdsfig_list structure is not free so the user has to free these...
freerdsins.3alc
This function frees the memory associated to the instance. Memory place used by the Pointers of the rdsins_list structure is not free so the user has to free...
freerdsrec.3alc
This function deletes the memory associated to the rectangle. Memory used is both memory of rdsrec_list structure and memory of the structure added by the user...
garbagebddsystem.3alc
garbagebddsystem frees all the unused bdd nodes in the system BddSystem. If a null pointer is given, the default bdd system is used. A bdd node is unused if its...
gcNodeBdd.3alc
gcNodeBdd() removes all the nodes that aren't used in the BDD pointed in the chained list pt.
GENLIB_BUS.3alc
GENLIB_BUS Creates a set of names, based upon a common name, valid for the genlib netlist functions that manipulate the signal, and/or connector, concept.
GENLIB_COPY_UP_ALL_CON.3alc
COPY_UP_ALL_CON copies all instance connectors of the face face of the placed instance called insname into the current layout.
GENLIB_COPY_UP_ALL_REF.3alc
COPY_UP_ALL_REF duplicates all the references of type reftype of the instance called insname into the current layout cell. The main purpose of this function is...
GENLIB_COPY_UP_CON.3alc
COPY_UP_CON copies a instance connector into the current layout figure, and gives to the new connector the name newname. The instance connector is identified by...
GENLIB_COPY_UP_CON_FACE.3alc
COPY_UP_CON_FACE copies a instance connector into the current layout figure, and gives to the new connector the name newname. The face and conname arguments are...
GENLIB_COPY_UP_REF.3alc
COPY_UP_REF adds a reference in the current layout cell. All the reference's attributes are copied from the first found reference called refname in the instance...
GENLIB_COPY_UP_SEG.3alc
COPY_UP_SEG adds a segment in the current layout cell. All the segment's attributes are copied from the first found segment called oldname in the instance...
GENLIB_DEF_AB.3alc
DEF_AB give a new abutment box to the current physical cell. The coordinates of the abutment box are the coordinates of the envelop of the abutment boxes of...
GENLIB_DEF_LOFIG.3alc
DEF_LOFIG defines the current working structural figure by it's name, the cellname argument. It can be use anywhere in the genlib program, but must appear at...
GENLIB_DEF_PHFIG.3alc
DEF_PHFIG defines the current physical working figure by it's name, the cellname argument. It can be use anywhere in the genlib program, but must appear at...
GENLIB_DEF_PHINS.3alc
DEF_PHINS define the new "reference instance", used as starting point in the relative placement functions of genlib. It's regarding the abutment box of the...
GENLIB_DEF_PHSC.3alc
DEF_PHSC defines the current working figure by it's name, the cellname argument, for layout and netlist operations. It can be use anywhere in the genlib...
GENLIB_ELM.3alc
ELM Creates a single element bus names valid for the genlib netlist functions that manipulate the signal, and/or connector, concept.
GENLIB_FLATTEN_ALL_LOINS.3alc
FLATTEN_ALL_LOINS inserts the contents of all the instances of the current figure in the current figure. All these instances are destroyed during the process...
GENLIB_FLATTEN_ALL_PHINS.3alc
FLATTEN_ALL_PHINS inserts the contents of all the instances of the current figure in the current figure. All these instances are destroyed during the process...
GENLIB_FLATTEN_LOFIG.3alc
FLATTEN_LOFIG inserts the contents of an instance, but its connectors, in the current figure, and then destroys the instance.
GENLIB_FLATTEN_PHFIG.3alc
FLATTEN_PHFIG inserts the contents of an instance, but its connectors, in the current figure, and then destroys the instance.
GENLIB_GET_CON_X.3alc
GET_CON_X looks for the connector, conname, in the instance called insname. Then it computes its absolute coordinates in the figure, and gives back the x...
GENLIB_GET_CON_Y.3alc
GET_CON_Y looks for the connector, conname, in the instance called insname. Then it computes its absolute coordinates in the figure, and gives back the y...
GENLIB_GET_INS_X.3alc
GET_INS_X looks for the instance called insname in the current figure. Then it computes its absolute coordinates in the figure, and gives back its x coordinate.
GENLIB_GET_INS_Y.3alc
GET_INS_Y looks for the instance called insname in the current figure. Then it computes its absolute coordinates in the figure, and gives back its y coordinate.
GENLIB_GET_REF_X.3alc
GET_REF_X looks for the reference, refname, in the instance called insname.
GENLIB_GET_REF_Y.3alc
GET_REF_Y looks for the reference, refname, in the instance called insname. Then it computes its absolute coordinates in the figure, and gives back the y...
GENLIB_HEIGHT.3alc
HEIGHT looks for the figure called cellname on memory, and then on disk. When found, the figure abutment box height is calculated, and returned.
GENLIB_LOAD_LOFIG.3alc
LOAD_LOFIG loads a netlist from disk and defines it as current working structural figure. This overrides the working figure initialized by DEF_LOFIG(3), if any...
GENLIB_LOAD_PHFIG.3alc
PHAD_PHFIG loads a physical view from disk and defines it as current working layout figure. This overrides the working figure initialized by DEF_PHFIG(3), if...
GENLIB_LOCAP.3alc
LOCAP adds a logical capacitor to the current working figure. This capacitor has each of its pin logicaly linked to the adequat signal given as parameter.
GENLIB_LOCON.3alc
LOCON add a logical connector to the interface of the actual working figure. This connector is logicaly linked to the signal signal.
GENLIB_LOINS.3alc
LOINS add a logical instance in the actual working figure. LOINS uses environment variables to choose the file format and the path to the file.
GENLIB_LOINSE.3alc
LOINSE add a logical instance in the actual working figure. LOINSE uses environment variables to choose the file format and the path to the file.
GENLIB_LORES.3alc
LORES adds a logical resistor to the current working figure. This resistor has each of its pin logicaly linked to the adequat signal given as parameter.
GENLIB_LOSELF.3alc
LOSELF adds a logical inductor to the current working figure. This inductor has each of its pin logicaly linked to the adequat signal given as parameter.
GENLIB_LOSIG.3alc
LOSIG creates the internal signal, or the set of internal signals corresponding to a vector description, represented by name. See BUS(3) and ELM(3) for more...
GENLIB_LOSIGMERGE.3alc
LOSIGMERGE merges the two signals, signal1 and signal2. This function can be used anywhere in the genlib program, but its resultings actions must be known by...
GENLIB_LOTRS.3alc
LOTRS add a logical transistor to the current working figure. This transistor has each of its pin logicaly linked to the adequat signal given as parameter.
GENLIB_MACRO.3alc
The GENLIB_MACRO() fonction call is the generic interface to all genlib macro generators. As all generators do not have the sames arguments it takes a variable...
GENLIB_OUTLINE.3alc
OUTLINE build a black box from a layout. After a call to OUTLINE, the figure has only its abutment box, its connectors, references and feed through.
GENLIB_PHCON.3alc
PHCON adds a connector in the current layout cell, at the specified coordinates, with the given attributs.
GENLIB_PHREF.3alc
PHREF adds a reference in the current layout cell, at the specified coordinates. A reference is an object that allows to symbolicaly name a point for futur use...
GENLIB_PHSEG.3alc
PHSEG adds a segment in the current layout cell, at the specified coordinates, with the given attributs.
GENLIB_PHVIA.3alc
PHVIA adds a via in the current layout cell, at the specified coordinates.
GENLIB_PLACE.3alc
PLACE add an instance in the current layout cell. The bottom left corner of the instance of the model modelname is placed, after being symetrized and/or...
GENLIB_PLACE_BOTTOM.3alc
PLACE_BOTTOM add a instance of model modelname in the current layout cell. The bottom left corner of the abutment box of the instance is placed, after being...
GENLIB_PLACE_CON_REF.3alc
PLACE_CON_REF places a connector called conname ragarding the position of the reference, refname, in the instance called insname. The connector coordinates are...
GENLIB_PLACE_LEFT.3alc
PLACE_LEFT add an instance of model modelname in the current layout cell. The bottom right corner of the abutment box of the instance is placed, after being...
GENLIB_PLACE_ON.3alc
PLACE_ON add an instance in the current layout cell. The bottom left corner of the instance of the model modelname is placed, after being symetrized and/or...
GENLIB_PLACE_RIGHT.3alc
PLACE_RIGHT add an instance of model modelname in the current layout cell. The bottom left corner of the abutment box of the instance is placed, after being...
GENLIB_PLACE_SEG_REF.3alc
PLACE_SEG_REF places a segment regarding the position of the reference, refname, in the instance called insname. The segment coordinates are computed from the...
GENLIB_PLACE_TOP.3alc
PLACE_TOP add an instance of model modelname in the current layout cell. The bottom left corner of the abutment box of the instance is placed, after being...
GENLIB_PLACE_VIA_REF.3alc
PLACE_VIA_REF places a via of type viatype on top of the specified reference, refname, in the instance called insname. This function may be used to generate...
GENLIB_REVERSE_PHCON.3alc
REVERSE_PHCON will change the indexes of the vector called basename, making the greatest values the smallest and so on. Both hard connectors, created by...
GENLIB_SAVE_LOFIG.3alc
SAVE_LOFIG saves the current working figure previously definded by a DEF_LOFIG call. SAVE_LOFIG uses environment variables to choose the file format and the...
GENLIB_SAVE_PHFIG.3alc
SAVE_PHFIG saves the current working figure previously definded by a DEF_PHFIG call. SAVE_PHFIG uses environment variables to choose the file format and the...
GENLIB_SAVE_PHSC.3alc
SAVE_PHSC saves the current working figure previously definded by a DEF_PHFIG or DEF_PHSC call, and performs a DEF_AB(0L, 0L, 0L, 0L) just before saving the...
GENLIB_SC_BOTTOM.3alc
SC_BOTTOM add an instance in the current cell. The bottom left corner of the abutment box of the instance is placed, after being symetrized and/or rotated...
GENLIB_SC_LEFT.3alc
SC_LEFT add an instance in the current cell. The bottom right corner of the abutment box of the instance is placed, after being symetrized and/or rotated...
GENLIB_SC_PLACE.3alc
SC_PLACE add an instance in the current cell. The bottom left corner of the instance is placed, after being symetrized and/or rotated, at (x, y) coordinates...
GENLIB_SC_RIGHT.3alc
SC_RIGHT add an instance in the current cell. The bottom left corner of the abutment box of the instance is placed, after being symetrized and/or rotated...
GENLIB_SC_TOP.3alc
SC_TOP add an instance in the current cell. The bottom left corner of the abutment box of the instance is placed, after being symetrized and/or rotated, toward...
GENLIB_SET_LOCAP.3alc
GENLIB_SET_LOCAP looks in the list of capacitors of the logical model figname for a capacitor identified by its instance capname and set the CAPA field to the...
GENLIB_SET_LORES.3alc
GENLIB_SET_LORES looks in the list of resistors of the logical model figname for a resistor identified by its instance resname and set the RESI field to the...
GENLIB_SET_LOSELF.3alc
GENLIB_SET_LOSELF looks in the list of inductors of the logical model figname for a inductor identified by its instance selfname and set the SELF field to the...
GENLIB_UNFLATTEN_LOFIG.3alc
UNFLATTEN_LOFIG creates a new level of hierarchy, whose model name will be figurename, and instantiate it under the name instancename in the current figure. The...
GENLIB_WIRE1.3alc
WIRE1 adds a segment made of the layer level in the current layout cell, the starting point being the connector, or reference, con1 of the instance ins1, and...
GENLIB_WIRE2.3alc
WIRE2 adds two segments made of the layer level in the current layout cell, the starting point being the connector, or reference, con1 of the instance ins1, and...
GENLIB_WIRE3.3alc
WIRE3 adds three segments made of the layer level in the current layout cell, the starting point being the connector, or reference, con1 of the instance ins1...
getablexprdepth.3alc
getablexprdepth gives the depth of an expression.
getablexprlength.3alc
getablexprlength gives the length of an expression.
getablexprmax.3alc
getablexprmax applies the cost function Function to all operands of Expr.
getablexprmin.3alc
getablexprmin applies the cost function Function to all operands of Expr.
getablexprnum.3alc
getablexprnum gives the operand Number of Expr.
getablexprnumatom.3alc
getablexprnumatom gives the number of atom in Expr.
getablexprnumbinoper.3alc
getablexprnumbinoper gives the number of binary operators in Expr.
getablexprnumocc.3alc
getablexprnumocc gives the number of occurrents of Name in Expr.
getablexprsupport.3alc
getablexprsupport gives the support of Expr. if Mode is ABL_SUPPORT_CHAIN the support is returned using chain_list else it is returned using ptype_list. The...
getbddnodenum.3alc
getbddnodenum computes the number of different nodes in BddNode, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
getbddnodesize.3alc
getbddnodesize computes the total number of nodes in BddNode, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
getbddnodesupport.3alc
getbddnodesupport gives the support of the bdd node BddNode in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. If Mode is...
getbddvarbyindex.3alc
getbddvarbyindex converts the bdd index Index to a variable number, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The...
getbddvarindex.3alc
getbddvarindex converts the variable number Variable to a bdd index, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used...
getbddvarnode.3alc
getbddvarnode gives the bdd node of the variable number Variable, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
getbddvarnodebyindex.3alc
getbddvarnode gives the bdd node of the bdd index Index, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The function...
GETCPAT.3alc
Return the date of the current pattern (in ps). The current pattern is set by AFFECT or INIT, GETCPAT will return the date of the last modified (affected or...
gethtitem.3alc
gethtitem() searches an item in the hash table pointed to by table.
getlocap.3alc
getlocap looks in the list of capacitors of the logical model pointed to by ptfig for a capacitor identified by its instance name.
getlocon.3alc
getlocon looks in the list of connectors of the logical model pointed to by ptfig for a connector identified by its name, since it should be unique at a given...
getlofig.3alc
getlofig returns a pointer to the figure called figname with the warranty that the expected information is present in memory. If mode is 'A' then the figure has...
getloins.3alc
getloins looks in the list of instances of the logical model pointed to by ptfig for a instance identified by its name. This instance is unique, since the name...
getlomodel.3alc
getlomodel seeks a lofig element in the list pointed to by model.
getlores.3alc
getlores looks in the list of resistors of the logical model pointed to by ptfig for a resistor identified by its instance name.
getloself.3alc
getloself looks in the list of inductors of the logical model pointed to by ptfig for a inductor identified by its instance name.
getlosig.3alc
getlosig looks in the list of signals of the logical model pointed to by ptfig for a signal identified by its index. This signal is unique, since the index is...
getphcon.3alc
getphcon looks in the list of connectors of the physical model pointed to by ptfig for a connector identified by its conname and index. Both are needed to make...
getphfig.3alc
getphfig returns a pointer to the figure called figname with the warranty that the expected information is present in memory. If mode is 'A' then the figure has...
getphins.3alc
getphins looks in the list of instances of the physical model pointed to by ptfig for a instance identified by its insname.
getphref.3alc
getphref looks in the list of references of the physical model pointed to by ptfig for a reference identified by its refname.
getptype.3alc
getptype looks for a ptype element in the list pointed to by pthead.
getrdsmodellist.3alc
The getrdsmodellist function gets list of instance's models of the figure ´Figure´.
getsigname.3alc
The getsigname function choose the higher hierachical level name of the alias list of a signal. The alias list is pointer to by the NAMECHAIN pointer of the...
givelosig.3alc
givelosig looks in the list of signals of the logical model pointed to by ptfig for a signal identified by its index. If this signal exists, then its pointer is...
guessextdir.3alc
The guessextdir function guesses external connectors directions from internal connectors' ones. The translation table below indicates the resulting direction...
implybddnode.3alc
implybddnode tests if the intersection of BddNode1 and not BddNode2, exists, in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
incatalog.3alc
incatalog checks a cell represented by its figname being present in the catalog file with the 'C' attribut. This means that when flattening, the hierarchy...
incatalogdelete.3alc
incatalogdelete checks a cell represented by its figname being present in the catalog file with the 'D' attribut. This means that the cell is to be deleted from...
incatalogfeed.3alc
incatalogfeed checks a cell represented by its figname being present in the catalog file with the 'F' attribut. This means that the cell is a feed through, and...
incataloggds.3alc
incataloggds checks a cell represented by its figname being present in the catalog file with the 'G' attribut. This means that the cell is a phantom of a gds...
incbddrefext.3alc
incbddrefext increments the number of external reference of the bdd node BddNode.
incbddrefint.3alc
incbddrefint increments the number of internal reference of the bdd node BddNode.
INIT.3alc
Initialize registers at indicated values and set current pattern.
initializeBdd.3alc
initializeBdd() initializes the BDDs system. size can be equal to SMALL_BDD, MEDIUM_BDD or LARGE_BDD according to the application size. This function creates...
insconmbkrds.3alc
This function adds in the RDS instance all connectors from the MBK instance converted to RDS format. All newly created connectors are chained each other...
insmbkrds.3alc
The insmbkrds function creates in the RDS figure the RDS instance issue to the conversion of the MBK instance to RDS format. If the parameter ´Mode´ is set to...
insrefmbkrds.3alc
The insrefmbkrds function adds in the RDS instance all references of the MBK instance converted to RDS format. All newly created references are chained each...
inssegmbkrds.3alc
The inssegmbkrds function adds in the RDS instance all segments of the MBK instance converted to RDS format. All newly created segments are chained each other...
instanceface.3alc
instanceface determines the orientation of a connector in an instance of its model.
instr.3alc
instr searches the first occurrence of the string find in the string s, starting its search at the last occurrence of the from character in the string s. If...
insviambkrds.3alc
This function adds in the RDS instance all the contacts of the MBK instance converted to RDS format. All newly created segments are chained each other...
intersectbddnode.3alc
intersectbddnode tests if the intersection of BddNode1 and BddNode2 exists, in the bdd system BddSystem. If a null pointer is given, the default bdd system is...
isablbinaryoper.3alc
isablbinaryoper tests if Oper is binary.
isablequalexpr.3alc
isablequalexpr compares Expr1 and Expr2.
isablnameinexpr.3alc
isablnameinexpr tests if Name appears in Expr.
isabloperinexpr.3alc
isabloperinexpr tests if Oper appears in Expr.
isablsimilarexpr.3alc
isablequalexpr compares Expr1 and Expr2.
isablunaryoper.3alc
isablunaryoper tests if Oper is unary.
isbddvarinsupport.3alc
isbddvarinsupport tests if the variable number Variable appears in the support of the bdd node BddNode, in the bdd system BddSystem. If a null pointer is given...
isck.3alc
isck compares the string defined by the MBK_CK(1) environment variable with the string s. If this string is not set by the user, its default value is "ck".
isvdd.3alc
isvdd searches an occurrence of the string defined by the MBK_VDD(1) environment variable in the string s. If this string is not set by the user, its default...
isvss.3alc
isvss searches an occurrence of the string defined by the MBK_VSS(1) environment variable in the string s. If this string is not set by the user, its default...
LABEL.3alc
Set ident as the label of the current pattern.
libpat.3alc
PAT is a generic data structure supporting vlsi concepts. It allows representation of a sequence of simulation patterns in a data structure. The goal of PAT is...
loadlofig.3alc
loadlofig fills the lofig pointed to by ptfig with the contents of a disk file called figname. The loading mode may be either 'A', then the entire content is...
loadphfig.3alc
loadphfig fills the phfig pointed to by ptfig with the contents of a disk file called figname. The loading mode may be either 'A', then the entire content is...
loadrdsfig.3alc
The loadrdsfig function loads in memory a cell model from disk. The loadrdsfig function in fact performs a call to a parser ,chosen by the RDS_IN environment...
loadrdsparam.3alc
The loadrdsparam function loads parameters contained in a file with extention ".rds" which is the translation file from symbolic to real. Some of these files...
locap.3alc
The locap is used to describe a logical capacitor. Please note, this description is different from the RCN description and has a different purpose: the created...
locon.3alc
The locon is used to describe a connector of the logical view of a figure. Connectors are describing the cell interface, and are the link between its physical...
lofig.3alc
The lofig is used to describe a hierarchical level of the logical view of a figure. The logical view is also called the netlist, for list of nets, because it...
lofigchain.3alc
The lofigchain function creates the dual representation of natural mbk netlists. In mbk, netlists are described in terms of signal attached to connectors. With...
log.3alc
log is a set of structures and functions that permits to manipulate several representations of boolean functions. Several programs and libraries of the cao-vlsi...
loins.3alc
The loins is used to describe an instance of the logical view of a figure. The declarations needed to work on loins are available in the header file...
lores.3alc
The lores is used to describe a logical resistor. Please note, this description is different from the RCN description and has a different purpose: the created...
loself.3alc
The loself is used to describe a logical inductor. The created inductor is a functional logical inductor, not a parasitic inductor. For the time being, only MIM...
losig.3alc
The losig is used to describe a logical signal. The declarations needed to work on losig are available in the header file "/labo/include/mlo404.h", where '404'...
lotrs.3alc
The lotrs is used to describe a logical transistor. It is mostly used to describe leaf cells in terms of transistors interconnections, and as a result of layout...
mapablanyexpr.3alc
mapablanyexpr applies Function to all operands of Expr.
mapableveryexpr.3alc
mapableveryexpr applies Function to all operands of Expr.
mapablexpr.3alc
mapablexpr applies Function to all operands of Expr.
mapabloperexpr.3alc
mapabloperexpr applies Function to all operands of Expr. mapabloperexpr creates a head of an operator expression having Oper as operator and adds the arguments...
markAllBdd.3alc
markAllBdd() assigns to value the marks of all the nodes used in the BDDs system.
markBdd.3alc
markBdd() assigns to value the field mark of all the nodes used in pBdd. This function is used for the garbage collection. When a node is created, its mark is...
markbddnode.3alc
markbddnode marks the bdd node BddNode with the bit mask Mark, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. This...
mbk.3alc
mbk has several global variables that need to be known by the programmer.
mbkalloc.3alc
mbkalloc returns a block of bytes length, for any purpose. It is now a day just an encapsulation of the system malloc function, but may evolve to a special...
mbkenv.3alc
The mbkenv function set the user preferences through unix environment variables. if all the variables are not defined, default values are used.
mbkfopen.3alc
mbkfopen opens a file, searching it through the paths given in the environment variables MBK_CATA_LIB(1) and MBK_WORK_LIB(1). Its main issue is to enable simple...
mbkfree.3alc
mbkfree frees a pointer. It is now a day just an encapsulation of the system free function, but may evolve to a special allocator in the future. Its use is...
mbkgetenv.3alc
The mbkgetenv() function searches the environment list for a string that matches the string pointed to by name. The strings are of the form name = value.
mbkps.3alc
mbkps does some functions calls and gathers information about time and memory spend during a program run. encouraged.
mbkrealloc.3alc
mbkrealloc returns a block of bytes length, for any purpose. It increases or decreases the size of the area, and return a pointer to the new block. It is now a...
mbksetautoackchld.3alc
mbksetautoackchld provide a centralised way to catch terminated child process. Because some Alliance library can create a child process, and user application...
mbkunlink.3alc
mbkunlink deletes a file, searching it in the path specified with the environment variable MBK_WORK_LIB(1). Its main issue is to enable simple file deletion for...
mbkwaitpid.3alc
mbkwaitpid provides a centralized way to catch terminated child process. Because some Alliance library can create a child process, and user application can do...
mlodebug.3alc
mlodebug allows a user interactive visualisation of the internal contents of the structural view of mbk. Through the use of a small, but convenient, textual...
modelmbkrds.3alc
The modelmbkrds function gets all models of instances of the RDS figure and chains them to the head of figures's list. For each newly created figure, the...
mphdebug.3alc
mphdebug allows a user interactive visualisation of the internal contents of the physical view of mbk. Through the use of a small, but convenient, textual user...
namealloc.3alc
The namealloc function creates a dictionary of names in mbk. It warranties equality on characters string if the pointers to these strings are equal, at...
namefind.3alc
The namefind function search the mbk dictionary of names. If the string has already been inserted in the dictionary, then a pointer to this string is return...
nameindex.3alc
The nameindex function adds the separator defined by MBK_SEPAR(1), and then the string version of i at the end of string s. This is not like a strcat(3) of the...
naturalstrcmp.3alc
naturalstrcmp is an alphanumerical comparison function that ensures x12 > x2 for example. First, the alphabetical part of the string is compared, using...
notBdd.3alc
notBdd() applies NOT operator to pBdd.
numberNodeAllBdd.3alc
numberNodeAllBdd() count the number of the nodes that are used in the BDD system
numberNodeBdd.3alc
numberNodeBdd() computes the number of reduced nodes that are used in pBdd.
phcon.3alc
The phcon structure is used to describe a connector belonging to a symbolic layout model, see phfig(3) for details. A strong convention on the mbk data...
phfig.3alc
The phfig is used to describe a hierarchical level of a symbolic layout and may contain any of the legal physical objects needed for a layout but a phfig. All...
phins.3alc
The phins structure is used to describe a instance belonging to a symbolic layout model, see phfig(3) for details. The declarations needed to work on phins are...
phref.3alc
The phref structure is used to describe a reference belonging to a symbolic layout model, see phfig(3) for details. A reference allows to name a point anywhere...
phseg.3alc
The phseg structure is used to describe a segment belonging to a symbolic layout model, see phfig(3) for details. Transistors are segments of a particular...
phvia.3alc
The phvia structure is used to describe a via or contact belonging to a symbolic layout model, see phfig(3) for details. The declarations needed to work on...
polarablexpr.3alc
polarablexpr modifies Expr by moving down the inverters to the atomic level. polarablexpr applies the Morgan's laws. If Polar is equal to ABL_POLAR_NEGATIVE the...
polardupablexpr.3alc
polardupablexpr modifies Expr by moving down the inverters to the atomic level. polardupablexpr applies the Morgan's laws. If Polar is equal to...
ptype.3alc
The ptype is used to save typed pointers in a list. The use of this structure is strongly recommended, when such a need occurs. It is the case in the USER field...
rdsalloc.3alc
The rdsalloc function can do memory allocation by block or by heap. If the user wants to allocate by block, he sets the parameter Heap to the constant...
rdsenv.3alc
The rdsenv function sets the user preferences through unix environment variables. if all the variables are not defined, default values are used.
rdsfree.3alc
The rdsfree function deletes memory of size=´Size´ allocated with rdsalloc function. If the parameter Size is set to ZERO (or RDS_ALLOC_BLOCK) then the memory...
refmbkrds.3alc
The refmbkrds function creates a RDS reference with a MBK reference. The reference is attached to the RDS figure in parameter of the refmbkrds function.
relprodbddnodeassoc.3alc
relprodbddnodeassoc computes BddNode1 AND BddNode2, and suppress the variables associated with something in the variable association BddAssoc, in the bdd system...
reorderbddsystemdynamic.3alc
reorderbddsystemdynamic specifies to parameters for the dynamic reorder in the bdd system BddSystem. If a null pointer is given, the default bdd system is used...
reorderbddsystemsimple.3alc
reorderbddsystemsimple reorders all the bdd nodes of the bdd system BddSystem, in order to minimize the total number of bdd nodes. If a null pointer is given...
reorderbddsystemtop.3alc
reorderbddsystemtop reorders all the bdd nodes of the bdd system BddSystem, in order to minimize the total number of bdd nodes. If a null pointer is given, the...
reorderbddsystemwindow.3alc
reorderbddsystemwindow reorders all the bdd nodes of the bdd system BddSystem, in order to minimize the total number of bdd nodes. If a null pointer is given...
resetBdd.3alc
resetBdd() resets the BDDs system. This function can be only called after the initializeBdd() function.
resetbddcircuit.3alc
resetbddcircuit resets the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.
resetbddsystem.3alc
resetbddsystem resets the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
restorealldir.3alc
The restorealldir function restores the directions of all the connectors of the instances. Each instance model logical view is loaded, and the restoredirvbe...
restoredirvbe.3alc
The restoredirvbe function read the PORT section of the vhdl behavuoiral view of the figure, restores the externals connectors directions and order them as...
restrictbddnode.3alc
restrictbddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem. If a null...
reverse.3alc
The reverse function allows to reverse the order of the elements of a chain_list. It means that the last element becomes the first one, the one before the last...
rflattenlofig.3alc
rflattenlofig recursivly flattens all the instances of the figure pointed to by ptfig. The concat argument can take either the value YES in which case the name...
rflattenphfig.3alc
rflattenphfig recursivly flattens all the instances of the figure pointed to by ptfig. The concat argument can take either the value YES in which case the name...
roundrdsrec.3alc
the roundrdsrec function adjusts (in lambda) to lower grid step for rectangle extremity which has coordinates (X,Y), adjusts to upper grid step for rectangle...
satisfybddnode.3alc
satisfybddnode finds a simple path throw the bdd BddNode that reaches the constant bdd node one, in the bdd system BddSystem. If a null pointer is given, the...
SAVE.3alc
Make the simulator to save the state of the circuit at the end of the simulation.
savelofig.3alc
savelofig writes on disk the contents of the figure pointer to by ptfig. All the figure lists are ran through, and the appropriate objects written...
savephfig.3alc
savephfig writes on disk the contents of the figure pointer to by ptfig. All the figure lists are ran through, and the appropriate objects written...
saverdsfig.3alc
The saverdsfig function writes on disk the contents of the figure pointer to by rdsfig_list. The savephfig function in fact performs a call to a driver, chosen...
searchbddcircuitin.3alc
searchbddcircuitin searches the input InputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.
searchbddcircuitout.3alc
searchbddcircuitout searches the output OutputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.
searchrdsfig.3alc
The searchrdsfig function searches a figure by its name in the list of figures in memory.
segmbkrds.3alc
The segmbkrds function converts and creates a RDS segment from a MBK segment. The segment is attached to the RDS figure in parameter of the segmbkrds function...
setbddrefext.3alc
setbddrefext increments the number of external reference of the bdd node BddNode and decrements its number of internal reference.
sethtitem.3alc
sethtitem() adds an item in the hash table pointed to by table, whether it existed or not, and returns an appropriate value. This is kind of a test and set...
setlocap.3alc
setlocap looks in the list of capacitors of the logical model pointed to by ptfig for a capacitor identified by its instance name and set the CAPA field to the...
setlores.3alc
setlores looks in the list of resistors of the logical model pointed to by ptfig for a resistor identified by its instance name and set the RESI field to the...
setloself.3alc
setloself looks in the list of inductors of the logical model pointed to by ptfig for a inductor identified by its instance name and set the SELF field to the...
simpablexpr.3alc
simpablexpr simplifies Expr. The expression pointer Expr MUSTN'T be used after the call to this function.
simpbddnodedcoff.3alc
simpbddnodedcoff simplifies the bdd node BddOff with BddDc, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The bdd...
simpbddnodedcon.3alc
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...
simpdupablexpr.3alc
simpdupablexpr simplifies Expr.
simplifDcOneBdd.3alc
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...
simplifDcZeroBdd.3alc
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...
sortlocon.3alc
sortlocon sorts the list of logical connectors pointed to by ∗connectors. The connectors are sorted by names, using a numerical comparison function that ensures...
sortlosig.3alc
sortlosig sorts the list of signals pointed to by signals. The signals are sorted by names, but since names are not the signals identifier, the getsigname(3)...
substablexpr.3alc
substablexpr substitutes Atom in Expr1 by Expr2. The expression pointer Expr1 MUSTN'T be used after the call to this function.
substbddnodeassoc.3alc
substbddnodeassoc substitutes in the bdd node BddNode all the variables associated to something in the variable association BddAssoc, with the corresponding bdd...
substdupablexpr.3alc
substdupablexpr duplicates and substitutes Atom in Expr1 by Expr2.
supportChain_listBdd.3alc
supportChain_listBdd() creates a chained list in which all the nodes of pBdd are represented.
swapbddvar.3alc
swapbddvar swaps the variable number Variable with the variable number Variable + 1, in the bdd system BddSystem. If a null pointer is given, the default bdd...
testbddcircuit.3alc
testbddcircuit calls a debugger of BddCircuit. If a null pointer is given, the default bdd circuit is used. This function provides a multiple commands to debug...
unflatablexpr.3alc
unflatablexpr modifies all the operators in Expr in order to have exclusively binary or unary operators.
unflattenlofig.3alc
unflattenlofig creates a new figure, figname, containing the instances listed in list, and adds it in the figure pointed to by ptfig, with the name insname. All...
unmarkbddnode.3alc
unmarkbddnode unmarks the bdd node BddNode with the bit mask Mark, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. This...
unsetbddrefext.3alc
unsetbddrefext increments the number of internal reference of the bdd node BddNode and decrements its number of external reference.
upstr.3alc
upstr converts the s string to upper case in t. The space for t must be allocated by the caller, and be at least strlen(s) + 1 long.
upVarBdd.3alc
upVarBdd() constructs a graph obtained by bringing up oldIndex to newIndex. This function is called by the BDDs reordering function.
vhdlablname.3alc
vhdlablname translates a name according to the VHDL syntax.
vhdlablvector.3alc
vhdlablvector searches the index of a vectorized name, and the vector's name.
viambkrds.3alc
The viambkrds function converts and creates a RDS contact from a MBK contact. The contact is attached to the RDS figure in parameter of the viambkrds function...
viewablexpr.3alc
viewablexpr displays Expr in the notation specified by Mode. The following notation types are available ABL_VIEW_INFIX, ABL_VIEW_PREFIX, ABL_VIEW_POSTFIX or...
viewablexprfile.3alc
viewablexprfile displays Expr in the file AblFile with the notation specified by Mode. The following notation types are available ABL_VIEW_INFIX...
viewablexprstr.3alc
viewablexprstr displays Expr in a string, with the notation specified by Mode. The following notation types are available ABL_VIEW_INFIX, ABL_VIEW_PREFIX...
viewbddcircuit.3alc
viewbddcircuit displays the bdd circuit BddCircuit. If ViewName is true, viewbddcircuit displays also the field NAME_IN. If a null pointer is given, the default...
viewbddnode.3alc
viewbddnode displays the node BddNode, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
viewbddsystem.3alc
viewbddsystem displays the bdd system BddSystem. If ViewIndex is true, viewbddsystem displays also the two fields INDEX_TO_VAR and VAR_TO_INDEX. If a null...
viewbddsysteminfo.3alc
viewbddsysteminfo provides statistical information on the bdd system BddSystem, for example the perfomance of the different caches. If a null pointer is given...
viewht.3alc
displays a hash table contents
viewlo.3alc
viewlo scans all the elements of the entire lofig_list loaded in ram, and displays a textual output of the data strcuture contents. All the figures are treated...
viewlocap.3alc
viewlocap scans all the primary elements of the locap_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewlofig.3alc
viewlofig scans all the primary elements of the lofig_list loaded in ram, and displays a textual output of the data strcuture contents. The LOINS, LOCON, LOSIG...
viewlofigcon.3alc
viewlofigcon scans all the primary elements of the locon_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewloins.3alc
viewloins scans all the primary elements of the loins_list pointed to by pt, and displays a textual output of the data strcuture contents. The LOCON field is...
viewloinscon.3alc
viewloinscon scans all the primary elements of the locon_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewlores.3alc
viewlores scans all the primary elements of the lores_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewloself.3alc
viewloself scans all the primary elements of the loself_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewlosig.3alc
viewlosig scans all the primary elements of the losig_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewlotrs.3alc
viewlotrs scans all the primary elements of the lotrs_list loaded in ram, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewph.3alc
viewph scans all the elements of the entire phfig_list loaded in ram, and displays a textual output of the data strcuture contents. All the figures are treated...
viewphcon.3alc
viewphcon scans all the primary elements of the phcon_list pointed to by pt, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewphfig.3alc
viewphfig scans all the primary elements of the phfig_list loaded in ram, and displays a textual output of the data strcuture contents. The PHINS, PHCON, PHSEG...
viewphins.3alc
viewphins scans all the primary elements of the phins_list pointed to by pt, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewphref.3alc
viewphref scans all the primary elements of the phref_list pointed to by pt, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewphseg.3alc
viewphseg scans all the primary elements of the phseg_list pointed to by pt, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewphvia.3alc
viewphvia scans all the primary elements of the phvia_list pointed to by pt, and displays a textual output of the data strcuture contents. Its use is mostly for...
viewrdsfig.3alc
The viewrdsfig function displays caracteristics of the figure called ´Figure´ and all the objets contained in this figure.
viewrdsins.3alc
The viewrdsins function displays caracteristics of the instance pointed by ´Instance´ and its items.
viewrdsparam.3alc
The viewrdsparam function displays tables in RAM filled by the loadrdsparam function. For more information, see loadrdsparam function.
viewrdsrec.3alc
Displays caracteristics of a rectangle
viewrdswindow.3alc
The viewrdswindow function displays : Caracteristics of the windowing (number of windows, width, height,size of a window,...). Size and position of each window...
viewrfmcon.3alc
The viewrfmcon function displays caracteristics of a connector in MBK and RDS format.
viewrfmfig.3alc
The viewrfmfig function displays caracteristics of a figure in MBK and RDS format.
viewrfmins.3alc
The viewrfmins function displays caracteristics of an instance in MBK and RDS format.
viewrfmrec.3alc
The viewrfmrec function displays all rectangles which constitute a RDS object.
viewrfmref.3alc
The viewrfmref function displays caracteristics of a reference in MBK and RDS format.
viewrfmseg.3alc
The viewrfmseg function displays caracteristics of a segment in MBK and RDS format.
viewrfmvia.3alc
The viewrfmvia function displays caracteristics of a contact in MBK and RDS format.
xyflat.3alc
xyflat computes coordinates relative to a model of instance in order to give them in figure coordinates, taking care of the transformation performed on the...