1 .TH TTX 5 "30 March 1000" "AVERTEC" "File Formats"
5 \fBttx\fP \- The timing analyzer \fBtas\fP report : 'general perfmodule' format.
11 The timing analyzer \fBtas\fP reports all critical
12 paths between two reference points in
13 a file, named 'general perfmodule'. The file has the extension .ttx.
14 This is a highly compact
15 text format suitable for flat and hierarchical analysis. The content is best
16 visualized by ETAS or XTAS.
17 The 'detailled perfmodul' has the extension .dtx.
22 The 'general perfmodule' contains several articles and is terminated by the
26 \fBInformation Header\fP
29 General information is given in a single \fBH\fP article
30 at the beginning of the file.
34 H \fItool vers name techno techno_vers inslope outcapa hierarchy_level ( day month year hour minute second );\fP
41 Instances in a hierarchical figure are given in \fBX\fP articles :
45 X \fIfigure_name instance_name;\fP
49 \fBExternal Conectors\fP
52 External connectors are given in \fBC\fP articles :
56 C \fItype index name (capa rupmax rdownmax fupmax fdownmax rupmin rdownmin fupmin fdownmin); \fP
60 The \fBtype\fP defines the connector direction and whether it is the command
61 of a register or a precharge. It can be one of :
66 for an input connector
70 for an output connector
74 for a bidirectionnal connector
78 for a transceiver connector
82 for a high-impedance connector
86 for an unconnected connector
90 input connector used as command for register or precharge
94 output connector reused as input to command register or precharge.
98 The electrical parameters given for each connector are :
103 capacitance attached to connector
107 maximum resistance to Vdd
111 maximum resistance to Vss
115 maximum rising-edge slope
119 maximum falling-edge slope
123 minimum resistance to Vdd
127 minimum resistance to Vss
131 minimum rising-edge slope
135 minimum falling-edge slope
139 \fBInternal Connectors\fP
142 Internal connectors are given in \fBN\fP articles:
146 C \fItype index name (index_extcon capa rupmax rdownmax fupmax fdownmax rupmin rdownmin fupmin fdownmin);\fP
150 The \fItype\fP defines wether it is the command of a register or a precharge.
157 not used as command for register or precharge
161 used as command for register or precharge
165 The electrical parameters are the same as those for external connectors.
166 The \fIindex_extcon\fP field specifies the
167 index of the associated external connector.
170 \fBRegister or Precharge Commands\fP
173 Commands of registers and precharges are given in \fIQ\fP articles :
177 Q \fItype index name (cmd1 cmd2 ... );\fP
181 The \fBtype\fP can be one of the following :
186 for an external connector command (also an external connector)
190 For an internal connector command (also an internal connector)
194 For an external command (extremity of an extenral path)
198 For an internal command (not the extremity of an external path)
202 The list of command names in brackets is the list of
203 commands lower down in the hierarchy which are internal
204 or external commands and which have been replaced by
205 this command at the current hierarchical level. Thus the
206 command attribute of an arc can be defined at each level in
213 Registers are given in \fBL\fP articles :
217 L \fItype index name (cmd_index1 cmd_type1 cmd_index2 cmd_type2 ... ); \fP
221 The \fBtype\fP is XY where x can be L, F, R or S and Y can be C, N, E, I :
235 stabd for nand set reset latch
239 stand for nor set reset latch
243 for an external connector register (also an external connector)
247 For an internal connector register (also an internal connector)
251 For an external register (extremity of an extenral path)
255 For an internal register (not the extremity of an external path)
259 With this notation, a \fBtype\fP LI is an internal level-triggered register.
261 The list in brackets is the list of command events which
262 allow the opening of a level-triggered register or the
263 writing into an edge-triggered register. The \fBindex\fP
264 represents the index of the command signal.
266 The type can be one of :
271 for a rising-edge event
276 for a falling-edge event
279 \fBPrecharged Signals\fP
282 Precharged signals are given in \fBR\fP articles :
286 R \fItype index name (cmd_index1 cmd_type1 cmd_index2 cmd_type2 ... );\fP
290 the \fBtype\fP can be one of:
295 for an external connector precharge (also an external connector)
299 For an internal connector precharge (also an internal connector)
303 for an external precharge
307 for an internal precharge
314 Breaks are given in \fBB\fP articles :
318 B \fPtype index name\fP
320 The \fBtype\fP can be one of:
325 for an external connector break (also an external connector)
329 For an internal connector break (also an internal connector)
333 For an external break (extremity of an extenral path)
337 For an internal break (not the extremity of an external path)
342 \fBFactorization Points\fP
345 Factorization points are given in \fBI\fP articles :
349 I \fItype index name;\fP
353 The \fBtype\fP can be one of:
358 for an external factorization signal
362 for an internal factorization signal
366 \fBFactorized Paths\fP
369 Factorized paths are represented by one of three
370 \fBpath_type\fP articles.
377 for a factorized path which is only part
378 of paths internal to the figure.
382 for a factorized path which is part of at
383 least one path external to the figure.
387 for a factorized path which has a
388 connector as an extremity.
392 The general syntax of these articles is :
396 path_type starttype start endtype end (
397 (cmd cmdtype (trs type delay slope elec))
403 where the parameters represent :
408 type of the signal at the start of
409 the path (C, N, Q, L, R, I, S).
413 index of the start signal.
417 type of the signal at the end of the
418 path (C, N, Q, L, R, I, S, Z, O).
422 index of the end signal.
426 index of command if end is
427 register or precharge
431 type of event which activates
436 transition type (UU, DD, UD,DU).
440 delay type (SMAX, SMAX, HMAX, HMIN, AMAX, AMIN, IMAX, IMIN, MAX or MIN).
441 With SMAX and SMIN for set up, HMAX and HMIN for Hold , AMAX and AMIN for Acces,
442 IMAX and IMIN for interconnect and MAX and MIN for delay.
455 one or two delay correction
456 parameters (T or D) with respect
457 to input slope if start is a
458 connector, or the output
459 capacitance if end is a connector.
467 .so man1/avt_bug_report.1