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