📦 alliance

A

• abl(1)Prefixed representation for boolean functions✨
• abl(1alc)Prefixed representation for boolean functions✨
• ablToBddCct(3)converts an ABL into a BDD within a circuit✨
• addablhexpr(3)adds a new argument in head of an expression.✨
• addablqexpr(3)adds a new argument in queue of an expression.✨
• 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.✨
• addListBdd(3)adds a BDD to a chained list of BDDs✨
• AFFECT(3)✨
• al(5)Alliance logical format✨
• alc_bug_report(1)✨
• alc_bug_report(1alc)✨
• alc_origin(1)✨
• alc_origin(1alc)✨
• alcbanner(1)Display a standardized banner for Alliance tools✨
• alcbanner(1alc)Display a standardized banner for Alliance tools✨
• alliancebanner(3)display the standardized Alliance banner✨
• ap(5)Alliance physical format✨
• applyBdd(3)applies an operator to a list of 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.✨
• applyBinBdd(3)applies an operator to two BDD.✨
• ARRAY(3)✨
• asimut(1)A simulation tool for hardware descriptions✨
• asimut(1alc)A simulation tool for hardware descriptions✨
• attila(1)A Tool Installer✨
• aut(1)Memory allocation, and hash tables management✨
• aut(1alc)Memory allocation, and hash tables management✨
• 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✨

B

• bdd(1)Mutli Reduced Ordered Binary Decision Diagrams✨
• bdd(1alc)Mutli Reduced Ordered Binary Decision Diagrams✨
• bddToAblCct(3)converts a BDD into an ABL within a circuit✨
• beh(3)Generic behavioural data structures✨
• 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)✨
• boog(1)Binding and Optimizing On Gates.✨
• boog(1alc)Binding and Optimizing On Gates.✨
• boom(1)BOOlean Minimization✨
• boom(1alc)BOOlean Minimization✨

C

• 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.✨
• composeBdd(3)substitutes an index by a BDD in another BDD✨
• composebddnode(3)substitutes a variable by a bdd in another bdd.✨
• constraintBdd(3)restricts a BDD to another BDD✨
• 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.✨
• cougar(1)Hierarchical netlist extractor✨
• cougar(1alc)Hierarchical netlist extractor✨
• 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.✨
• createbddcircuit(3)creates a bdd circuit.✨
• createbddsystem(3)creates a bdd system.✨
• createNodeTermBdd(3)creates a terminal node of variable.✨
• ctl(5)Control Temporal Logic file format.✨

D

