📦 alliance

I (continued)

• 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.✨

K

• k2f(1)✨
• k2f(1alc)✨

L

• l2p(1)Creates a PostScript file from a symbolic layout file,or from a physical layout file.✨
• l2p(1alc)Creates a PostScript file from a symbolic layout file,or from a physical layout file.✨
• LABEL(3)✨
• lax(5)Parameter file for logic synthesis✨
• libpat(3)Generic pattern data structure✨
• log(1)logical representations for boolean functions and utilities.✨
• log(1alc)logical representations for boolean functions and utilities.✨
• log(3)natural logarithmic function✨
• loon(1)Local optimizations of Nets.✨
• loon(1alc)Local optimizations of Nets.✨
• lvx(1)Logical Versus eXtracted net-list comparator✨
• lvx(1alc)Logical Versus eXtracted net-list comparator✨

M

• m2e(1)✨
• m2e(1alc)✨
• 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.✨
• MBK_FILTER_SFX(1)define the inputoutput filter suffixe.✨
• MBK_FILTER_SFX(1alc)define the inputoutput filter suffixe.✨
• MBK_IN_FILTER(1)define the input filter✨
• MBK_IN_FILTER(1alc)define the input filter✨
• MBK_OUT_FILTER(1)define the input filter✨
• MBK_OUT_FILTER(1alc)define the input filter✨
• MBK_TRACE_GETENV(1)defines getenv() debug output✨
• MBK_TRACE_GETENV(1alc)defines getenv() debug output✨
• mbkgetenv(3)get an environment variable✨
• moka(1)Model checker ancestor✨
• moka(1alc)Model checker ancestor✨

N

• nero(1)Negotiating Router✨
• nero(1alc)Negotiating Router✨
• notBdd(3)complements a BDD✨
• numberNodeAllBdd(3)count the number of nodes used in the BDD system✨
• numberNodeBdd(3)computes the number of nodes used in a BDD✨

O

• ocp(1)music player✨
• ocp(1alc)Standard Cell Placer✨

P

• pat(5)Pattern description format✨
• pat2spi(1)✨
• pat2spi(1alc)✨
• polarablexpr(3)moves inverters to the atomic level.✨
• polardupablexpr(3)duplicates an expression and moves down the inverters.✨
• prol(5)define the rules for symbolic to real layout translation✨
• proof(1)troff output interpreter✨
• proof(1alc)Formal proof between two behavioural descriptions✨

R

• 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✨
• resetbddcircuit(3)resets a bdd circuit.✨
• resetbddsystem(3)resets a bdd system.✨
• restrictbddnode(3)substitutes a variable by a zero or one, in a bdd.✨
• ring(1)PAD RING router✨
• ring(1alc)PAD RING router✨

S

• s2r(1)Process mapping from symbolic layout to physical layout✨
• s2r(1alc)Process mapping from symbolic layout to physical layout✨
• satisfybddnode(3)finds a satisfying path for a bdd node.✨
• SAVE(3)✨
• scapin(1)Scan path insertion✨
• scapin(1alc)Scan path insertion✨
• searchbddcircuitin(3)searches an input in a bdd circuit.✨
• searchbddcircuitout(3)searches an output in a bdd circuit.✨
• setbddrefext(3)increments the external reference, and decrements the internal reference of a bdd node.✨
• 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.✨
• 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✨
• spi(5)Alliance parser and driver for Spice netlist.✨
• 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.✨
• swapbddvar(3)swaps two contiguous variables.✨
• sxlib(5)a portable CMOS Standard Cell Library✨
• syf(1)Finite State Machine synthesizer.✨
• syf(1alc)Finite State Machine synthesizer.✨

T

• testbddcircuit(3)debugs a bdd circuit.✨

U

• unflatablexpr(3)unflats the operators of an expression✨
• 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✨

V

• vasy(1)VHDL Analyzer for Synthesis✨
• vasy(1alc)VHDL Analyzer for Synthesis✨
• vasy(5)✨
• vbe(5)✨
• vhdl(5)✨
• vhdlablname(3)returns a compatible VHDL name.✨
• vhdlablvector(3)gives the index and the name of a vectorized name.✨
• 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 information.✨
• vst(5)✨

X

• x2y(1)Netlist Format converter✨
• x2y(1alc)Netlist Format converter✨
• xpat(1)graphic pattern viewer✨
• xpat(1alc)graphic pattern viewer✨
• xsch(1)graphical schematic viewer✨
• xsch(1alc)graphical schematic viewer✨