make whatis automatic

This commit is contained in:
Olivier Sirol 2000-10-10 14:58:45 +00:00
parent b8f3248e17
commit e0333c42e6
3 changed files with 572 additions and 332 deletions

334
alliance/share/man/makewhatis Executable file
View File

@ -0,0 +1,334 @@
#!/bin/sh
# makewhatis: create the whatis database
# Created: Sun Jun 14 10:49:37 1992
# Revised: Sat Jan 8 14:12:37 1994 by faith@cs.unc.edu
# Revised: Sat Mar 23 17:56:18 1996 by micheal@actrix.gen.nz
# Copyright 1992, 1993, 1994 Rickard E. Faith (faith@cs.unc.edu)
# May be freely distributed and modified as long as copyright is retained.
#
# Wed Dec 23 13:27:50 1992: Rik Faith (faith@cs.unc.edu) applied changes
# based on Mitchum DSouza (mitchum.dsouza@mrc-apu.cam.ac.uk) cat patches.
# Also, cleaned up code and make it work with NET-2 doc pages.
#
# makewhatis-1.4: aeb 940802, 941007, 950417
# Fixed so that the -c option works correctly for the cat pages
# on my machine. Fix for -u by Nan Zou (nan@ksu.ksu.edu).
# Many minor changes.
# The -s option is undocumented, and may well disappear again.
#
# Sat Mar 23 1996: Michael Hamilton (michael@actrix.gen.nz).
# I changed the script to invoke gawk only once for each directory tree.
# This speeds things up considerably (from 30 minutes down to 1.5 minutes
# on my 486DX66).
# 960401 - aeb: slight adaptation to work correctly with cat pages.
# 960510 - added fixes by brennan@raven.ca.boeing.com, author of mawk.
# 971012 - replaced "test -z" - it doesnt work on SunOS 4.1.3_U1.
# 980710 - be more careful with TMPFILE
#
# Note for Slackware users: "makewhatis -v -w -c" will work.
PATH=/usr/bin:/bin
DEFMANPATH=/usr/man
DEFCATPATH=/usr/man/preformat:/usr/man
# AWK=/usr/bin/gawk
AWK=/bin/gawk
# Find a place for our temporary files. If security is not a concern, use
# TMPFILE=/tmp/whatis$$; TMPFILEDIR=none
# Of course makewhatis should only have the required permissions
# (for reading and writing directories like /usr/man).
# We try here to be careful (and avoid preconstructed symlinks)
# in case makewhatis is run as root, by creating a subdirectory of /tmp.
# If that fails we use $HOME.
# The code below uses test -O which doesnt work on all systems.
TMPFILE=$HOME/whatis$$
TMPFILEDIR=/tmp/whatis$$
if [ ! -d $TMPFILEDIR ]; then
mkdir $TMPFILEDIR
chmod 0700 $TMPFILEDIR
if [ -O $TMPFILEDIR ]; then
TMPFILE=$TMPFILEDIR/w
fi
fi
topath=manpath
defmanpath=$DEFMANPATH
defcatpath=
sections="1 2 3 4 5 6 7 8 9 n l"
for name in $*
do
if [ -n "$setsections" ]; then
setsections=
sections=$name
continue
fi
case $name in
-c) topath=catpath
defmanpath=
defcatpath=$DEFCATPATH
continue;;
-s) setsections=1
continue;;
-u) findarg="-ctime 0"
update=1
continue;;
-v) verbose=1
continue;;
-w) manpath=`man --path`
continue;;
-*) echo "Usage: makewhatis [-u] [-v] [-w] [manpath] [-c [catpath]]"
echo " This will build the whatis database for the man pages"
echo " found in manpath and the cat pages found in catpath."
echo " -u: update database with new pages"
echo " -v: verbose"
echo " -w: use manpath obtained from \`man --path\`"
echo " [manpath]: man directories (default: $DEFMANPATH)"
echo " [catpath]: cat directories (default: the first existing"
echo " directory in $DEFCATPATH)"
exit;;
*) if [ -d $name ]
then
eval $topath="\$$topath":$name
else
echo "No such directory $name"
exit
fi;;
esac
done
manpath=`echo ${manpath-$defmanpath} | tr : ' '`
if [ x"$catpath" = x ]; then
for d in `echo $defcatpath | tr : ' '`
do
if [ -d $d ]; then catpath=$d; break; fi
done
fi
catpath=`echo ${catpath} | tr : ' '`
# first truncate all the whatis files that will be created new,
# then only update - we might visit the same directory twice
if [ x$update = x ]; then
for pages in man cat
do
eval path="\$$pages"path
for mandir in $path
do
cp /dev/null $mandir/whatis
done
done
fi
for pages in man cat
do
export pages
eval path="\$$pages"path
for mandir in $path
do
if [ x$verbose != x ]; then
echo "about to enter $mandir" > /dev/tty
fi
if [ -s ${mandir}/whatis -a $pages = man ]; then
if [ x$verbose != x ]; then
echo skipping $mandir - we did it already > /dev/tty
fi
else
here=`pwd`
cd $mandir
for i in $sections
do
if [ -d ${pages}$i ]
then
cd ${pages}$i
section=$i
export section verbose
find . -name '*' $findarg -print | $AWK '
function readline() {
if (use_zcat) {
result = (pipe_cmd | getline);
if (result < 0) {
print "Pipe error: " pipe_cmd " " ERRNO > "/dev/stderr";
}
} else {
result = (getline < filename);
if (result < 0) {
print "Read file error: " filename " " ERRNO > "/dev/stderr";
}
}
return result;
}
function closeline() {
if (use_zcat) {
return close(pipe_cmd);
} else {
return close(filename);
}
}
function do_one() {
after = 0; insh = 0; thisjoin = 1; charct = 0;
if (verbose) {
print "adding " filename > "/dev/tty"
}
use_zcat = (filename ~ /\.Z$/ || filename ~ /\.z$/ ||
filename ~ /\.gz$/);
match(filename, "/[^/]+$");
progname = substr(filename, RSTART + 1, RLENGTH - 1);
if (match(progname, "\\." section "[A-Za-z]+")) {
actual_section = substr(progname, RSTART + 1, RLENGTH - 1);
} else {
actual_section = section;
}
sub(/\..*/, "", progname);
if (use_zcat) {
pipe_cmd = "zcat " filename;
}
while (readline() > 0) {
gsub(/.\b/, "");
if (($1 ~ /^\.[Ss][Hh]/ &&
($2 ~ /[Nn][Aa][Mm][Ee]/ ||
$2 ~ /^JMÉNO/ || $2 ~ /^NAVN/ ||
$2 ~ /^BEZEICHNUNG/ || $2 ~ /^NOMBRE/ ||
$2 ~ /^NIMI/ || $2 ~ /^NOM/ || $2 ~ /^IME/ ||
$2 ~ /^NOME/ || $2 ~ /^NAAM/)) ||
(pages == "cat" && $1 ~ /^NAME/)) {
if (!insh)
insh = 1;
else {
printf "\n";
closeline();
return;
}
} else if (insh) {
if ($1 ~ /^\.[Ss][HhYS]/ ||
(pages == "cat" &&
($1 ~ /^S[yYeE]/ || $1 ~ /^DESCRIPTION/ ||
$1 ~ /^COMMAND/ || $1 ~ /^OVERVIEW/ ||
$1 ~ /^STRUCTURES/ || $1 ~ /^INTRODUCTION/))) {
# end insh for Synopsis, Syntax, but also for
# DESCRIPTION (e.g., XFree86.1x),
# COMMAND (e.g., xspread.1)
# OVERVIEW (e.g., TclCommandWriting.3)
# STRUCTURES (e.g., XEvent.3x)
# INTRODUCTION (e.g., TclX.n)
printf "\n";
closeline();
return;
} else { # derived from Tom Christiansen perl script
if (!after && $0 ~ progname"-") { # Fix old cat pages
sub(progname"-", progname" - ");
}
gsub(/ /, " "); # Translate tabs to spaces
gsub(/ +/, " "); # Collapse spaces
gsub(/ *, */, ", "); # Fix comma spacings
sub(/^ /, ""); # Kill initial spaces
sub(/ $/, ""); # Kill trailing spaces
sub(/__+/, "_"); # Collapse underscores
if ($0 ~ /[^ ]-$/) {
sub(/-$/, ""); # Handle Hyphenations
nextjoin = 1;
} else
nextjoin = 0;
sub(/^.[IB] /, ""); # Kill bold and italics
sub(/^.Nm /, ""); # Kill bold
sub(/^.Tn /, ""); # Kill normal
sub(/^.Li /, ""); # Kill .Li
sub(/^.Dq /, ""); # Kill .Dq
sub(/^.Nd */, "- "); # Convert .Nd to dash
gsub(/\\f[PRIB0123]/, ""); # Kill font changes
gsub(/\\s[-+0-9]*/, ""); # Kill size changes
gsub(/\\&/, ""); # Kill \&
gsub(/\\\((ru|ul)/, "_"); # Translate
gsub(/\\\((mi|hy|em)/, "-"); # Translate
gsub(/\\\*\(../, ""); # Kill troff strings
sub(/^\.\\\".*/, ""); # Kill comments
gsub(/\\/, ""); # Kill all backslashes
if ($1 ~ /^\.../ || $1 == "") {
if (after && !needmore) {
printf "\n";
thisjoin = 1;
charct = 0;
after = 0;
}
} else {
if ($0 ~ /^- /) {
sub("- ", " - ");
} else if (!thisjoin && $0 !~ /^- /) {
printf " ";
charct += 1;
}
thisjoin = nextjoin;
if ($0 !~ / - / && $0 !~ / -$/ && $0 !~ /^- /) {
printf "%s", $0;
charct += length();
needmore = 0;
} else {
after = 1
if ($0 ~ / - /) {
where = match( $0 , / - /);
} else if ($0 ~ / -$/) {
where = match( $0, / -$/);
} else {
where = 1;
}
if ((width = 20-charct) < 0) width=0
printf "%-*s", width, sprintf( "%s (%s)",
substr( $0, 1, where-1 ), actual_section );
printf "%s", substr( $0, where )
if ($0 ~ /- *$/) {
needmore = 1;
} else {
needmore = 0;
}
}
}
}
}
}
closeline();
}
{ # Main action - process each filename read in.
filename = $0;
do_one();
}
' pages=$pages section=$section verbose=$verbose
cd ..
fi
done > $TMPFILE
cd $here
# kludge for Slackware's /usr/man/preformat
if [ $mandir = /usr/man/preformat ]
then
mandir1=/usr/man
else
mandir1=$mandir
fi
if [ -f ${mandir1}/whatis ]
then
cat ${mandir1}/whatis >> $TMPFILE
fi
sed '/^$/d' < $TMPFILE | sort | uniq > ${mandir1}/whatis
chmod 644 ${mandir1}/whatis
rm $TMPFILE
fi
done
done
# remove the dir if we created it
if [ $TMPFILE = $TMPFILEDIR/w ]; then
rmdir $TMPFILEDIR
fi

View File

@ -1,18 +1,21 @@
ACTION (3) - GENPAT Package ACTION, GENPAT Package
AFFECT (3) - GENPAT Package AFFECT, GENPAT Package
ALLIANCE VHDL Subset
AMG (1) - Array Multiplior Generator AMG (1) - Array Multiplior Generator
ARRAY (3) - GENPAT Package ARRAY, GENPAT Package
BEH (3) - Generic behavioural data structures BEH (3) - Generic behavioural data structures
BOOM (1) - BOOlean Minimization
BUS (3) - Creates a bus name for netlist BUS (3) - Creates a bus name for netlist
BooG (1) - Binding and Optimizing On Gates.
COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure
COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure
COPY_UP_CON (3) - copy a physical connector from an instance in the current figure COPY_UP_CON (3) - copy a physical connector from an instance in the current figure
COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure
COPY_UP_REF (3) - copy a physical reference from an instance in the current figure COPY_UP_REF (3) - copy a physical reference from an instance in the current figure
COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure
DECLAR (3) - GENPAT Package DECLAR, GENPAT Package
DEF_AB (3) - define a new abutment box to the current layout cell DEF_AB (3) - define a new abutment box to the current layout cell
DEF_GENPAT(3) - GENPAT Package DEF_GENPAT, GENPAT Package
DEF_LOFIG (3) - open a netlist model as current figure DEF_LOFIG (3) - open a netlist model as current figure
DEF_PHFIG (3) - open a layout model as current figure DEF_PHFIG (3) - open a layout model as current figure
DEF_PHINS (3) - define a new reference instance DEF_PHINS (3) - define a new reference instance
@ -73,7 +76,68 @@ FLATTEN_ALL_PHINS (3) - flatten all instances in the current layout figure
FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure
FLATTEN_PHFIG (3) - flatten an instance in the current layout figure FLATTEN_PHFIG (3) - flatten an instance in the current layout figure
FPLIB (5) - Cells library for FITPATH dedicated generators. FPLIB (5) - Cells library for FITPATH dedicated generators.
GETCPAT (3) - GENPAT Package GENLIB_BUS (3) - Creates a bus name for netlist
GENLIB_COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure
GENLIB_COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure
GENLIB_COPY_UP_CON (3) - copy a physical connector from an instance in the current figure
GENLIB_COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure
GENLIB_COPY_UP_REF (3) - copy a physical reference from an instance in the current figure
GENLIB_COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure
GENLIB_DEF_AB (3) - define a new abutment box to the current layout cell
GENLIB_DEF_LOFIG (3) - open a netlist model as current figure
GENLIB_DEF_PHFIG (3) - open a layout model as current figure
GENLIB_DEF_PHINS (3) - define a new reference instance
GENLIB_DEF_PHSC (3) - load a netlist and open a layout model as current figure
GENLIB_ELM (3) - Creates a single element bus name for netlist
GENLIB_FLATTEN_ALL_LOINS (3) - flatten all instances in the current netlist figure
GENLIB_FLATTEN_ALL_PHINS (3) - flatten all instances in the current layout figure
GENLIB_FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure
GENLIB_FLATTEN_PHFIG (3) - flatten an instance in the current layout figure
GENLIB_GET_CON_X (3) - retrieve the x coordinate of an instance connector
GENLIB_GET_CON_Y (3) - retrieve the x coordinate of an instance connector
GENLIB_GET_INS_X (3) - retrieve the x coordinate of an instance
GENLIB_GET_INS_Y (3) - retrieve the y coordinate of an instance
GENLIB_GET_REF_X (3) - retrieve the x coordinate of an instance reference
GENLIB_GET_REF_Y (3) - retrieve the y coordinate of an instance reference
GENLIB_HEIGHT (3) - compute the height of a model
GENLIB_LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure
GENLIB_LOCON (3) - adds a logical connector to the current netlist figure
GENLIB_LOINS (3) - add a logical instance to the current figure
GENLIB_LOINSE (3) - add a logical instance to the current figure, with explicit connections
GENLIB_LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals
GENLIB_LOSIGMERGE (3) - merge two logical signals
GENLIB_LOTRS (3) - adds a logical transistor to the current netlist figure
GENLIB_OUTLINE (3) - build an outline from the current layout cell
GENLIB_PHCON (3) - place a physical connector in the current figure at absolute coordinates
GENLIB_PHREF (3) - place a physical reference in the current figure at absolute coordinates
GENLIB_PHSEG (3) - place a physical segment in the current figure at absolute coordinates
GENLIB_PHVIA (3) - place a physical via in the current figure at absolute coordinates
GENLIB_PLACE (3) - place a physical instance in the current figure at absolute coordinates
GENLIB_PLACE_BOTTOM (3) - place a physical instance in the current figure under the "reference instance"
GENLIB_PLACE_CON_REF (3) - put a connector on top of a reference belonging an instance in the current figure
GENLIB_PLACE_LEFT (3) - place a physical instance in the current figure at the left of the "reference instance"
GENLIB_PLACE_ON (3) - place a physical instance in the current figure matching connectors
GENLIB_PLACE_RIGHT (3) - place a physical instance in the current figure at the right of the "reference instance"
GENLIB_PLACE_SEG_REF (3) - put a segment on a reference belonging an instance in the current figure
GENLIB_PLACE_TOP (3) - place a physical instance in the current figure on the top of the "reference instance"
GENLIB_PLACE_VIA_REF (3) - put a via on top of a reference belonging to an instance in the current figure
GENLIB_REVERSE_PHCON (3) - reverse the order of physical connectors on a bus.
GENLIB_SAVE_LOFIG (3) - save a netlist on disk
GENLIB_SAVE_PHFIG (3) - save a layout on disk
GENLIB_SAVE_PHSC (3) - save a layout on disk
GENLIB_SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_PLACE (3) - place an instance in the current figure at absolute coordinates
GENLIB_SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_TOP (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
GENLIB_THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure
GENLIB_THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure
GENLIB_WIDTH (3) - compute the width of a model
GENLIB_WIRE1 (3) - place a physical segment in the current figure
GENLIB_WIRE2 (3) - place two physical segments in the current figure
GENLIB_WIRE3 (3) - place three physical segments in the current figure
GETCPAT, GENPAT Package
GET_CON_X (3) - retrieve the x coordinate of an instance connector GET_CON_X (3) - retrieve the x coordinate of an instance connector
GET_CON_Y (3) - retrieve the x coordinate of an instance connector GET_CON_Y (3) - retrieve the x coordinate of an instance connector
GET_INS_X (3) - retrieve the x coordinate of an instance GET_INS_X (3) - retrieve the x coordinate of an instance
@ -82,8 +146,8 @@ GET_REF_X (3) - retrieve the x coordinate of an instance reference
GET_REF_Y (3) - retrieve the y coordinate of an instance reference GET_REF_Y (3) - retrieve the y coordinate of an instance reference
HEIGHT (3) - compute the height of a model HEIGHT (3) - compute the height of a model
INF (5) - YAGLE and TAS information file INF (5) - YAGLE and TAS information file
INIT (3) - GENPAT Package INIT, GENPAT Package
LABEL (3) - GENPAT Package LABEL, GENPAT Package
LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure
LOCON (3) - adds a logical connector to the current netlist figure LOCON (3) - adds a logical connector to the current netlist figure
LOINS (3) - add a logical instance to the current figure LOINS (3) - add a logical instance to the current figure
@ -91,6 +155,7 @@ LOINSE (3) - add a logical instance to the current figure, with explic
LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals
LOSIGMERGE (3) - merge two logical signals LOSIGMERGE (3) - merge two logical signals
LOTRS (3) - adds a logical transistor to the current netlist figure LOTRS (3) - adds a logical transistor to the current netlist figure
LooN (1) - Light optimizing on Nets.
MBK_CATAL_NAME (1) - define the mbk catalog file MBK_CATAL_NAME (1) - define the mbk catalog file
MBK_CATA_LIB (1) - define the mbk catalog directory MBK_CATA_LIB (1) - define the mbk catalog directory
MBK_FILTER_SFX (1) - define the input/output filter suffixe. MBK_FILTER_SFX (1) - define the input/output filter suffixe.
@ -105,7 +170,6 @@ MBK_VDD (1) - define the high level power name pattern
MBK_VSS (1) - define the ground power name pattern MBK_VSS (1) - define the ground power name pattern
MBK_WORK_LIB (1) - define the mbk working directory MBK_WORK_LIB (1) - define the mbk working directory
OUTLINE (3) - build an outline from the current layout cell OUTLINE (3) - build an outline from the current layout cell
OpenVerticalChannel (3) - open a vertical channel in a phfig
OpenVerticalChannel -open a vertical channel inside a phfig OpenVerticalChannel -open a vertical channel inside a phfig
PAT (3) - Generic pattern data structure PAT (3) - Generic pattern data structure
PAT (5) - Pattern description format PAT (5) - Pattern description format
@ -129,25 +193,25 @@ RDS_OUT (1) - define the real layout output format of rds
RDS_TECHNO_NAME (1) - define the rds technology file RDS_TECHNO_NAME (1) - define the rds technology file
REVERSE_PHCON (3) - reverse the order of physical connectors on a bus. REVERSE_PHCON (3) - reverse the order of physical connectors on a bus.
RING (1) - PAD RING router RING (1) - PAD RING router
SAVE (3) - GENPAT Package SAVE, GENPAT Package
SAVE_LOFIG (3) - save a netlist on disk SAVE_LOFIG (3) - save a netlist on disk
SAVE_PHFIG (3) - save a layout on disk SAVE_PHFIG (3) - save a layout on disk
SAVE_PHSC (3) - save a layout on disk SAVE_PHSC (3) - save a layout on disk
SAV_GENPAT (3) - GENPAT Package SAV_GENPAT, GENPAT Package
SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance" SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance"
SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance" SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance"
SC_PLACE (3) - place an instance in the current figure at absolute coordinates SC_PLACE (3) - place an instance in the current figure at absolute coordinates
SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance" SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance"
SC_TOP (3) - place an instance in the current figure at the right of the "reference instance" SC_TOP (3) - place an instance in the current figure at the right of the "reference instance"
SETTUNIT (3) - GENPAT Package SETTUNIT, GENPAT Package
SYF (1) - Finite State Machine synthesizer. SYF (1) - Finite State Machine synthesizer.
SymbolicChannelRouter (3) - routes a given channel on a Virtual grid SymbolicChannelRouter (3) - routes a given channel on a Virtual grid
SymbolicChannelRouter (3) - routes a given channel on a symbolic grid
THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure
THRU_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure THRU_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure
UNFLATTEN_LOFIG (3) - creates a hierarchy level from instances in the current logical figure UNFLATTEN_LOFIG (3) - creates a hierarchy level from instances in the current logical figure
VASY (1) - VHDL Analyzer for Synthesis
WIDTH (3) - compute the width of a model WIDTH (3) - compute the width of a model
WIRE1 (3) - place a physical segment in the current figure WIRE1 (3) - place a physical segment in the current figure
WIRE2 (3) - place two physical segments in the current figure WIRE2 (3) - place two physical segments in the current figure
@ -166,9 +230,7 @@ a4p_dp
a4p_y a4p_y
abl (1) - Prefixed representation for boolean functions abl (1) - Prefixed representation for boolean functions
ablToBddCct (3) - converts an ABL into a BDD within a circuit ablToBddCct (3) - converts an ABL into a BDD within a circuit
aboxmbkrds (2) - converts MBK abutment box to RDS rectangle
aboxmbkrds (3) - converts MBK abutment box to RDS rectangle aboxmbkrds (3) - converts MBK abutment box to RDS rectangle
action (3) - GENPAT Package
addHExpr (3) - adds a new argument at the head of an operator expression. addHExpr (3) - adds a new argument at the head of an operator expression.
addInputCct (3) - adds an input to a circuit addInputCct (3) - adds an input to a circuit
addListBdd (3) - adds a BDD to a chained list of BDDs addListBdd (3) - adds a BDD to a chained list of BDDs
@ -209,36 +271,23 @@ addphref (3) - create a physical reference
addphseg (3) - create a physical segment addphseg (3) - create a physical segment
addphvia (3) - create a physical via addphvia (3) - create a physical via
addptype (3) - create a ptype and add it to a ptype_list addptype (3) - create a ptype and add it to a ptype_list
addrdsfig (2) - adds a figure
addrdsfig (3) - adds a figure addrdsfig (3) - adds a figure
addrdsfigrec (2) - adds a rectangle to a figure
addrdsfigrec (3) - adds a rectangle to a figure addrdsfigrec (3) - adds a rectangle to a figure
addrdsins (2) - adds an instance to a figure
addrdsins (3) - adds an instance to a figure addrdsins (3) - adds an instance to a figure
addrdsinsrec (2) - adds a rectangle to an instance
addrdsinsrec (3) - adds a rectangle to an instance addrdsinsrec (3) - adds a rectangle to an instance
addrdsrecwindow (2) - adds a rectangle in the windowing of rds structure.
addrdsrecwindow (3) - adds a rectangle in the windowing of rds structure. addrdsrecwindow (3) - adds a rectangle in the windowing of rds structure.
affect (3) - GENPAT Package
ai (5) - Alliance icon format ai (5) - Alliance icon format
al (5) - Alliance logical format al (5) - Alliance logical format
alcbanner (1) - Display a standardized banner for Alliance tools alcbanner (1) - Display a standardized banner for Alliance tools
algue (1) - ALliance Graphic User Environement algue (1) - ALliance Graphic User Environement
ali (1) - ALliance Information ali (1) - ALliance Information
alliancebanner (3) - display the standardized Alliance banner alliancebanner (3) - display the standardized Alliance banner
allocrdsfig (2) - allocs memory for a figure
allocrdsfig (3) - allocs memory for a figure allocrdsfig (3) - allocs memory for a figure
allocrdsins (2) - allocates memory for an instance
allocrdsins (3) - allocates memory for an instance allocrdsins (3) - allocates memory for an instance
allocrdsrec (2) - allocates memory for a rectangle
allocrdsrec (3) - allocates memory for a rectangle allocrdsrec (3) - allocates memory for a rectangle
allocrdsrecwin (2) - allocates a structure used to know windows which contains a rectangle.
allocrdsrecwin (3) - allocates a structure used to know windows which contains a rectangle. allocrdsrecwin (3) - allocates a structure used to know windows which contains a rectangle.
allocrdswin (2) - allocates window's table
allocrdswin (3) - allocates window's table allocrdswin (3) - allocates window's table
allocrdswindow (2) - allocates a window structure
allocrdswindow (3) - allocates a window structure allocrdswindow (3) - allocates a window structure
allocrdswinrec (2) - allocates a structure used to create a list of tables of rectangles.
allocrdswinrec (3) - allocates a structure used to create a list of tables of rectangles. allocrdswinrec (3) - allocates a structure used to create a list of tables of rectangles.
annup_dp annup_dp
annup_y annup_y
@ -252,11 +301,9 @@ applybddnodeite (3) - computes the IF-THEN-ELSE logical operation.
applybddnodelist (3) - applies an opertor to a bdd nodes list. applybddnodelist (3) - applies an opertor to a bdd nodes list.
applybddnodenot (3) - complements a bdd. applybddnodenot (3) - complements a bdd.
applybddnodeterm (3) - applies an operator on two bdd nodes. applybddnodeterm (3) - applies an operator on two bdd nodes.
applyrdssym (2) - applies a transformation to a rectangle from a model
applyrdssym (3) - applies a transformation to a rectangle from a model applyrdssym (3) - applies a transformation to a rectangle from a model
apr (3) - routing and placement functions apr (3) - routing and placement functions
arp (3) - routing and placement functions arp (3) - routing and placement functions
array (3) - GENPAT Package
asimut (1) - A simulation tool for hardware descriptions asimut (1) - A simulation tool for hardware descriptions
aut (1) - Memory allocation, and hash tables management aut (1) - Memory allocation, and hash tables management
autallocblock (3) - memory allocator autallocblock (3) - memory allocator
@ -279,58 +326,24 @@ bebus (3) - BEH data structure
bebux (3) - BEH data structure bebux (3) - BEH data structure
befig (3) - BEH data structure befig (3) - BEH data structure
begen (3) - BEH data structure begen (3) - BEH data structure
beh_addbeaux (3) - BEH function beh_addbeaux, beh_delbeaux, beh_rmvbeaux, beh_frebeaux
beh_delbeaux (3) - BEH function beh_addbebus, beh_delbebus, beh_rmvbebus, beh_frebebus
beh_rmvbeaux (3) - BEH function beh_addbebux, beh_delbebux, beh_rmvbebux, beh_frebebux
beh_frebeaux (3) - BEH function beh_addbefig, beh_delbefig, beh_rmvbefig, beh_frebefig
beh_addbebus (3) - BEH function beh_addbegen, beh_delbegen, beh_rmvbegen, beh_frebegen
beh_delbebus (3) - BEH function beh_addbemsg, beh_delbemsg, beh_rmvbemsg, beh_frebemsg
beh_rmvbebus (3) - BEH function beh_addbeout, beh_delbeout, beh_rmvbeout, beh_frebeout
beh_frebebus (3) - BEH function beh_addbepor, beh_delbepor, beh_rmvbepor, beh_frebepor
beh_addbebux (3) - BEH function beh_addbereg, beh_delbereg, beh_rmvbereg, beh_frebereg
beh_delbebux (3) - BEH function beh_addberin, beh_delberin, beh_rmvberin, beh_freberin
beh_rmvbebux (3) - BEH function beh_addbiabl, beh_delbiabl, beh_frebiabl
beh_frebebux (3) - BEH function beh_addbinode, beh_delbinode, beh_frebinode
beh_addbefig (3)
beh_delbefig (3)
beh_rmvbefig (3)
beh_frebefig (3) - BEH function
beh_addbegen (3)
beh_delbegen (3)
beh_rmvbegen (3)
beh_frebegen (3) - BEH function
beh_addbemsg (3)
beh_delbemsg (3)
beh_rmvbemsg (3)
beh_frebemsg (3) - BEH function
beh_addbeout (3)
beh_delbeout (3)
beh_rmvbeout (3)
beh_frebeout (3) - BEH function
beh_addbepor (3)
beh_delbepor (3)
beh_rmvbepor (3)
beh_frebepor (3) - BEH function
beh_addbereg (3)
beh_delbereg (3)
beh_rmvbereg (3)
beh_frebereg (3) - BEH function
beh_addberin (3)
beh_delberin (3)
beh_rmvberin (3)
beh_freberin (3) - BEH function
beh_addbiabl (3)
beh_delbiabl (3)
beh_frebiabl (3) - BEH function
beh_addbinode (3)
beh_delbinode (3)
beh_frebinode (3) - BEH function
beh_debug (3) - BEH structures displayer-debugger beh_debug (3) - BEH structures displayer-debugger
beh_depend (3) - compute forward dependencies in a description beh_depend (3) - compute forward dependencies in a description
beh_error (3) - BEH function beh_error
beh_makbdd (3) - create a BDD for each expression in a description 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_makgex (3) - create a GEX for each expression in a description
beh_message (3) - BEH function beh_message
bemsg (3) - BEH data structure bemsg (3) - BEH data structure
beout (3) - BEH data structure beout (3) - BEH data structure
bepor (3) - BEH data structure bepor (3) - BEH data structure
@ -340,11 +353,8 @@ bgd (1) - register file generator
biabl (3) - BEH data structure biabl (3) - BEH data structure
bigvia (3) - draws a non minimal via as a bunch of vias bigvia (3) - draws a non minimal via as a bunch of vias
binode (3) - BEH data structure binode (3) - BEH data structure
boog (1) - Binding and Optimizing On Gates.
boom (1) - Boolean optimization of a logic level behavioural description (VHDL data flow)
bop (1) - boolean optimization of a logic level behavioural description (VHDL data flow) bop (1) - boolean optimization of a logic level behavioural description (VHDL data flow)
bsg (1) - Barrel Shifter Generator bsg (1) - Barrel Shifter Generator
buildrdswindow (2) - builds windowing of a figure
buildrdswindow (3) - builds windowing of a figure buildrdswindow (3) - builds windowing of a figure
buseg (1) - Tristate generator for FITPATH data-path compiler. buseg (1) - Tristate generator for FITPATH data-path compiler.
c4map (1) - mapping of a behavioural description with the CMOS Complex Cell Compiler : C4. c4map (1) - mapping of a behavioural description with the CMOS Complex Cell Compiler : C4.
@ -359,17 +369,16 @@ clearbddsystemrefext (3) - clears the external references for all bdd nodes.
clearbddsystemrefint (3) - clears the internal references for all bdd nodes. clearbddsystemrefint (3) - clears the internal references for all bdd nodes.
cmx2_y cmx2_y
cofactorbddnode (3) - computes the generalized cofactor. cofactorbddnode (3) - computes the generalized cofactor.
comment (3) - GENPAT Package comment, GENPAT Package
composeBdd (3) - substitutes an index by a BDD in another BDD composeBdd (3) - substitutes an index by a BDD in another BDD
composeCct (3) - composes all the outputs within a circuit with a BDD composeCct (3) - composes all the outputs within a circuit with a BDD
composebddnode (3) - substitutes a variable 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 concatname (3) - concatenate two names with user separator
conmbkrds (2) - converts MBK connector to RDS rectangle
conmbkrds (3) - converts MBK connector to RDS rectangle conmbkrds (3) - converts MBK connector to RDS rectangle
constraintBdd (3) - restricts a BDD to another BDD constraintBdd (3) - restricts a BDD to another BDD
constraintCct (3) - restricts all the outputs within a circuit with a BDD constraint constraintCct (3) - restricts all the outputs within a circuit with a BDD constraint
conv (3), GENPAT Package conv, GENPAT Package
convcmp (3), GENPAT Package convcmp, GENPAT Package
convertbddcircuitabl (3) - converts a bdd node to an abl expression. convertbddcircuitabl (3) - converts a bdd node to an abl expression.
convertbddcircuitsumabl (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. convertbddindexabl (3) - converts a bdd index to an abl expression.
@ -398,7 +407,6 @@ cry_y
d1_y d1_y
decbddrefext (3) - decrements the external reference of a bdd node. decbddrefext (3) - decrements the external reference of a bdd node.
decbddrefint (3) - decrements the internal reference of a bdd node. decbddrefint (3) - decrements the internal reference of a bdd node.
def_genpat (3), GENPAT Package
defab (3) - defines the abutment box of a phfig defab (3) - defines the abutment box of a phfig
delablexpr (3) - deletes an expression. delablexpr (3) - deletes an expression.
delablexprnum (3) - deletes an operand in an expression. delablexprnum (3) - deletes an operand in an expression.
@ -427,15 +435,10 @@ delphref (3) - delete a physical reference
delphseg (3) - delete a physical segment delphseg (3) - delete a physical segment
delphvia (3) - delete a physical via delphvia (3) - delete a physical via
delptype (3) - delete an element of a ptype_list delptype (3) - delete an element of a ptype_list
delrdsfig (2) - deletes a figure
delrdsfig (3) - deletes a figure delrdsfig (3) - deletes a figure
delrdsfigrec (2) - deletes a rectangle of a figure
delrdsfigrec (3) - deletes a rectangle of a figure delrdsfigrec (3) - deletes a rectangle of a figure
delrdsins (2) - deletes an instance of a figure
delrdsins (3) - deletes an instance of a figure delrdsins (3) - deletes an instance of a figure
delrdsinsrec (2) - deletes a rectangle of an instance
delrdsinsrec (3) - deletes a rectangle of an instance delrdsinsrec (3) - deletes a rectangle of an instance
delrdsrecwindow (2) - deletes a rectangle from the windowing of rds structure.
delrdsrecwindow (3) - deletes a rectangle from the windowing of rds structure. delrdsrecwindow (3) - deletes a rectangle from the windowing of rds structure.
destroyBdd (3) - removes the BDDs system destroyBdd (3) - removes the BDDs system
destroyCct (3) - removes a circuit destroyCct (3) - removes a circuit
@ -445,7 +448,6 @@ destroyauthtable (3) - destroys a simple hash table.
destroybddassoc (3) - frees all the variable associations. destroybddassoc (3) - frees all the variable associations.
destroybddcircuit (3) - destroys a bdd circuit. destroybddcircuit (3) - destroys a bdd circuit.
destroybddsystem (3) - destroys a bdd system. destroybddsystem (3) - destroys a bdd system.
destroyrdswindow (2) - destroys windowing of a figure
destroyrdswindow (3) - destroys windowing of a figure destroyrdswindow (3) - destroys windowing of a figure
devXor2Expr (3) - converts XOR 2 to OR-AND devXor2Expr (3) - converts XOR 2 to OR-AND
devXorExpr (3) - removes XOR in an expression devXorExpr (3) - removes XOR in an expression
@ -469,14 +471,13 @@ everyExpr (3) - returns the value of a logical AND applied on the results
existbddnodeassocoff (3) - computes an existantial quantification. existbddnodeassocoff (3) - computes an existantial quantification.
existbddnodeassocon (3) - computes an existantial quantification. existbddnodeassocon (3) - computes an existantial quantification.
exprToChar (3) - converts an expression into a string exprToChar (3) - converts an expression into a string
figmbkrds (2) - converts MBK figure to RDS figure
figmbkrds (3) - converts MBK figure to RDS figure figmbkrds (3) - converts MBK figure to RDS figure
filepath (3) - return the whole search path of a file filepath (3) - return the whole search path of a file
flatArityExpr (3) - flattens the operators of an expression flatArityExpr (3) - flattens the operators of an expression
flatablexpr (3) - merges the operators of an expression
flatbeh (1) - Synthetizes a behavioral description from a structural description
flatenphfig (3) - flatten a instance in a figure
flatPolarityExpr (3) - translates the inverters of an expression to the level of atomic expressions flatPolarityExpr (3) - translates the inverters of an expression to the level of atomic expressions
flatablexpr (3) - merges the operators of an expression
flatbeh (1) - Synthetize a behavioral description from a structural description
flatenphfig (3) - flatten a instance in a figure
flattenlofig (3) - flatten a instance in a logical figure flattenlofig (3) - flatten a instance in a logical figure
fmi (1) - FSM state miminization fmi (1) - FSM state miminization
fpgen (1) - Procedural language for Data-Path synthesis based upon C. fpgen (1) - Procedural language for Data-Path synthesis based upon C.
@ -487,11 +488,8 @@ freechain (3) - free a chain_list
freelomodel (3) - free a lofig_list for temporary models freelomodel (3) - free a lofig_list for temporary models
freenum (3) - free a num_list freenum (3) - free a num_list
freeptype (3) - free a ptype_list freeptype (3) - free a ptype_list
freerdsfig (2) - frees memory associated to a figure
freerdsfig (3) - frees memory associated to a figure freerdsfig (3) - frees memory associated to a figure
freerdsins (2) - frees memory associated to an instance
freerdsins (3) - frees memory associated to an instance freerdsins (3) - frees memory associated to an instance
freerdsrec (2) - free memory associated to a rectangle
freerdsrec (3) - free memory associated to a rectangle freerdsrec (3) - free memory associated to a rectangle
fsm (1) - Finite State Machine representation. fsm (1) - Finite State Machine representation.
fsm (5) - Alliance VHDL Finite State Machine description subset. fsm (5) - Alliance VHDL Finite State Machine description subset.
@ -501,7 +499,7 @@ gcNodeBdd (3) - does a garbage collection
gcNodeCct (3) - does a garbage collection gcNodeCct (3) - does a garbage collection
genbs (1) - A IEEE 1149.1 Boundary-Scan Architecture Generator genbs (1) - A IEEE 1149.1 Boundary-Scan Architecture Generator
genlib (1) - Procedural design language based upon C, along with its compiler genlib (1) - Procedural design language based upon C, along with its compiler
genpat (1) - A procedural pattern file generator genpat, A procedural pattern file generator
genscan (1) - scan path generator genscan (1) - scan path generator
genview (1) - genlib graphical source level debugger genview (1) - genlib graphical source level debugger
getablexprdepth (3) - gives the depth of an expression. getablexprdepth (3) - gives the depth of an expression.
@ -530,9 +528,7 @@ getphfig (3) - give back a pointer to a phfig
getphins (3) - retrieve a physical instance getphins (3) - retrieve a physical instance
getphref (3) - retrieve a physical reference getphref (3) - retrieve a physical reference
getptype (3) - retrieve a ptype from a ptype_list getptype (3) - retrieve a ptype from a ptype_list
getrdsfig (2) - gets a pointer to a figure called by its name.
getrdsfig (3) - gets a pointer to a figure called by its name. getrdsfig (3) - gets a pointer to a figure called by its name.
getrdsmodellist (2) - gets model list of the instances of a figure
getrdsmodellist (3) - gets model list of the instances of a figure getrdsmodellist (3) - gets model list of the instances of a figure
getsigname (3) - choose a signal name in alias list getsigname (3) - choose a signal name in alias list
givelosig (3) - give a logical signal givelosig (3) - give a logical signal
@ -550,20 +546,14 @@ incatalogfeed (3) - test if cell belongs to the catalog file
incataloggds (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. incbddrefext (3) - increments the external reference of a bdd node.
incbddrefint (3) - increments the internal reference of a bdd node. incbddrefint (3) - increments the internal reference of a bdd node.
init (3) - GENPAT Package
initializeBdd (3) - initializes the BDDs system initializeBdd (3) - initializes the BDDs system
initializeCct (3) - creates a circuit initializeCct (3) - creates a circuit
insconmbkrds (2) - adds in RDS instance all the connectors of MBK instance
insconmbkrds (3) - adds in RDS instance all the connectors of MBK instance insconmbkrds (3) - adds in RDS instance all the connectors of MBK instance
insmbkrds (2) - converts MBK figure to RDS figure
insmbkrds (3) - converts MBK figure to RDS figure insmbkrds (3) - converts MBK figure to RDS figure
insrefmbkrds (2) - adds in RDS instance all the references of MBK instance.
insrefmbkrds (3) - adds in RDS instance all the references of MBK instance. insrefmbkrds (3) - adds in RDS instance all the references of MBK instance.
inssegmbkrds (2) - adds in RDS instance all the segments of MBK instance
inssegmbkrds (3) - adds in RDS instance all the segments 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 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. instr (3) - find an occurence of a string in a string, starting at a specified character.
insviambkrds (2) - adds to RDS instance all the contacts from MBK instance
insviambkrds (3) - adds to RDS instance all the contacts from MBK instance insviambkrds (3) - adds to RDS instance all the contacts from MBK instance
intersectbddnode (3) - tests for an intersection between two bdd nodes. intersectbddnode (3) - tests for an intersection between two bdd nodes.
isablbinaryoper (3) - tests if an operator is binary. isablbinaryoper (3) - tests if an operator is binary.
@ -592,7 +582,6 @@ l5r_y
l5s_y l5s_y
l6r_y l6r_y
l6s_y l6s_y
label, GENPAT Package
lax (5) - Parameter file for logic synthesis lax (5) - Parameter file for logic synthesis
lengthExpr (3) - returns the number of arguments in an expression lengthExpr (3) - returns the number of arguments in an expression
librds (1) - rds library description librds (1) - rds library description
@ -603,9 +592,7 @@ librut (1) - rut library description
librwi (1) - rwi library description librwi (1) - rwi library description
loadlofig (3) - load a new logical cell model from disk loadlofig (3) - load a new logical cell model from disk
loadphfig (3) - load a new physical cell model from disk loadphfig (3) - load a new physical cell model from disk
loadrdsfig (2) - give back a pointer to a figure
loadrdsfig (3) - give back a pointer to a figure loadrdsfig (3) - give back a pointer to a figure
loadrdsparam (2) - load parameters from symbolic to real conversion.
loadrdsparam (3) - load parameters from symbolic to real conversion. loadrdsparam (3) - load parameters from symbolic to real conversion.
locon (3) - mbk logical connector locon (3) - mbk logical connector
lofig (3) - mbk logical figure lofig (3) - mbk logical figure
@ -613,7 +600,6 @@ lofigchain (3) - creates a netlist in terms of connectors on signals
log (1) - logical representations for boolean functions and utilities. log (1) - logical representations for boolean functions and utilities.
log (3) - logical representations for boolean functions and utilities. log (3) - logical representations for boolean functions and utilities.
loins (3) - mbk logical instance loins (3) - mbk logical instance
loon (1) - Light optimizing on Nets
losig (3) - mbk logical signal losig (3) - mbk logical signal
lotrs (3) - mbk logical transistor lotrs (3) - mbk logical transistor
lvx (1) - Logical Versus eXtracted net-list comparator lvx (1) - Logical Versus eXtracted net-list comparator
@ -641,7 +627,6 @@ mbkrealloc (3) - mbk memory reallocator
mbkunlink (3) - delete a file in the WORK_LIBP. mbkunlink (3) - delete a file in the WORK_LIBP.
minExpr (3) - returns the lowest argument of an operator expression. minExpr (3) - returns the lowest argument of an operator expression.
mlodebug (3) - logical data structure contents debug function mlodebug (3) - logical data structure contents debug function
modelmbkrds (2) - gets all models of instances contained in a figure.
modelmbkrds (3) - gets all models of instances contained in a figure. modelmbkrds (3) - gets all models of instances contained in a figure.
mphdebug (3) - physical data structure contents debug function mphdebug (3) - physical data structure contents debug function
ms2_dp ms2_dp
@ -744,25 +729,18 @@ paini (3) - PAT data structure
paiol (3) - PAT data structure paiol (3) - PAT data structure
papat (3) - PAT data structure papat (3) - PAT data structure
paseq (3) - PAT data structure paseq (3) - PAT data structure
pat (5) - Pattern description format
pat2dwl, pattern translator from ALLIANCE CAD SYSTEM to HILO CAD SYSTEM pat2dwl, pattern translator from ALLIANCE CAD SYSTEM to HILO CAD SYSTEM
pat_addpacom (3) - PAT function pat_addpacom, pat_frepacom
pat_frepacom (3) - PAT function pat_addpaevt, pat_frepaevt
pat_addpaevt (3) - PAT function pat_addpagrp
pat_frepaevt (3) - PAT function pat_addpaini, pat_frepaini
pat_addpagrp (3) - PAT function pat_addpaiol, pat_crtpaiol, pat_frepaiol
pat_addpaini (3) - PAT function pat_addpapat, pat_frepapat
pat_frepaini (3) - PAT function pat_addpaseq
pat_addpaiol (3) - PAT function
pat_crtpaiol (3) - PAT function
pat_frepaiol (3) - PAT function
pat_addpapat (3) - PAT function
pat_frepapat (3) - PAT function
pat_addpaseq (3) - PAT function
pat_debug (3) - PAT structures displayer-debugger pat_debug (3) - PAT structures displayer-debugger
pat_lodpaseq (3) - pattern file compiler pat_lodpaseq (3) - pattern file compiler
pat_savpaseq (3) - save pattern structures in a pattern description file pat_savpaseq (3) - save pattern structures in a pattern description file
patest (3) - a pattern translator for test. patest, a pattern translator for test.
pck_sp pck_sp
phcon (3) - mbk physical connector phcon (3) - mbk physical connector
phfig (3) - mbk physical figure phfig (3) - mbk physical figure
@ -773,7 +751,6 @@ phvia (3) - mbk physical contact
pi_sp pi_sp
piot_sp piot_sp
piotw_sp piotw_sp
place (3) - place the cells of a net list
po_sp po_sp
polarablexpr (3) - moves inverters to the atomic level. polarablexpr (3) - moves inverters to the atomic level.
polardupablexpr (3) - duplicates an expression and moves down the inverters. polardupablexpr (3) - duplicates an expression and moves down the inverters.
@ -798,13 +775,9 @@ pvssi_sp
pvssick_sp pvssick_sp
rage (1) - Random Acess Memory(RAM) Generator rage (1) - Random Acess Memory(RAM) Generator
rds (1) - rds package rds (1) - rds package
rdsalloc (2) - memory allocation function
rdsalloc (3) - memory allocation function rdsalloc (3) - memory allocation function
rdsenv (2) - set user preference
rdsenv (3) - set user preference rdsenv (3) - set user preference
rdsfree (2) - free memory place
rdsfree (3) - free memory place rdsfree (3) - free memory place
refmbkrds (2) - adds to RDS figure a references from a MBK figure
refmbkrds (3) - adds to RDS figure a references from a MBK figure refmbkrds (3) - adds to RDS figure a references from a MBK figure
register, GENPAT Package register, GENPAT Package
relprodbddnodeassoc (3) - computes a relational product. relprodbddnodeassoc (3) - computes a relational product.
@ -822,21 +795,18 @@ restorealldir (3) - restore all instances' connectors directions
restoredirvbe (3) - restore connectors directions from behavioral view restoredirvbe (3) - restore connectors directions from behavioral view
restrictbddnode (3) - substitutes a variable by a zero or one, in a bdd. restrictbddnode (3) - substitutes a variable by a zero or one, in a bdd.
reverse (3) - reverse a list of chained elements reverse (3) - reverse a list of chained elements
rfg (1) - register file generator rfg (1) - register file generator - version 6.05
rflattenlofig (3) - recursivly flatten a figure rflattenlofig (3) - recursivly flatten a figure
rflattenphfig (3) - recursivly flatten a figure rflattenphfig (3) - recursivly flatten a figure
roundrdsrec (2) - adjusts a rectangle to lambda grid step
roundrdsrec (3) - adjusts a rectangle to lambda grid step roundrdsrec (3) - adjusts a rectangle to lambda grid step
rsa (1) - Recurrence Solver Adder generator rsa (1) - Recurrence Solver Adder generator
rsa (3) - call the Recurrence Solver Adder generator rsa (3) - call the Recurrence Solver Adder generator
s2r (1) - Process mapping from symbolic layout to physical layout s2r (1) - Process mapping from symbolic layout to physical layout
satisfybddnode (3) - finds a satisfying path for a bdd node. satisfybddnode (3) - finds a satisfying path for a bdd node.
sav_genpat (3) - GENPAT Package
savelofig (3) - save a logical figure on disk savelofig (3) - save a logical figure on disk
savephfig (3) - save a physical figure on disk savephfig (3) - save a physical figure on disk
saverdsfig (2) - save a physical figure on disk.
saverdsfig (3) - save a physical figure on disk. saverdsfig (3) - save a physical figure on disk.
scapin (1) - Scan Path insertion scapin (1) - Scan path insertion
sclib (5) - a portable CMOS Standard Cell Library sclib (5) - a portable CMOS Standard Cell Library
scmap (1) - mapping of a behavioural description onto a standard cell library. scmap (1) - mapping of a behavioural description onto a standard cell library.
scr (1) - Standard Cell Router scr (1) - Standard Cell Router
@ -850,13 +820,11 @@ searchauth2elem (3) - searches an element in the hash table.
searchauthelem (3) - searches an element in the hash table. searchauthelem (3) - searches an element in the hash table.
searchbddcircuitin (3) - searchs an input in a bdd circuit. searchbddcircuitin (3) - searchs an input in a bdd circuit.
searchbddcircuitout (3) - searchs an output in a bdd circuit. searchbddcircuitout (3) - searchs an output in a bdd circuit.
searchrdsfig (2) - searchs by name a figure in the list of figures
searchrdsfig (3) - searchs by name a figure in the list of figures searchrdsfig (3) - searchs by name a figure in the list of figures
segmbkrds (2) - adds to RDS figure a segment from a MBK figure
segmbkrds (3) - adds to RDS figure a segment from a MBK figure 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. 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. sethtitem (3) - test and set an item in an hash table.
signal (3) - GENPAT Package signal, GENPAT Package
simpablexpr (3) - simplies an expression. simpablexpr (3) - simplies an expression.
simpbddnodedcoff (3) - simplifies a bdd with don't cares on its off-set part. 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. simpbddnodedcon (3) - simplifies a bdd with don't cares on its on-set part.
@ -882,7 +850,6 @@ supportChain_listExpr (3) - returns the support of an expression in a chain_list
supportPtype_listExpr (3) - returns the support of an expression in a ptype_list. supportPtype_listExpr (3) - returns the support of an expression in a ptype_list.
swapbddvar (3) - swaps two contiguous variables. swapbddvar (3) - swaps two contiguous variables.
sxlib (5) - a portable CMOS Standard Cell Library sxlib (5) - a portable CMOS Standard Cell Library
syf (1) - Finite State Machine synthesizer
tas (1) - A switch level static timing analyzer for CMOS circuits tas (1) - A switch level static timing analyzer for CMOS circuits
testbddcircuit (3) - debugs a bdd circuit. testbddcircuit (3) - debugs a bdd circuit.
tie_y tie_y
@ -900,12 +867,10 @@ unsetbddrefext (3) - increments the internal reference, and decrements the ext
upVarBdd (3) - brings up an index in a BDD upVarBdd (3) - brings up an index in a BDD
upVarCct (3) - brings up the index of a primary input within a circuit upVarCct (3) - brings up the index of a primary input within a circuit
upstr (3) - convert a string to upper case upstr (3) - convert a string to upper case
vasy (1) - VHDL Analyzer for Synthesis vasy VHDL RTL subset.
vasy (5) - VHDL Analyzer for Synthesis Subset vbe VHDL behavioural subset.
vbe (5) - VHDL behavioural subset.
vhdlablname (3) - returns a compatible VHDL name. vhdlablname (3) - returns a compatible VHDL name.
vhdlablvector (3) - gives the index and the name of a vectorized name. vhdlablvector (3) - gives the index and the name of a vectorized name.
viambkrds (2) - adds to RDS figure a contact from a MBK figure
viambkrds (3) - adds to RDS figure a contact from a MBK figure viambkrds (3) - adds to RDS figure a contact from a MBK figure
viewablexpr (3) - displays an expression. viewablexpr (3) - displays an expression.
viewablexprfile (3) - displays an expression in a file. viewablexprfile (3) - displays an expression in a file.
@ -929,38 +894,26 @@ viewphins (3) - display elements of a phins_list
viewphref (3) - display elements of a phref_list viewphref (3) - display elements of a phref_list
viewphseg (3) - display elements of a phseg_list viewphseg (3) - display elements of a phseg_list
viewphvia (3) - display elements of a phvia_list viewphvia (3) - display elements of a phvia_list
viewrdsfig (2) - view caracteristics of a figure
viewrdsfig (3) - view caracteristics of a figure viewrdsfig (3) - view caracteristics of a figure
viewrdsins (2) - Displays caracteristics of an instance
viewrdsins (3) - Displays caracteristics of an instance viewrdsins (3) - Displays caracteristics of an instance
viewrdsparam (2) - displays tables in memory filled by loadrdsparam function.
viewrdsparam (3) - displays tables in memory filled by loadrdsparam function. viewrdsparam (3) - displays tables in memory filled by loadrdsparam function.
viewrdsrec (2) - Displays caracteristics of a rectangle
viewrdsrec (3) - Displays caracteristics of a rectangle viewrdsrec (3) - Displays caracteristics of a rectangle
viewrdswindow (2) - displays caracteristics of the windowing.
viewrdswindow (3) - displays caracteristics of the windowing. viewrdswindow (3) - displays caracteristics of the windowing.
viewrfmcon (2) - displays connector caracteristics in MBK and RDS format.
viewrfmcon (3) - displays connector caracteristics in MBK and RDS format. viewrfmcon (3) - displays connector caracteristics in MBK and RDS format.
viewrfmfig (2) - displays figure caracteristics in MBK and RDS format.
viewrfmfig (3) - displays figure caracteristics in MBK and RDS format. viewrfmfig (3) - displays figure caracteristics in MBK and RDS format.
viewrfmins (2) - displays instance caracteristics in MBK and RDS format.
viewrfmins (3) - displays instance caracteristics in MBK and RDS format. viewrfmins (3) - displays instance caracteristics in MBK and RDS format.
viewrfmrec (2) - displays rectangle caracteristics in RDS format.
viewrfmrec (3) - displays rectangle caracteristics in RDS format. viewrfmrec (3) - displays rectangle caracteristics in RDS format.
viewrfmref (2) - displays reference caracteristics in MBK and RDS format.
viewrfmref (3) - displays reference caracteristics in MBK and RDS format. viewrfmref (3) - displays reference caracteristics in MBK and RDS format.
viewrfmseg (2) - displays segment caracteristics in MBK and RDS format.
viewrfmseg (3) - displays segment caracteristics in MBK and RDS format. viewrfmseg (3) - displays segment caracteristics in MBK and RDS format.
viewrfmvia (2) - displays contact caracteristics in MBK and RDS format.
viewrfmvia (3) - displays contact caracteristics in MBK and RDS format. viewrfmvia (3) - displays contact caracteristics in MBK and RDS format.
vst (5) - VHDL structural subset. vst VHDL structural subset.
xmbk (1) - A simple way to set alliance environnement variables xmbk (1) - A simple way to set alliance environnement variables
xpat (1) - A graphical pattern viewer xpat (1) - graphic pattern viewer
xr2_dp (5) xr2_dp
xr2_y (5) xr2_y
xsch (1) - A graphical schematic viewer xsch (1) - graphical schematic viewer
xyflat (3) - compute hierarchical coordinates xyflat (3) - compute hierarchical coordinates
yagle (1) - Disassembly and functional abstraction of CMOS circuits yagle (1) - Disassembly and functional abstraction of CMOS circuits
zbli_y (5) zbli_y
zero_dp (5) zero_dp
zero_y (5) zero_y

View File

@ -1,18 +1,21 @@
ACTION (3) - GENPAT Package ACTION, GENPAT Package
AFFECT (3) - GENPAT Package AFFECT, GENPAT Package
ALLIANCE VHDL Subset
AMG (1) - Array Multiplior Generator AMG (1) - Array Multiplior Generator
ARRAY (3) - GENPAT Package ARRAY, GENPAT Package
BEH (3) - Generic behavioural data structures BEH (3) - Generic behavioural data structures
BOOM (1) - BOOlean Minimization
BUS (3) - Creates a bus name for netlist BUS (3) - Creates a bus name for netlist
BooG (1) - Binding and Optimizing On Gates.
COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure
COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure
COPY_UP_CON (3) - copy a physical connector from an instance in the current figure COPY_UP_CON (3) - copy a physical connector from an instance in the current figure
COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure
COPY_UP_REF (3) - copy a physical reference from an instance in the current figure COPY_UP_REF (3) - copy a physical reference from an instance in the current figure
COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure
DECLAR (3) - GENPAT Package DECLAR, GENPAT Package
DEF_AB (3) - define a new abutment box to the current layout cell DEF_AB (3) - define a new abutment box to the current layout cell
DEF_GENPAT(3) - GENPAT Package DEF_GENPAT, GENPAT Package
DEF_LOFIG (3) - open a netlist model as current figure DEF_LOFIG (3) - open a netlist model as current figure
DEF_PHFIG (3) - open a layout model as current figure DEF_PHFIG (3) - open a layout model as current figure
DEF_PHINS (3) - define a new reference instance DEF_PHINS (3) - define a new reference instance
@ -73,7 +76,68 @@ FLATTEN_ALL_PHINS (3) - flatten all instances in the current layout figure
FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure
FLATTEN_PHFIG (3) - flatten an instance in the current layout figure FLATTEN_PHFIG (3) - flatten an instance in the current layout figure
FPLIB (5) - Cells library for FITPATH dedicated generators. FPLIB (5) - Cells library for FITPATH dedicated generators.
GETCPAT (3) - GENPAT Package GENLIB_BUS (3) - Creates a bus name for netlist
GENLIB_COPY_UP_ALL_CON (3) - copy all physical connectors of an instance face in the current figure
GENLIB_COPY_UP_ALL_REF (3) - copy a several physical reference from an instance in the current figure
GENLIB_COPY_UP_CON (3) - copy a physical connector from an instance in the current figure
GENLIB_COPY_UP_CON_FACE (3) - copy a physical connector from an instance in the current figure
GENLIB_COPY_UP_REF (3) - copy a physical reference from an instance in the current figure
GENLIB_COPY_UP_SEG (3) - copy a physical segment from an instance in the current figure
GENLIB_DEF_AB (3) - define a new abutment box to the current layout cell
GENLIB_DEF_LOFIG (3) - open a netlist model as current figure
GENLIB_DEF_PHFIG (3) - open a layout model as current figure
GENLIB_DEF_PHINS (3) - define a new reference instance
GENLIB_DEF_PHSC (3) - load a netlist and open a layout model as current figure
GENLIB_ELM (3) - Creates a single element bus name for netlist
GENLIB_FLATTEN_ALL_LOINS (3) - flatten all instances in the current netlist figure
GENLIB_FLATTEN_ALL_PHINS (3) - flatten all instances in the current layout figure
GENLIB_FLATTEN_LOFIG (3) - flatten an instance in the current netlist figure
GENLIB_FLATTEN_PHFIG (3) - flatten an instance in the current layout figure
GENLIB_GET_CON_X (3) - retrieve the x coordinate of an instance connector
GENLIB_GET_CON_Y (3) - retrieve the x coordinate of an instance connector
GENLIB_GET_INS_X (3) - retrieve the x coordinate of an instance
GENLIB_GET_INS_Y (3) - retrieve the y coordinate of an instance
GENLIB_GET_REF_X (3) - retrieve the x coordinate of an instance reference
GENLIB_GET_REF_Y (3) - retrieve the y coordinate of an instance reference
GENLIB_HEIGHT (3) - compute the height of a model
GENLIB_LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure
GENLIB_LOCON (3) - adds a logical connector to the current netlist figure
GENLIB_LOINS (3) - add a logical instance to the current figure
GENLIB_LOINSE (3) - add a logical instance to the current figure, with explicit connections
GENLIB_LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals
GENLIB_LOSIGMERGE (3) - merge two logical signals
GENLIB_LOTRS (3) - adds a logical transistor to the current netlist figure
GENLIB_OUTLINE (3) - build an outline from the current layout cell
GENLIB_PHCON (3) - place a physical connector in the current figure at absolute coordinates
GENLIB_PHREF (3) - place a physical reference in the current figure at absolute coordinates
GENLIB_PHSEG (3) - place a physical segment in the current figure at absolute coordinates
GENLIB_PHVIA (3) - place a physical via in the current figure at absolute coordinates
GENLIB_PLACE (3) - place a physical instance in the current figure at absolute coordinates
GENLIB_PLACE_BOTTOM (3) - place a physical instance in the current figure under the "reference instance"
GENLIB_PLACE_CON_REF (3) - put a connector on top of a reference belonging an instance in the current figure
GENLIB_PLACE_LEFT (3) - place a physical instance in the current figure at the left of the "reference instance"
GENLIB_PLACE_ON (3) - place a physical instance in the current figure matching connectors
GENLIB_PLACE_RIGHT (3) - place a physical instance in the current figure at the right of the "reference instance"
GENLIB_PLACE_SEG_REF (3) - put a segment on a reference belonging an instance in the current figure
GENLIB_PLACE_TOP (3) - place a physical instance in the current figure on the top of the "reference instance"
GENLIB_PLACE_VIA_REF (3) - put a via on top of a reference belonging to an instance in the current figure
GENLIB_REVERSE_PHCON (3) - reverse the order of physical connectors on a bus.
GENLIB_SAVE_LOFIG (3) - save a netlist on disk
GENLIB_SAVE_PHFIG (3) - save a layout on disk
GENLIB_SAVE_PHSC (3) - save a layout on disk
GENLIB_SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_PLACE (3) - place an instance in the current figure at absolute coordinates
GENLIB_SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_SC_TOP (3) - place an instance in the current figure at the right of the "reference instance"
GENLIB_THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
GENLIB_THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure
GENLIB_THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure
GENLIB_WIDTH (3) - compute the width of a model
GENLIB_WIRE1 (3) - place a physical segment in the current figure
GENLIB_WIRE2 (3) - place two physical segments in the current figure
GENLIB_WIRE3 (3) - place three physical segments in the current figure
GETCPAT, GENPAT Package
GET_CON_X (3) - retrieve the x coordinate of an instance connector GET_CON_X (3) - retrieve the x coordinate of an instance connector
GET_CON_Y (3) - retrieve the x coordinate of an instance connector GET_CON_Y (3) - retrieve the x coordinate of an instance connector
GET_INS_X (3) - retrieve the x coordinate of an instance GET_INS_X (3) - retrieve the x coordinate of an instance
@ -82,8 +146,8 @@ GET_REF_X (3) - retrieve the x coordinate of an instance reference
GET_REF_Y (3) - retrieve the y coordinate of an instance reference GET_REF_Y (3) - retrieve the y coordinate of an instance reference
HEIGHT (3) - compute the height of a model HEIGHT (3) - compute the height of a model
INF (5) - YAGLE and TAS information file INF (5) - YAGLE and TAS information file
INIT (3) - GENPAT Package INIT, GENPAT Package
LABEL (3) - GENPAT Package LABEL, GENPAT Package
LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure LOAD_LOFIG (3) - loads a netlist form disk and opens it as current figure
LOCON (3) - adds a logical connector to the current netlist figure LOCON (3) - adds a logical connector to the current netlist figure
LOINS (3) - add a logical instance to the current figure LOINS (3) - add a logical instance to the current figure
@ -91,6 +155,7 @@ LOINSE (3) - add a logical instance to the current figure, with explic
LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals LOSIG (3) - declare an internal logical signal, or a vector of internal logical signals
LOSIGMERGE (3) - merge two logical signals LOSIGMERGE (3) - merge two logical signals
LOTRS (3) - adds a logical transistor to the current netlist figure LOTRS (3) - adds a logical transistor to the current netlist figure
LooN (1) - Light optimizing on Nets.
MBK_CATAL_NAME (1) - define the mbk catalog file MBK_CATAL_NAME (1) - define the mbk catalog file
MBK_CATA_LIB (1) - define the mbk catalog directory MBK_CATA_LIB (1) - define the mbk catalog directory
MBK_FILTER_SFX (1) - define the input/output filter suffixe. MBK_FILTER_SFX (1) - define the input/output filter suffixe.
@ -105,7 +170,6 @@ MBK_VDD (1) - define the high level power name pattern
MBK_VSS (1) - define the ground power name pattern MBK_VSS (1) - define the ground power name pattern
MBK_WORK_LIB (1) - define the mbk working directory MBK_WORK_LIB (1) - define the mbk working directory
OUTLINE (3) - build an outline from the current layout cell OUTLINE (3) - build an outline from the current layout cell
OpenVerticalChannel (3) - open a vertical channel in a phfig
OpenVerticalChannel -open a vertical channel inside a phfig OpenVerticalChannel -open a vertical channel inside a phfig
PAT (3) - Generic pattern data structure PAT (3) - Generic pattern data structure
PAT (5) - Pattern description format PAT (5) - Pattern description format
@ -129,25 +193,25 @@ RDS_OUT (1) - define the real layout output format of rds
RDS_TECHNO_NAME (1) - define the rds technology file RDS_TECHNO_NAME (1) - define the rds technology file
REVERSE_PHCON (3) - reverse the order of physical connectors on a bus. REVERSE_PHCON (3) - reverse the order of physical connectors on a bus.
RING (1) - PAD RING router RING (1) - PAD RING router
SAVE (3) - GENPAT Package SAVE, GENPAT Package
SAVE_LOFIG (3) - save a netlist on disk SAVE_LOFIG (3) - save a netlist on disk
SAVE_PHFIG (3) - save a layout on disk SAVE_PHFIG (3) - save a layout on disk
SAVE_PHSC (3) - save a layout on disk SAVE_PHSC (3) - save a layout on disk
SAV_GENPAT (3) - GENPAT Package SAV_GENPAT, GENPAT Package
SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance" SC_BOTTOM (3) - place an instance in the current figure at the right of the "reference instance"
SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance" SC_LEFT (3) - place an instance in the current figure at the right of the "reference instance"
SC_PLACE (3) - place an instance in the current figure at absolute coordinates SC_PLACE (3) - place an instance in the current figure at absolute coordinates
SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance" SC_RIGHT (3) - place an instance in the current figure at the right of the "reference instance"
SC_TOP (3) - place an instance in the current figure at the right of the "reference instance" SC_TOP (3) - place an instance in the current figure at the right of the "reference instance"
SETTUNIT (3) - GENPAT Package SETTUNIT, GENPAT Package
SYF (1) - Finite State Machine synthesizer. SYF (1) - Finite State Machine synthesizer.
SymbolicChannelRouter (3) - routes a given channel on a Virtual grid SymbolicChannelRouter (3) - routes a given channel on a Virtual grid
SymbolicChannelRouter (3) - routes a given channel on a symbolic grid
THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure THRU_CON_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure THRU_CON_V (3) - draw a vertical wire with connectors from side to side of the abutment box of the current figure
THRU_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure THRU_H (3) - draw an horizontal wire from side to side of the abutment box of the current figure
THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure THRU_V (3) - draw a vertical wire from side to side of the abutment box of the current figure
UNFLATTEN_LOFIG (3) - creates a hierarchy level from instances in the current logical figure UNFLATTEN_LOFIG (3) - creates a hierarchy level from instances in the current logical figure
VASY (1) - VHDL Analyzer for Synthesis
WIDTH (3) - compute the width of a model WIDTH (3) - compute the width of a model
WIRE1 (3) - place a physical segment in the current figure WIRE1 (3) - place a physical segment in the current figure
WIRE2 (3) - place two physical segments in the current figure WIRE2 (3) - place two physical segments in the current figure
@ -166,9 +230,7 @@ a4p_dp
a4p_y a4p_y
abl (1) - Prefixed representation for boolean functions abl (1) - Prefixed representation for boolean functions
ablToBddCct (3) - converts an ABL into a BDD within a circuit ablToBddCct (3) - converts an ABL into a BDD within a circuit
aboxmbkrds (2) - converts MBK abutment box to RDS rectangle
aboxmbkrds (3) - converts MBK abutment box to RDS rectangle aboxmbkrds (3) - converts MBK abutment box to RDS rectangle
action (3) - GENPAT Package
addHExpr (3) - adds a new argument at the head of an operator expression. addHExpr (3) - adds a new argument at the head of an operator expression.
addInputCct (3) - adds an input to a circuit addInputCct (3) - adds an input to a circuit
addListBdd (3) - adds a BDD to a chained list of BDDs addListBdd (3) - adds a BDD to a chained list of BDDs
@ -209,36 +271,23 @@ addphref (3) - create a physical reference
addphseg (3) - create a physical segment addphseg (3) - create a physical segment
addphvia (3) - create a physical via addphvia (3) - create a physical via
addptype (3) - create a ptype and add it to a ptype_list addptype (3) - create a ptype and add it to a ptype_list
addrdsfig (2) - adds a figure
addrdsfig (3) - adds a figure addrdsfig (3) - adds a figure
addrdsfigrec (2) - adds a rectangle to a figure
addrdsfigrec (3) - adds a rectangle to a figure addrdsfigrec (3) - adds a rectangle to a figure
addrdsins (2) - adds an instance to a figure
addrdsins (3) - adds an instance to a figure addrdsins (3) - adds an instance to a figure
addrdsinsrec (2) - adds a rectangle to an instance
addrdsinsrec (3) - adds a rectangle to an instance addrdsinsrec (3) - adds a rectangle to an instance
addrdsrecwindow (2) - adds a rectangle in the windowing of rds structure.
addrdsrecwindow (3) - adds a rectangle in the windowing of rds structure. addrdsrecwindow (3) - adds a rectangle in the windowing of rds structure.
affect (3) - GENPAT Package
ai (5) - Alliance icon format ai (5) - Alliance icon format
al (5) - Alliance logical format al (5) - Alliance logical format
alcbanner (1) - Display a standardized banner for Alliance tools alcbanner (1) - Display a standardized banner for Alliance tools
algue (1) - ALliance Graphic User Environement algue (1) - ALliance Graphic User Environement
ali (1) - ALliance Information ali (1) - ALliance Information
alliancebanner (3) - display the standardized Alliance banner alliancebanner (3) - display the standardized Alliance banner
allocrdsfig (2) - allocs memory for a figure
allocrdsfig (3) - allocs memory for a figure allocrdsfig (3) - allocs memory for a figure
allocrdsins (2) - allocates memory for an instance
allocrdsins (3) - allocates memory for an instance allocrdsins (3) - allocates memory for an instance
allocrdsrec (2) - allocates memory for a rectangle
allocrdsrec (3) - allocates memory for a rectangle allocrdsrec (3) - allocates memory for a rectangle
allocrdsrecwin (2) - allocates a structure used to know windows which contains a rectangle.
allocrdsrecwin (3) - allocates a structure used to know windows which contains a rectangle. allocrdsrecwin (3) - allocates a structure used to know windows which contains a rectangle.
allocrdswin (2) - allocates window's table
allocrdswin (3) - allocates window's table allocrdswin (3) - allocates window's table
allocrdswindow (2) - allocates a window structure
allocrdswindow (3) - allocates a window structure allocrdswindow (3) - allocates a window structure
allocrdswinrec (2) - allocates a structure used to create a list of tables of rectangles.
allocrdswinrec (3) - allocates a structure used to create a list of tables of rectangles. allocrdswinrec (3) - allocates a structure used to create a list of tables of rectangles.
annup_dp annup_dp
annup_y annup_y
@ -252,11 +301,9 @@ applybddnodeite (3) - computes the IF-THEN-ELSE logical operation.
applybddnodelist (3) - applies an opertor to a bdd nodes list. applybddnodelist (3) - applies an opertor to a bdd nodes list.
applybddnodenot (3) - complements a bdd. applybddnodenot (3) - complements a bdd.
applybddnodeterm (3) - applies an operator on two bdd nodes. applybddnodeterm (3) - applies an operator on two bdd nodes.
applyrdssym (2) - applies a transformation to a rectangle from a model
applyrdssym (3) - applies a transformation to a rectangle from a model applyrdssym (3) - applies a transformation to a rectangle from a model
apr (3) - routing and placement functions apr (3) - routing and placement functions
arp (3) - routing and placement functions arp (3) - routing and placement functions
array (3) - GENPAT Package
asimut (1) - A simulation tool for hardware descriptions asimut (1) - A simulation tool for hardware descriptions
aut (1) - Memory allocation, and hash tables management aut (1) - Memory allocation, and hash tables management
autallocblock (3) - memory allocator autallocblock (3) - memory allocator
@ -279,58 +326,24 @@ bebus (3) - BEH data structure
bebux (3) - BEH data structure bebux (3) - BEH data structure
befig (3) - BEH data structure befig (3) - BEH data structure
begen (3) - BEH data structure begen (3) - BEH data structure
beh_addbeaux (3) - BEH function beh_addbeaux, beh_delbeaux, beh_rmvbeaux, beh_frebeaux
beh_delbeaux (3) - BEH function beh_addbebus, beh_delbebus, beh_rmvbebus, beh_frebebus
beh_rmvbeaux (3) - BEH function beh_addbebux, beh_delbebux, beh_rmvbebux, beh_frebebux
beh_frebeaux (3) - BEH function beh_addbefig, beh_delbefig, beh_rmvbefig, beh_frebefig
beh_addbebus (3) - BEH function beh_addbegen, beh_delbegen, beh_rmvbegen, beh_frebegen
beh_delbebus (3) - BEH function beh_addbemsg, beh_delbemsg, beh_rmvbemsg, beh_frebemsg
beh_rmvbebus (3) - BEH function beh_addbeout, beh_delbeout, beh_rmvbeout, beh_frebeout
beh_frebebus (3) - BEH function beh_addbepor, beh_delbepor, beh_rmvbepor, beh_frebepor
beh_addbebux (3) - BEH function beh_addbereg, beh_delbereg, beh_rmvbereg, beh_frebereg
beh_delbebux (3) - BEH function beh_addberin, beh_delberin, beh_rmvberin, beh_freberin
beh_rmvbebux (3) - BEH function beh_addbiabl, beh_delbiabl, beh_frebiabl
beh_frebebux (3) - BEH function beh_addbinode, beh_delbinode, beh_frebinode
beh_addbefig (3)
beh_delbefig (3)
beh_rmvbefig (3)
beh_frebefig (3) - BEH function
beh_addbegen (3)
beh_delbegen (3)
beh_rmvbegen (3)
beh_frebegen (3) - BEH function
beh_addbemsg (3)
beh_delbemsg (3)
beh_rmvbemsg (3)
beh_frebemsg (3) - BEH function
beh_addbeout (3)
beh_delbeout (3)
beh_rmvbeout (3)
beh_frebeout (3) - BEH function
beh_addbepor (3)
beh_delbepor (3)
beh_rmvbepor (3)
beh_frebepor (3) - BEH function
beh_addbereg (3)
beh_delbereg (3)
beh_rmvbereg (3)
beh_frebereg (3) - BEH function
beh_addberin (3)
beh_delberin (3)
beh_rmvberin (3)
beh_freberin (3) - BEH function
beh_addbiabl (3)
beh_delbiabl (3)
beh_frebiabl (3) - BEH function
beh_addbinode (3)
beh_delbinode (3)
beh_frebinode (3) - BEH function
beh_debug (3) - BEH structures displayer-debugger beh_debug (3) - BEH structures displayer-debugger
beh_depend (3) - compute forward dependencies in a description beh_depend (3) - compute forward dependencies in a description
beh_error (3) - BEH function beh_error
beh_makbdd (3) - create a BDD for each expression in a description 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_makgex (3) - create a GEX for each expression in a description
beh_message (3) - BEH function beh_message
bemsg (3) - BEH data structure bemsg (3) - BEH data structure
beout (3) - BEH data structure beout (3) - BEH data structure
bepor (3) - BEH data structure bepor (3) - BEH data structure
@ -340,11 +353,8 @@ bgd (1) - register file generator
biabl (3) - BEH data structure biabl (3) - BEH data structure
bigvia (3) - draws a non minimal via as a bunch of vias bigvia (3) - draws a non minimal via as a bunch of vias
binode (3) - BEH data structure binode (3) - BEH data structure
boog (1) - Binding and Optimizing On Gates.
boom (1) - Boolean optimization of a logic level behavioural description (VHDL data flow)
bop (1) - boolean optimization of a logic level behavioural description (VHDL data flow) bop (1) - boolean optimization of a logic level behavioural description (VHDL data flow)
bsg (1) - Barrel Shifter Generator bsg (1) - Barrel Shifter Generator
buildrdswindow (2) - builds windowing of a figure
buildrdswindow (3) - builds windowing of a figure buildrdswindow (3) - builds windowing of a figure
buseg (1) - Tristate generator for FITPATH data-path compiler. buseg (1) - Tristate generator for FITPATH data-path compiler.
c4map (1) - mapping of a behavioural description with the CMOS Complex Cell Compiler : C4. c4map (1) - mapping of a behavioural description with the CMOS Complex Cell Compiler : C4.
@ -359,17 +369,16 @@ clearbddsystemrefext (3) - clears the external references for all bdd nodes.
clearbddsystemrefint (3) - clears the internal references for all bdd nodes. clearbddsystemrefint (3) - clears the internal references for all bdd nodes.
cmx2_y cmx2_y
cofactorbddnode (3) - computes the generalized cofactor. cofactorbddnode (3) - computes the generalized cofactor.
comment (3) - GENPAT Package comment, GENPAT Package
composeBdd (3) - substitutes an index by a BDD in another BDD composeBdd (3) - substitutes an index by a BDD in another BDD
composeCct (3) - composes all the outputs within a circuit with a BDD composeCct (3) - composes all the outputs within a circuit with a BDD
composebddnode (3) - substitutes a variable 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 concatname (3) - concatenate two names with user separator
conmbkrds (2) - converts MBK connector to RDS rectangle
conmbkrds (3) - converts MBK connector to RDS rectangle conmbkrds (3) - converts MBK connector to RDS rectangle
constraintBdd (3) - restricts a BDD to another BDD constraintBdd (3) - restricts a BDD to another BDD
constraintCct (3) - restricts all the outputs within a circuit with a BDD constraint constraintCct (3) - restricts all the outputs within a circuit with a BDD constraint
conv (3), GENPAT Package conv, GENPAT Package
convcmp (3), GENPAT Package convcmp, GENPAT Package
convertbddcircuitabl (3) - converts a bdd node to an abl expression. convertbddcircuitabl (3) - converts a bdd node to an abl expression.
convertbddcircuitsumabl (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. convertbddindexabl (3) - converts a bdd index to an abl expression.
@ -398,7 +407,6 @@ cry_y
d1_y d1_y
decbddrefext (3) - decrements the external reference of a bdd node. decbddrefext (3) - decrements the external reference of a bdd node.
decbddrefint (3) - decrements the internal reference of a bdd node. decbddrefint (3) - decrements the internal reference of a bdd node.
def_genpat (3), GENPAT Package
defab (3) - defines the abutment box of a phfig defab (3) - defines the abutment box of a phfig
delablexpr (3) - deletes an expression. delablexpr (3) - deletes an expression.
delablexprnum (3) - deletes an operand in an expression. delablexprnum (3) - deletes an operand in an expression.
@ -427,15 +435,10 @@ delphref (3) - delete a physical reference
delphseg (3) - delete a physical segment delphseg (3) - delete a physical segment
delphvia (3) - delete a physical via delphvia (3) - delete a physical via
delptype (3) - delete an element of a ptype_list delptype (3) - delete an element of a ptype_list
delrdsfig (2) - deletes a figure
delrdsfig (3) - deletes a figure delrdsfig (3) - deletes a figure
delrdsfigrec (2) - deletes a rectangle of a figure
delrdsfigrec (3) - deletes a rectangle of a figure delrdsfigrec (3) - deletes a rectangle of a figure
delrdsins (2) - deletes an instance of a figure
delrdsins (3) - deletes an instance of a figure delrdsins (3) - deletes an instance of a figure
delrdsinsrec (2) - deletes a rectangle of an instance
delrdsinsrec (3) - deletes a rectangle of an instance delrdsinsrec (3) - deletes a rectangle of an instance
delrdsrecwindow (2) - deletes a rectangle from the windowing of rds structure.
delrdsrecwindow (3) - deletes a rectangle from the windowing of rds structure. delrdsrecwindow (3) - deletes a rectangle from the windowing of rds structure.
destroyBdd (3) - removes the BDDs system destroyBdd (3) - removes the BDDs system
destroyCct (3) - removes a circuit destroyCct (3) - removes a circuit
@ -445,7 +448,6 @@ destroyauthtable (3) - destroys a simple hash table.
destroybddassoc (3) - frees all the variable associations. destroybddassoc (3) - frees all the variable associations.
destroybddcircuit (3) - destroys a bdd circuit. destroybddcircuit (3) - destroys a bdd circuit.
destroybddsystem (3) - destroys a bdd system. destroybddsystem (3) - destroys a bdd system.
destroyrdswindow (2) - destroys windowing of a figure
destroyrdswindow (3) - destroys windowing of a figure destroyrdswindow (3) - destroys windowing of a figure
devXor2Expr (3) - converts XOR 2 to OR-AND devXor2Expr (3) - converts XOR 2 to OR-AND
devXorExpr (3) - removes XOR in an expression devXorExpr (3) - removes XOR in an expression
@ -469,14 +471,13 @@ everyExpr (3) - returns the value of a logical AND applied on the results
existbddnodeassocoff (3) - computes an existantial quantification. existbddnodeassocoff (3) - computes an existantial quantification.
existbddnodeassocon (3) - computes an existantial quantification. existbddnodeassocon (3) - computes an existantial quantification.
exprToChar (3) - converts an expression into a string exprToChar (3) - converts an expression into a string
figmbkrds (2) - converts MBK figure to RDS figure
figmbkrds (3) - converts MBK figure to RDS figure figmbkrds (3) - converts MBK figure to RDS figure
filepath (3) - return the whole search path of a file filepath (3) - return the whole search path of a file
flatArityExpr (3) - flattens the operators of an expression flatArityExpr (3) - flattens the operators of an expression
flatablexpr (3) - merges the operators of an expression
flatbeh (1) - Synthetizes a behavioral description from a structural description
flatenphfig (3) - flatten a instance in a figure
flatPolarityExpr (3) - translates the inverters of an expression to the level of atomic expressions flatPolarityExpr (3) - translates the inverters of an expression to the level of atomic expressions
flatablexpr (3) - merges the operators of an expression
flatbeh (1) - Synthetize a behavioral description from a structural description
flatenphfig (3) - flatten a instance in a figure
flattenlofig (3) - flatten a instance in a logical figure flattenlofig (3) - flatten a instance in a logical figure
fmi (1) - FSM state miminization fmi (1) - FSM state miminization
fpgen (1) - Procedural language for Data-Path synthesis based upon C. fpgen (1) - Procedural language for Data-Path synthesis based upon C.
@ -487,11 +488,8 @@ freechain (3) - free a chain_list
freelomodel (3) - free a lofig_list for temporary models freelomodel (3) - free a lofig_list for temporary models
freenum (3) - free a num_list freenum (3) - free a num_list
freeptype (3) - free a ptype_list freeptype (3) - free a ptype_list
freerdsfig (2) - frees memory associated to a figure
freerdsfig (3) - frees memory associated to a figure freerdsfig (3) - frees memory associated to a figure
freerdsins (2) - frees memory associated to an instance
freerdsins (3) - frees memory associated to an instance freerdsins (3) - frees memory associated to an instance
freerdsrec (2) - free memory associated to a rectangle
freerdsrec (3) - free memory associated to a rectangle freerdsrec (3) - free memory associated to a rectangle
fsm (1) - Finite State Machine representation. fsm (1) - Finite State Machine representation.
fsm (5) - Alliance VHDL Finite State Machine description subset. fsm (5) - Alliance VHDL Finite State Machine description subset.
@ -501,7 +499,7 @@ gcNodeBdd (3) - does a garbage collection
gcNodeCct (3) - does a garbage collection gcNodeCct (3) - does a garbage collection
genbs (1) - A IEEE 1149.1 Boundary-Scan Architecture Generator genbs (1) - A IEEE 1149.1 Boundary-Scan Architecture Generator
genlib (1) - Procedural design language based upon C, along with its compiler genlib (1) - Procedural design language based upon C, along with its compiler
genpat (1) - A procedural pattern file generator genpat, A procedural pattern file generator
genscan (1) - scan path generator genscan (1) - scan path generator
genview (1) - genlib graphical source level debugger genview (1) - genlib graphical source level debugger
getablexprdepth (3) - gives the depth of an expression. getablexprdepth (3) - gives the depth of an expression.
@ -530,9 +528,7 @@ getphfig (3) - give back a pointer to a phfig
getphins (3) - retrieve a physical instance getphins (3) - retrieve a physical instance
getphref (3) - retrieve a physical reference getphref (3) - retrieve a physical reference
getptype (3) - retrieve a ptype from a ptype_list getptype (3) - retrieve a ptype from a ptype_list
getrdsfig (2) - gets a pointer to a figure called by its name.
getrdsfig (3) - gets a pointer to a figure called by its name. getrdsfig (3) - gets a pointer to a figure called by its name.
getrdsmodellist (2) - gets model list of the instances of a figure
getrdsmodellist (3) - gets model list of the instances of a figure getrdsmodellist (3) - gets model list of the instances of a figure
getsigname (3) - choose a signal name in alias list getsigname (3) - choose a signal name in alias list
givelosig (3) - give a logical signal givelosig (3) - give a logical signal
@ -550,20 +546,14 @@ incatalogfeed (3) - test if cell belongs to the catalog file
incataloggds (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. incbddrefext (3) - increments the external reference of a bdd node.
incbddrefint (3) - increments the internal reference of a bdd node. incbddrefint (3) - increments the internal reference of a bdd node.
init (3) - GENPAT Package
initializeBdd (3) - initializes the BDDs system initializeBdd (3) - initializes the BDDs system
initializeCct (3) - creates a circuit initializeCct (3) - creates a circuit
insconmbkrds (2) - adds in RDS instance all the connectors of MBK instance
insconmbkrds (3) - adds in RDS instance all the connectors of MBK instance insconmbkrds (3) - adds in RDS instance all the connectors of MBK instance
insmbkrds (2) - converts MBK figure to RDS figure
insmbkrds (3) - converts MBK figure to RDS figure insmbkrds (3) - converts MBK figure to RDS figure
insrefmbkrds (2) - adds in RDS instance all the references of MBK instance.
insrefmbkrds (3) - adds in RDS instance all the references of MBK instance. insrefmbkrds (3) - adds in RDS instance all the references of MBK instance.
inssegmbkrds (2) - adds in RDS instance all the segments of MBK instance
inssegmbkrds (3) - adds in RDS instance all the segments 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 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. instr (3) - find an occurence of a string in a string, starting at a specified character.
insviambkrds (2) - adds to RDS instance all the contacts from MBK instance
insviambkrds (3) - adds to RDS instance all the contacts from MBK instance insviambkrds (3) - adds to RDS instance all the contacts from MBK instance
intersectbddnode (3) - tests for an intersection between two bdd nodes. intersectbddnode (3) - tests for an intersection between two bdd nodes.
isablbinaryoper (3) - tests if an operator is binary. isablbinaryoper (3) - tests if an operator is binary.
@ -592,7 +582,6 @@ l5r_y
l5s_y l5s_y
l6r_y l6r_y
l6s_y l6s_y
label, GENPAT Package
lax (5) - Parameter file for logic synthesis lax (5) - Parameter file for logic synthesis
lengthExpr (3) - returns the number of arguments in an expression lengthExpr (3) - returns the number of arguments in an expression
librds (1) - rds library description librds (1) - rds library description
@ -603,9 +592,7 @@ librut (1) - rut library description
librwi (1) - rwi library description librwi (1) - rwi library description
loadlofig (3) - load a new logical cell model from disk loadlofig (3) - load a new logical cell model from disk
loadphfig (3) - load a new physical cell model from disk loadphfig (3) - load a new physical cell model from disk
loadrdsfig (2) - give back a pointer to a figure
loadrdsfig (3) - give back a pointer to a figure loadrdsfig (3) - give back a pointer to a figure
loadrdsparam (2) - load parameters from symbolic to real conversion.
loadrdsparam (3) - load parameters from symbolic to real conversion. loadrdsparam (3) - load parameters from symbolic to real conversion.
locon (3) - mbk logical connector locon (3) - mbk logical connector
lofig (3) - mbk logical figure lofig (3) - mbk logical figure
@ -613,7 +600,6 @@ lofigchain (3) - creates a netlist in terms of connectors on signals
log (1) - logical representations for boolean functions and utilities. log (1) - logical representations for boolean functions and utilities.
log (3) - logical representations for boolean functions and utilities. log (3) - logical representations for boolean functions and utilities.
loins (3) - mbk logical instance loins (3) - mbk logical instance
loon (1) - Light optimizing on Nets
losig (3) - mbk logical signal losig (3) - mbk logical signal
lotrs (3) - mbk logical transistor lotrs (3) - mbk logical transistor
lvx (1) - Logical Versus eXtracted net-list comparator lvx (1) - Logical Versus eXtracted net-list comparator
@ -641,7 +627,6 @@ mbkrealloc (3) - mbk memory reallocator
mbkunlink (3) - delete a file in the WORK_LIBP. mbkunlink (3) - delete a file in the WORK_LIBP.
minExpr (3) - returns the lowest argument of an operator expression. minExpr (3) - returns the lowest argument of an operator expression.
mlodebug (3) - logical data structure contents debug function mlodebug (3) - logical data structure contents debug function
modelmbkrds (2) - gets all models of instances contained in a figure.
modelmbkrds (3) - gets all models of instances contained in a figure. modelmbkrds (3) - gets all models of instances contained in a figure.
mphdebug (3) - physical data structure contents debug function mphdebug (3) - physical data structure contents debug function
ms2_dp ms2_dp
@ -744,25 +729,18 @@ paini (3) - PAT data structure
paiol (3) - PAT data structure paiol (3) - PAT data structure
papat (3) - PAT data structure papat (3) - PAT data structure
paseq (3) - PAT data structure paseq (3) - PAT data structure
pat (5) - Pattern description format
pat2dwl, pattern translator from ALLIANCE CAD SYSTEM to HILO CAD SYSTEM pat2dwl, pattern translator from ALLIANCE CAD SYSTEM to HILO CAD SYSTEM
pat_addpacom (3) - PAT function pat_addpacom, pat_frepacom
pat_frepacom (3) - PAT function pat_addpaevt, pat_frepaevt
pat_addpaevt (3) - PAT function pat_addpagrp
pat_frepaevt (3) - PAT function pat_addpaini, pat_frepaini
pat_addpagrp (3) - PAT function pat_addpaiol, pat_crtpaiol, pat_frepaiol
pat_addpaini (3) - PAT function pat_addpapat, pat_frepapat
pat_frepaini (3) - PAT function pat_addpaseq
pat_addpaiol (3) - PAT function
pat_crtpaiol (3) - PAT function
pat_frepaiol (3) - PAT function
pat_addpapat (3) - PAT function
pat_frepapat (3) - PAT function
pat_addpaseq (3) - PAT function
pat_debug (3) - PAT structures displayer-debugger pat_debug (3) - PAT structures displayer-debugger
pat_lodpaseq (3) - pattern file compiler pat_lodpaseq (3) - pattern file compiler
pat_savpaseq (3) - save pattern structures in a pattern description file pat_savpaseq (3) - save pattern structures in a pattern description file
patest (3) - a pattern translator for test. patest, a pattern translator for test.
pck_sp pck_sp
phcon (3) - mbk physical connector phcon (3) - mbk physical connector
phfig (3) - mbk physical figure phfig (3) - mbk physical figure
@ -773,7 +751,6 @@ phvia (3) - mbk physical contact
pi_sp pi_sp
piot_sp piot_sp
piotw_sp piotw_sp
place (3) - place the cells of a net list
po_sp po_sp
polarablexpr (3) - moves inverters to the atomic level. polarablexpr (3) - moves inverters to the atomic level.
polardupablexpr (3) - duplicates an expression and moves down the inverters. polardupablexpr (3) - duplicates an expression and moves down the inverters.
@ -798,13 +775,9 @@ pvssi_sp
pvssick_sp pvssick_sp
rage (1) - Random Acess Memory(RAM) Generator rage (1) - Random Acess Memory(RAM) Generator
rds (1) - rds package rds (1) - rds package
rdsalloc (2) - memory allocation function
rdsalloc (3) - memory allocation function rdsalloc (3) - memory allocation function
rdsenv (2) - set user preference
rdsenv (3) - set user preference rdsenv (3) - set user preference
rdsfree (2) - free memory place
rdsfree (3) - free memory place rdsfree (3) - free memory place
refmbkrds (2) - adds to RDS figure a references from a MBK figure
refmbkrds (3) - adds to RDS figure a references from a MBK figure refmbkrds (3) - adds to RDS figure a references from a MBK figure
register, GENPAT Package register, GENPAT Package
relprodbddnodeassoc (3) - computes a relational product. relprodbddnodeassoc (3) - computes a relational product.
@ -822,21 +795,18 @@ restorealldir (3) - restore all instances' connectors directions
restoredirvbe (3) - restore connectors directions from behavioral view restoredirvbe (3) - restore connectors directions from behavioral view
restrictbddnode (3) - substitutes a variable by a zero or one, in a bdd. restrictbddnode (3) - substitutes a variable by a zero or one, in a bdd.
reverse (3) - reverse a list of chained elements reverse (3) - reverse a list of chained elements
rfg (1) - register file generator rfg (1) - register file generator - version 6.05
rflattenlofig (3) - recursivly flatten a figure rflattenlofig (3) - recursivly flatten a figure
rflattenphfig (3) - recursivly flatten a figure rflattenphfig (3) - recursivly flatten a figure
roundrdsrec (2) - adjusts a rectangle to lambda grid step
roundrdsrec (3) - adjusts a rectangle to lambda grid step roundrdsrec (3) - adjusts a rectangle to lambda grid step
rsa (1) - Recurrence Solver Adder generator rsa (1) - Recurrence Solver Adder generator
rsa (3) - call the Recurrence Solver Adder generator rsa (3) - call the Recurrence Solver Adder generator
s2r (1) - Process mapping from symbolic layout to physical layout s2r (1) - Process mapping from symbolic layout to physical layout
satisfybddnode (3) - finds a satisfying path for a bdd node. satisfybddnode (3) - finds a satisfying path for a bdd node.
sav_genpat (3) - GENPAT Package
savelofig (3) - save a logical figure on disk savelofig (3) - save a logical figure on disk
savephfig (3) - save a physical figure on disk savephfig (3) - save a physical figure on disk
saverdsfig (2) - save a physical figure on disk.
saverdsfig (3) - save a physical figure on disk. saverdsfig (3) - save a physical figure on disk.
scapin (1) - Scan Path insertion scapin (1) - Scan path insertion
sclib (5) - a portable CMOS Standard Cell Library sclib (5) - a portable CMOS Standard Cell Library
scmap (1) - mapping of a behavioural description onto a standard cell library. scmap (1) - mapping of a behavioural description onto a standard cell library.
scr (1) - Standard Cell Router scr (1) - Standard Cell Router
@ -850,13 +820,11 @@ searchauth2elem (3) - searches an element in the hash table.
searchauthelem (3) - searches an element in the hash table. searchauthelem (3) - searches an element in the hash table.
searchbddcircuitin (3) - searchs an input in a bdd circuit. searchbddcircuitin (3) - searchs an input in a bdd circuit.
searchbddcircuitout (3) - searchs an output in a bdd circuit. searchbddcircuitout (3) - searchs an output in a bdd circuit.
searchrdsfig (2) - searchs by name a figure in the list of figures
searchrdsfig (3) - searchs by name a figure in the list of figures searchrdsfig (3) - searchs by name a figure in the list of figures
segmbkrds (2) - adds to RDS figure a segment from a MBK figure
segmbkrds (3) - adds to RDS figure a segment from a MBK figure 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. 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. sethtitem (3) - test and set an item in an hash table.
signal (3) - GENPAT Package signal, GENPAT Package
simpablexpr (3) - simplies an expression. simpablexpr (3) - simplies an expression.
simpbddnodedcoff (3) - simplifies a bdd with don't cares on its off-set part. 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. simpbddnodedcon (3) - simplifies a bdd with don't cares on its on-set part.
@ -882,7 +850,6 @@ supportChain_listExpr (3) - returns the support of an expression in a chain_list
supportPtype_listExpr (3) - returns the support of an expression in a ptype_list. supportPtype_listExpr (3) - returns the support of an expression in a ptype_list.
swapbddvar (3) - swaps two contiguous variables. swapbddvar (3) - swaps two contiguous variables.
sxlib (5) - a portable CMOS Standard Cell Library sxlib (5) - a portable CMOS Standard Cell Library
syf (1) - Finite State Machine synthesizer
tas (1) - A switch level static timing analyzer for CMOS circuits tas (1) - A switch level static timing analyzer for CMOS circuits
testbddcircuit (3) - debugs a bdd circuit. testbddcircuit (3) - debugs a bdd circuit.
tie_y tie_y
@ -900,12 +867,10 @@ unsetbddrefext (3) - increments the internal reference, and decrements the ext
upVarBdd (3) - brings up an index in a BDD upVarBdd (3) - brings up an index in a BDD
upVarCct (3) - brings up the index of a primary input within a circuit upVarCct (3) - brings up the index of a primary input within a circuit
upstr (3) - convert a string to upper case upstr (3) - convert a string to upper case
vasy (1) - VHDL Analyzer for Synthesis vasy VHDL RTL subset.
vasy (5) - VHDL Analyzer for Synthesis Subset vbe VHDL behavioural subset.
vbe (5) - VHDL behavioural subset.
vhdlablname (3) - returns a compatible VHDL name. vhdlablname (3) - returns a compatible VHDL name.
vhdlablvector (3) - gives the index and the name of a vectorized name. vhdlablvector (3) - gives the index and the name of a vectorized name.
viambkrds (2) - adds to RDS figure a contact from a MBK figure
viambkrds (3) - adds to RDS figure a contact from a MBK figure viambkrds (3) - adds to RDS figure a contact from a MBK figure
viewablexpr (3) - displays an expression. viewablexpr (3) - displays an expression.
viewablexprfile (3) - displays an expression in a file. viewablexprfile (3) - displays an expression in a file.
@ -929,38 +894,26 @@ viewphins (3) - display elements of a phins_list
viewphref (3) - display elements of a phref_list viewphref (3) - display elements of a phref_list
viewphseg (3) - display elements of a phseg_list viewphseg (3) - display elements of a phseg_list
viewphvia (3) - display elements of a phvia_list viewphvia (3) - display elements of a phvia_list
viewrdsfig (2) - view caracteristics of a figure
viewrdsfig (3) - view caracteristics of a figure viewrdsfig (3) - view caracteristics of a figure
viewrdsins (2) - Displays caracteristics of an instance
viewrdsins (3) - Displays caracteristics of an instance viewrdsins (3) - Displays caracteristics of an instance
viewrdsparam (2) - displays tables in memory filled by loadrdsparam function.
viewrdsparam (3) - displays tables in memory filled by loadrdsparam function. viewrdsparam (3) - displays tables in memory filled by loadrdsparam function.
viewrdsrec (2) - Displays caracteristics of a rectangle
viewrdsrec (3) - Displays caracteristics of a rectangle viewrdsrec (3) - Displays caracteristics of a rectangle
viewrdswindow (2) - displays caracteristics of the windowing.
viewrdswindow (3) - displays caracteristics of the windowing. viewrdswindow (3) - displays caracteristics of the windowing.
viewrfmcon (2) - displays connector caracteristics in MBK and RDS format.
viewrfmcon (3) - displays connector caracteristics in MBK and RDS format. viewrfmcon (3) - displays connector caracteristics in MBK and RDS format.
viewrfmfig (2) - displays figure caracteristics in MBK and RDS format.
viewrfmfig (3) - displays figure caracteristics in MBK and RDS format. viewrfmfig (3) - displays figure caracteristics in MBK and RDS format.
viewrfmins (2) - displays instance caracteristics in MBK and RDS format.
viewrfmins (3) - displays instance caracteristics in MBK and RDS format. viewrfmins (3) - displays instance caracteristics in MBK and RDS format.
viewrfmrec (2) - displays rectangle caracteristics in RDS format.
viewrfmrec (3) - displays rectangle caracteristics in RDS format. viewrfmrec (3) - displays rectangle caracteristics in RDS format.
viewrfmref (2) - displays reference caracteristics in MBK and RDS format.
viewrfmref (3) - displays reference caracteristics in MBK and RDS format. viewrfmref (3) - displays reference caracteristics in MBK and RDS format.
viewrfmseg (2) - displays segment caracteristics in MBK and RDS format.
viewrfmseg (3) - displays segment caracteristics in MBK and RDS format. viewrfmseg (3) - displays segment caracteristics in MBK and RDS format.
viewrfmvia (2) - displays contact caracteristics in MBK and RDS format.
viewrfmvia (3) - displays contact caracteristics in MBK and RDS format. viewrfmvia (3) - displays contact caracteristics in MBK and RDS format.
vst (5) - VHDL structural subset. vst VHDL structural subset.
xmbk (1) - A simple way to set alliance environnement variables xmbk (1) - A simple way to set alliance environnement variables
xpat (1) - A graphical pattern viewer xpat (1) - graphic pattern viewer
xr2_dp (5) xr2_dp
xr2_y (5) xr2_y
xsch (1) - A graphical schematic viewer xsch (1) - graphical schematic viewer
xyflat (3) - compute hierarchical coordinates xyflat (3) - compute hierarchical coordinates
yagle (1) - Disassembly and functional abstraction of CMOS circuits yagle (1) - Disassembly and functional abstraction of CMOS circuits
zbli_y (5) zbli_y
zero_dp (5) zero_dp
zero_y (5) zero_y