Manual pages
Origin: ASIM/LIP6.
| [ Alias ↣ ] Name (section) | Brief |
|---|---|
| abl(1) | 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. |
| 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. |
| addListBdd(3) | Adds a BDD to a chained list of BDDs. |
| addlocap(3) | Create a logical capacitor. |
| 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. |
| addlores(3) | Create a logical resistor. |
| addloself(3) | Create a logical inductor. |
| 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(3) | … |
| al(5) | Alliance logical format. |
| alcbanner(1) | Display a standardized banner for Alliance tools. |
| alliance-genpat(1) | … |
| alliance-log(3) | Logical representations for boolean functions and utilities. |
| alliance-ocp(1) | … |
| 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. |
| ap(5) | Alliance physical format. |
| append(3) | Append a chain_list to an other chain_list. |
| 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. |
| attila(1) | A Tool Installer. |
| aut(1) | 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. |
| bdd(1) | 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) | … |
| bigvia(3) | Draws a non minimal via as a bunch of vias. |
| boog(1) | Binding and Optimizing On Gates. |
| boom(1) | BOOlean Minimization. |
| buildrdswindow(3) | Builds windowing of a figure. |
| catal(5) | Catalog file format. |
| chain(3) | Mbk lisp-like service structure. |
| 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. |
| composeBdd(3) | Substitutes an index by a BDD in another 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. |
| 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. |
| 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. |
| 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) | … |
| defab(3) | Defines the abutment box of a phfig. |
| 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. |
| delchain(3) | Delete an element of a chain_list. |
| delht(3) | Removes an hash table. |
| delhtitem(3) | Removes an item in an hash table. |
| dellocap(3) | Delete a logical capacitor. |
| dellocon(3) | Delete a logical connector. |
| dellofig(3) | Delete and free a logical figure. |
| delloins(3) | Delete a logical instance. |
| dellores(3) | Delete a logical resistor. |
| delloself(3) | Delete a logical inductor. |
| 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. |
| 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. |
| devablxorexpr(3) | Develops 'xor', 'nxor' in an expression. |
| devdupablxorexpr(3) | Duplicates and develops 'xor', 'nxor'. |
| displayBdd(3) | Displays a BDD. |
| downstr(3) | Convert a string to lower case. |
| 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. |
| druc(1) | Design Rule Checker. |
| dupablexpr(3) | Duplicates an expression. |
| existbddnodeassocoff(3) | Computes an existantial quantification. |
| existbddnodeassocon(3) | Computes an existantial quantification. |
| figmbkrds(3) | Converts MBK figure to RDS figure. |
| filepath(3) | Return the whole search path of a file. |
| flatablexpr(3) | Merges the operators of an expression. |
| flatlo(1) | FLATen LOgical figure. |
| flatph(1) | FLATen PHysical figure. |
| flattenlofig(3) | Flatten a instance in a logical figure. |
| flattenphfig(3) | Flatten a instance in a figure. |
| fmi(1) | FSM state miminization. |
| 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. |
| fsm(1) | Finite State Machine representation. |
| fsm(5) | Alliance VHDL Finite State Machine description subset. |
| fsp(1) | Formal proof between two FSM descriptions. |
| garbagebddsystem(3) | Forces a bdd garbage collection. |
| gcNodeBdd(3) | Does a garbage collection. |
| genlib(1) | Procedural design language based upon C. |
| GENLIB_MACRO(3) | Interface with all MACRO generators. |
| GENLIB_SET_LOCAP(3) | Set the capacitance value of a logical capacitor, after its creation. |
| GENLIB_SET_LORES(3) | Set the resistance value of a logical resistor, after its creation. |
| GENLIB_SET_LOSELF(3) | Set the inductance value of a logical inductor, after its creation. |
| 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) | … |
| gethtitem(3) | Searches an item in a hash table. |
| getlocap(3) | Retrieve a logical capacitor. |
| 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. |
| getlores(3) | Retrieve a logical resistor. |
| getloself(3) | Retrieve a logical inductor. |
| 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. |
| 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. |
| graal(1) | Symbolic layout editor. |
| guessextdir(3) | Guess external connectors directions from internal connectors directions. |
| 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(3) | … |
| initializeBdd(3) | Initializes the BDDs system. |
| 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. |
| isablnameinexpr(3) | … |
| 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. |
| isck(3) | … |
| isvdd(3) | … |
| isvss(3) | … |
| k2f(1) | … |
| l2p(1) | 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. |
| 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. |
| locap(3) | Mbk logical capacitor. |
| locon(3) | Mbk logical connector. |
| lofig(3) | Mbk logical figure. |
| lofigchain(3) | Creates a netlist in terms of connectors on signals. |
| log(1) | Logical representations for boolean functions and utilities. |
| loins(3) | Mbk logical instance. |
| loon(1) | Local optimizations of Nets. |
| lores(3) | Mbk logical resistor. |
| loself(3) | Mbk logical inductor. |
| losig(3) | Mbk logical signal. |
| lotrs(3) | Mbk logical transistor. |
| lvx(1) | Logical Versus eXtracted net-list comparator. |
| 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(3) | Generic layout ,netlist and utility data structures. |
| MBK_CATA_LIB(1) | Define the mbk catalog directory. |
| MBK_CATAL_NAME(1) | Define the mbk catalog file. |
| MBK_CK(1) | Define the clock name pattern. |
| MBK_FILTER_SFX(1) | Define the inputoutput filter suffixe. |
| MBK_IN_FILTER(1) | Define the input filter. |
| MBK_IN_LO(1) | Define the logical input format of mbk and genlib. |
| MBK_IN_PH(1) | Define the physical input format of mbk and genlib. |
| MBK_OUT_FILTER(1) | Define the input filter. |
| MBK_OUT_LO(1) | Define the logical output format of mbk and genlib. |
| MBK_OUT_PH(1) | Define the physical output format of mbk and genlib. |
| MBK_SEPAR(1) | Define the separator character for hierarchy. |
| MBK_TRACE_GETENV(1) | Defines getenv() debug output. |
| MBK_VDD(1) | Define the high level power name pattern. |
| MBK_VSS(1) | Define the ground power name pattern. |
| MBK_WORK_LIB(1) | Define the mbk working directory. |
| mbkalloc(3) | Mbk memory allocator. |
| mbkenv(3) | Set user preferences. |
| mbkfopen(3) | Open a file with several search pathes. |
| mbkfree(3) | Mbk memory allocator. |
| mbkgetenv(3) | Get an environment variable. |
| mbkps(3) | Mbk process state. |
| mbkrealloc(3) | Mbk memory reallocator. |
| mbksetautoackchld(3) | Tells Alliance to automatically handle terminaison of child process. |
| mbkunlink(3) | Delete a file in the WORK_LIBP. |
| mbkwaitpid(3) | Wait for the end of a particular child process. |
| mlodebug(3) | Logical data structure contents debug function. |
| modelmbkrds(3) | Gets all models of instances contained in a figure. |
| moka(1) | Model checker ancestor. |
| 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. |
| nero(1) | 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. |
| pat(5) | Pattern description format. |
| pat2spi(1) | … |
| 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. |
| 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) | Formal proof between two behavioural descriptions. |
| 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. |
| 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. |
| 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. |
| ring(1) | PAD RING router. |
| roundrdsrec(3) | Adjusts a rectangle to lambda grid step. |
| s2r(1) | Process mapping from symbolic layout to physical layout. |
| satisfybddnode(3) | Finds a satisfying path for a bdd node. |
| SAVE(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. |
| scapin(1) | Scan path insertion. |
| 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. |
| setlocap(3) | Set the capacitance value of a logical capacitor. |
| setlores(3) | Set the resistance value of a logical resistor. |
| setloself(3) | Set the inductance value of a logical inductor. |
| 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. |
| sortlocon(3) | Sort the logical connectors of a figure by name. |
| sortlosig(3) | Sort the logical signals of a figure by name. |
| 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. |
| 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. |
| upstr(3) | Convert a string to upper case. |
| upVarBdd(3) | Brings up an index in a BDD. |
| vasy(1) | 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. |
| 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. |
| viewlocap(3) | Display elements of a locap_list. |
| viewlofig(3) | Display elements of a lofig_list. |
| viewloins(3) | Display elements of a loins_list. |
| viewloinscon(3) | Display elements of a locon_list attached to an instance. |
| viewlores(3) | Display elements of a lores_list. |
| viewloself(3) | Display elements of a loself_list. |
| 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. |
| viewphins(3) | Display elements of a phins_list. |
| viewphref(3) | Display elements of a phref_list. |
| viewphseg(3) | Display elements of a phseg_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. |
| vst(5) | … |
| x2y(1) | Netlist Format converter. |
| xpat(1) | Graphic pattern viewer. |
| xsch(1) | Graphical schematic viewer. |
| xyflat(3) | Compute hierarchical coordinates. |