• decbddrefext(3)decrements the external reference of a bdd node.✨
• decbddrefint(3)decrements the internal reference of a bdd node.✨
• DECLAR(3)✨
• DEF_GENPAT(3)✨
• delablexpr(3)deletes an expression.✨
• delablexprnum(3)deletes an operand in an expression.✨
• 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.✨
• destroyBdd(3)removes the BDDs system✨
• destroybddassoc(3)frees all the variable associations.✨
• destroybddcircuit(3)destroys a bdd circuit.✨
• destroybddsystem(3)destroys a bdd system.✨
• devablxorexpr(3)develops 'xor', 'nxor' in an expression.✨
• devdupablxorexpr(3)duplicates and develops 'xor', 'nxor'.✨
• displayBdd(3)displays a BDD✨
• DPGEN_ADSB2F(3)Adder/Substractor Macro-Generator✨
• DPGEN_AND2(3)AND2 Macro-Generator✨
• DPGEN_AND3(3)AND3 Macro-Generator✨
• DPGEN_AND4(3)AND4 Macro-Generator✨
• DPGEN_BUFF(3)Buffer Macro-Generator✨
• DPGEN_BUSE(3)tristate Macro-Generator✨
• DPGEN_CONST(3)Constant Macro-Generator✨
• DPGEN_DFF(3)Dynamic Flip-Flop Macro-Generator✨
• DPGEN_DFFT(3)Dynamic Flip-Flop with Scan-Path Macro-Generator✨
• DPGEN_FIFO(3)FIFO Macro-Generator✨
• DPGEN_INV(3)Inverter Macro-Generator✨
• DPGEN_MUX2(3)Multiplexer Macro-Generator✨
• DPGEN_NAND2(3)NAND2 Macro-Generator✨
• DPGEN_NAND2MASK(3)Programmable Mask Macro-Generator✨
• DPGEN_NAND3(3)NAND3 Macro-Generator✨
• DPGEN_NAND4(3)NAND4 Macro-Generator✨
• DPGEN_NBUSE(3)Tristate Macro-Generator✨
• DPGEN_NMUX2(3)Multiplexer Macro-Generator✨
• DPGEN_NOR2(3)NOR2 Macro-Generator✨
• DPGEN_NOR2MASK(3)Programmable Mask Macro-Generator✨
• DPGEN_NOR3(3)NOR3 Macro-Generator✨
• DPGEN_NOR4(3)NOR4 Macro-Generator✨
• DPGEN_NUL(3)Zero Detector Macro-Generator✨
• DPGEN_OR2(3)OR2 Macro-Generator✨
• DPGEN_OR3(3)OR3 Macro-Generator✨
• DPGEN_OR4(3)OR4 Macro-Generator✨
• DPGEN_RF1(3)Register File Macro-Generator✨
• DPGEN_RF1D(3)Register File with Decoder Macro-Generator✨
• DPGEN_ROM2(3)2 words ROM Macro-Generator✨
• DPGEN_ROM4(3)4 words ROM Macro-Generator✨
• DPGEN_SFF(3)Static Flip-Flop Macro-Generator✨
• DPGEN_SFFT(3)Static Flip-Flop with Scan-Path Macro-Generator✨
• DPGEN_SHIFT(3)Shifter Macro-Generator✨
• DPGEN_XNOR2(3)XNOR2 Macro-Generator✨
• DPGEN_XNOR2MASK(3)Programmable Mask Macro-Generator✨
• DPGEN_XOR2(3)XOR2 Macro-Generator✨
• dreal(1)Graphic real layout viewer✨
• dreal(1alc)Graphic real layout viewer✨
• druc(1)Design Rule Checker✨
• druc(1alc)Design Rule Checker✨
• dupablexpr(3)duplicates an expression.✨

E

• existbddnodeassocoff(3)computes an existential quantification.✨
• existbddnodeassocon(3)computes an existential quantification.✨

F

• flatablexpr(3)merges the operators of an expression✨
• flatbeh(1)Synthetize a behavioral description from a structural description✨
• flatbeh(1alc)Synthetize a behavioral description from a structural description✨
• flatlo(1)FLATen LOgical figure✨
• flatlo(1alc)FLATen LOgical figure✨
• flatph(1)FLATen PHysical figure✨
• flatph(1alc)FLATen PHysical figure✨
• fmi(1)FSM state miminization✨
• fmi(1alc)FSM state miminization✨
• freeablexpr(3)frees an expression.✨
• fsm(1)Finite State Machine representation.✨
• fsm(1alc)Finite State Machine representation.✨
• fsm(5)Alliance VHDL Finite State Machine description subset.✨
• fsp(1)Formal proof between two FSM descriptions✨
• fsp(1alc)Formal proof between two FSM descriptions✨

G

• garbagebddsystem(3)Forces a bdd garbage collection.✨
• gcNodeBdd(3)does a garbage collection✨
• genlib(1)Procedural design language based upon C.✨
• genlib(1alc)Procedural design language based upon C.✨
• GENLIB_MACRO(3)Interface with all MACRO generators.✨
• genpat(1)A program to create patch files in VPatch format.✨
• genpat(1alc)✨
• 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.✨
• getbddvarnodebyindex(3)gives the bdd node of a variable.✨
• GETCPAT(3)✨
• graal(1)symbolic layout editor✨
• graal(1alc)symbolic layout editor✨

I

• implybddnode(3)computes a bdd that implies a conjonction of two bdd nodes.✨
• incbddrefext(3)increments the external reference of a bdd node.✨
• incbddrefint(3)increments the internal reference of a bdd node.✨
• INIT(3)✨
• initializeBdd(3)initializes the BDDs system✨
• 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.✨
• isablnameinexpr(3)✨