distrib/share/man/man1/tma.1

   1 .TH TAS 1 "30 March 2000" "AVERTEC" "AVERTEC CAD Tools"
   2
   3 .SH NAME
   4 .PP
   5 \fBtma\fP \- A Timing Model Abstractor
   6
   7 .so man1/avt_origin.1
   8
   9 .SH SYNOPSIS
  10 .PP
  11 tma \fI[options] [tas options] file \fP
  12
  13 .SH DESCRIPTION
  14 .PP
  15 \fBTMA\fP is a timing characterization tool for CMOS circuits and cell
  16 libraries.
  17 TMA performs the calculation of timing constraints on CMOS circuits interface,
  18 i.e. setup times, hold times, access times and insertion delays. TMA calculations
  19 are based on TAS delays, and therefore
  20 can be performed on a flat or hierarchical, cell based or transistor
  21 based netlist.
  22 Timing constraints are computed either in the form of single delays,
  23 or in the form of 1D or 2D
  24 lookup tables. When used for cell libraries, TMA performs the
  25 functional characterization of the cells.
  26
  27 .PP
  28
  29 .SH INPUT FILES
  30 .PP
  31 \fBTMA\fP includes the timing engine TAS and therefore accepts any format
  32 of netlist accepted by TAS (see \fBtas(1)\fP). TMA can also works on
  33 previous results of stand alone TAS, by reading files in TTX, DTX and STM
  34 formats.
  35
  36 .PP
  37
  38 .SH OUTPUT FILES
  39 .PP
  40 \fBTMA\fP writes characterization's results in Timing Library Format (TLF),
  41 versions 3 and 4, Liberty format version 2.1 and TTX format.
  42
  43 .PP
  44
  45 .SH OPTIONS
  46 .PP
  47
  48 \fBTMA\fP accepts any option accepted by TAS (see \fBtas(1)\fP).
  49 In addition to TMA's options, usefull TAS' options for characterization
  50 are detailed below.
  51
  52 Options may appear in  any  order before or after the optional
  53 input filename.
  54
  55 .TP 10
  56 \fI-dtx\fP
  57 With this option, timing constraints computations are performed on
  58 a DTX (detailed perfmodule) file.
  59 When neither the \fB-ttx\fP option nor the \fB-dtx\fP option is set, TMA searches for
  60 a netlist on which the delay calculations will be performed. The netlist's
  61 format must be specified on the command line with the \fB-in=format\fP option.
  62
  63 .TP 10
  64 \fI-fin=file\fP
  65 When more than one cell is to be given to TMA for constraints
  66 computations, the list of cell files must be specified in an input file.
  67 For instance, the \fB-fin\fP allows the user to specify the list
  68 of cells to characterize in a library. The cell name must be followed by
  69 a behavioral directive :
  70 .br
  71       - W : \fBTMA\fP automatically generates a behavioral description.
  72 .br
  73       -  R  : \fBTMA\fP reads from the disk a behavioral description to include
  74 in the output file. The format of the behavioral description is set with the
  75 environment variable BEH_IN_FORMAT.
  76 .br
  77       -  T  : \fBTMA\fP doesn't generate any behavioral description.
  78 .br
  79 If no output name is specified
  80 (using the \fB-lib\fP option), the name of the input list file is
  81 used as output name, suffixed with the output format.
  82 The \fB-fin\fP option is not compatible with the specification of
  83 a file on the command line.
  84
  85 .TP 10
  86 \fI-i\fP
  87 This option makes \fBTMA\fP read the \fBinf\fP file. This
  88 file has the same name than the \fIroot_file\fP
  89 with the \fBinf\fP extension. It may contain characterization
  90 slopes and capacitances, clock and asynchron signals specifications,
  91 mutual
  92 exclusion conditions on ports of the circuit for
  93 the functional analysis process
  94 as well as information about signal renaming, path elimination, case analysis,
  95 precharged signals, intermediary points, path selection,
  96 factorizing points and interconnecting analysis (hierarchical mode)
  97 (see \fB-f\fP option, \fBinf(5)\fP and \fByagle(1)\fP).
  98
  99 .TP 10
 100 \fI-lib=name\fP
 101 This option allows the naming of the output file or output library.
 102 This name is always suffixed with the output format.
 103
 104 .TP 10
 105 \fI-lut[=n]\fP
 106 This option allows TAS to compute lookup tables instead
 107 of single delays. The sizes of the lookup tables are optional.
 108 If characterization slopes and capacitances are specified in
 109 the \fBinf\fP file, the lookup tables take the specified sizes,
 110 even if n is set on the command line.
 111 If no characterization slopes and capacitances are specified,
 112 and if n is set on the command line, the size is 2n+1.
 113 If no characterization slopes and capacitances are specified,
 114 and if no n is set on the command line, the default size is 5.
 115
 116 .TP 10
 117 \fI-mod=w\fP
 118 To be used only if a cell name is given on the command line. This option
 119 is equivalent to the W directive in the input file given with the \fB-fin\fP option.
 120 It allows \fBTMA\fP to automatically generate a behavioral description of the cell.
 121
 122 .TP 10
 123 \fI-mod=r\fP
 124 To be used only if a cell name is given on the command line. This option
 125 is equivalent to the R directive in the input file given with the \fB-fin\fP option.
 126 It allows \fBTMA\fP to read a behavioral description of the cell, to include in the
 127 output file. The behavioral description file format is set with the environment variable
 128 BEH_IN_FORMAT.
 129
 130 .TP 10
 131 \fI-mod=t\fP
 132 To be used only if a cell name is given on the command line. This option
 133 is equivalent to the T directive in the input file given with the \fB-fin\fP option.
 134 With this option \fBTMA\fP doesn't generate any behavioral description of the cell.
 135
 136 .TP 10
 137 \fI-mrg=margin\fP
 138 This option allows the user to specify a margin in the timing
 139 constraints calculations. This margin is systematically added to
 140 setup times, access times and insertion delays, and systematically
 141 substracted to hold times. The unity is the picosecond.
 142
 143 .TP 10
 144 \fI-nac\fP
 145 With this option \fBTMA\fP does not perform the automatic detection
 146 of clocks (which is the default). The clocks must then be specified
 147 in the  \fBinf\fP file, and the \fB-i\fP option must be set.
 148
 149 .TP 10
 150 \fI-nbh\fP
 151 With this option, no behavioral description is read by nor computed by \fBTMA\fP,
 152 therefore no behavioral description will be generated.
 153
 154 .TP 10
 155 \fI-format=lib\fP
 156 The output file is written in the Liberty 2.1 format.
 157 When a list of cells is given as input, every characterized cells are
 158 written in the same file.
 159
 160 .TP 10
 161 \fI-format=tlf3\fP
 162 The output file is written in the Timing Library Format (TLF) 3.0 format.
 163 When a list of cells is given as input, every characterized cells are
 164 written in the same file.
 165
 166 .TP 10
 167 \fI-format=tlf4\fP
 168 The output file is written in the Timing Library Format (TLF) 4.1 format.
 169 When a list of cells is given as input, every characterized cells are
 170 written in the same file.
 171
 172 .TP 10
 173 \fI-format=ttx\fP
 174 The output files are written in the TTX format.
 175 The TTX format is not a library format, and can only represent one
 176 cell by file, therefore, when a list of cells is given as input, each
 177 characterized cell is written in a separate file.
 178
 179 .TP 10
 180 \fI-sfx=suffix\fP
 181 This option allows TMA to suffix the names of the output files, and
 182 the names of the characterized cells.
 183
 184 .TP 10
 185 \fI-ttx\fP
 186 With this option, timing constraints computations are performed on
 187 a TTX (general perfmodule) file.
 188 When neither the \fB-ttx\fP or \fB-dtx\fP option is set, TMA seaches for
 189 a netlist on which perform the delay calculations. This netlist's
 190 format must be specified on the command line with the \fB-in=format\fP option.
 191
 192 .TP 10
 193 \fI-v\fP
 194 TMA runs in verbose mode.
 195
 196 .SH SEE ALSO
 197 .PP
 198      hitas(1), xtas(1), etas(1), yagle(1), dtv(5), ttv(5), inf(5), fcl(5)
 199
 200 .SH DIAGNOSTICS
 201
 202 .so man1/avt_bug_report.1
 203
 204