Initial version of donated sources by Avertec, 3.4p5.
[tas-yagle.git] / distrib / sources / man / man5 / ttx.5
1 .TH TTX 5 "30 March 1000" "AVERTEC" "File Formats"
2
3 .SH NAME
4 .PP
5 \fBttx\fP \- The timing analyzer \fBtas\fP report : 'general perfmodule' format.
6
7 .so man1/avt_origin.1
8 .SH DESCRIPTION
9 .PP
10
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.
18
19 .SH ARTICLES
20 .PP
21
22 The 'general perfmodule' contains several articles and is terminated by the
23 \fBG\fP article.
24
25 .TP 10
26 \fBInformation Header\fP
27 .PP
28
29 General information is given in a single \fBH\fP article
30 at the beginning of the file.
31
32 .RS 5
33 .PP
34 H \fItool vers name techno techno_vers inslope outcapa hierarchy_level ( day month year hour minute second );\fP
35 .RE
36
37 .TP 10
38 \fBInstances\fP
39 .PP
40
41 Instances in a hierarchical figure are given in \fBX\fP articles :
42
43 .RS 5
44 .PP
45 X \fIfigure_name instance_name;\fP
46 .RE
47
48 .TP 10
49 \fBExternal Conectors\fP
50 .PP
51
52 External connectors are given in \fBC\fP articles :
53
54 .RS 5
55 .PP
56 C \fItype index name (capa rupmax rdownmax fupmax fdownmax rupmin rdownmin fupmin fdownmin); \fP
57 .RE
58
59 .PP
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 :
62
63 .RS 5
64 .TP 5
65 \fII\fP
66 for an input connector
67
68 .TP 5
69 \fIO\fP
70 for an output connector
71
72 .TP 5
73 \fIB\fP
74 for a bidirectionnal connector
75
76 .TP 5
77 \fIT\fP
78 for a transceiver connector
79
80 .TP 5
81 \fIZ\fP
82 for a high-impedance connector
83
84 .TP 5
85 \fIX\fP
86 for an unconnected connector
87
88 .TP 5
89 \fIIQ\fP
90 input connector used as command for register or precharge
91
92 .TP 5
93 \fIBQ\fP
94 output connector reused as input to command register or precharge.
95 .RE
96
97 .PP
98 The electrical parameters given for each connector are :
99
100 .RS 5
101 .TP 5
102 \fIcapa\fP
103 capacitance attached to connector
104
105 .TP 5
106 \fIrupmax\fP
107 maximum resistance to Vdd
108
109 .TP 5
110 \fIrdownmax\fP
111 maximum resistance to Vss
112
113 .TP 5
114 \fIfupmax\fP
115 maximum rising-edge slope
116
117 .TP 5
118 \fIfdownmax\fP
119 maximum falling-edge slope
120
121 .TP 5
122 \fIrupmin\fP
123 minimum resistance to Vdd
124
125 .TP 5
126 \fIrdownmin\fP
127 minimum resistance to Vss
128
129 .TP 5
130 \fIfupmin\fP
131 minimum rising-edge slope
132
133 .TP 5
134 \fIfdownmin\fP
135 minimum falling-edge slope
136 .RE
137
138 .TP 10
139 \fBInternal Connectors\fP
140 .PP
141
142 Internal connectors are given in \fBN\fP articles:
143
144 .RS 5
145 .PP
146 C \fItype index name (index_extcon capa rupmax rdownmax fupmax fdownmax rupmin rdownmin fupmin fdownmin);\fP
147 .RE
148
149 .PP
150 The \fItype\fP defines wether it is the command of a register or a precharge.
151 .br
152 It can be one of:
153
154 .RS 5
155 .TP 5
156 \fII\fP
157 not used as command for register or precharge
158
159 .TP 5
160 \fIQ\fP
161 used as command for register or precharge
162 .RE
163
164 .PP
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.
168
169 .TP 10
170 \fBRegister or Precharge Commands\fP
171 .PP
172
173 Commands of registers and precharges are given in \fIQ\fP articles :
174
175 .RS 5
176 .PP
177 Q \fItype index name (cmd1 cmd2 ... );\fP
178 .RE
179
180 .PP
181 The \fBtype\fP can be one of the following :
182
183 .RS 5
184 .TP 5
185 \fIC\fP
186 for an external connector command (also an external connector)
187
188 .TP 5
189 \fIN\fP
190 For an internal connector command (also an internal connector)
191
192 .TP 5
193 \fIE\fP
194 For an external command (extremity of an extenral path)
195
196 .TP 5
197 \fII\fP
198 For an internal command (not the extremity of an external path)
199 .RE
200
201 .PP
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
207 the hierarchy.
208
209 .TP 10
210 \fBRegisters\fP
211 .PP
212
213 Registers are given in \fBL\fP articles :
214
215 .RS 5
216 .PP
217 L \fItype index name (cmd_index1 cmd_type1 cmd_index2 cmd_type2 ... ); \fP
218 .RE
219
220 .PP
221 The \fBtype\fP is XY where x can be L, F, R or S and Y can be C, N, E, I :
222
223 .RS 5
224 .TP 5
225 \fIL\fP
226 stand for Latch
227
228 .TP 5
229 \fIF\fP
230 stand for Flip-Flop
231
232
233 .TP 5
234 \fIR\fP
235 stabd for nand set reset latch
236
237 .TP 5
238 \fIS\fP
239 stand for nor set reset latch
240
241 .TP 5
242 \fIC\fP
243 for an external connector register (also an external connector)
244
245 .TP 5
246 \fIN\fP
247 For an internal connector register (also an internal connector)
248
249 .TP 5
250 \fIE\fP
251 For an external register (extremity of an extenral path)
252
253 .TP 5
254 \fII\fP
255 For an internal register (not the extremity of an external path)
256 .RE
257
258 .PP
259 With this notation, a \fBtype\fP LI is an internal level-triggered register.
260 .PP
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.
265 .br
266 The type can be one of :
267
268 .RS 5
269 .TP 5
270 \fIU\fP
271 for a rising-edge event
272
273
274 .TP 5
275 \fID\fP
276 for a falling-edge event
277
278 .TP 10
279 \fBPrecharged Signals\fP
280 .PP
281
282 Precharged signals are given in \fBR\fP articles :
283
284 .RS 5
285 .PP
286 R \fItype index name (cmd_index1 cmd_type1 cmd_index2 cmd_type2 ... );\fP
287 .RE
288
289 .PP
290 the \fBtype\fP can be one of:
291
292 .RS 5
293 .TP 5
294 \fIC\fP
295 for an external connector precharge (also an external connector)
296
297 .TP 5
298 \fIN\fP
299 For an internal connector precharge (also an internal connector)
300
301 .TP 5
302 \fIE\fP
303 for an external precharge
304
305 .TP 5
306 \fII\fP
307 for an internal precharge
308 .RE
309
310 .TP 10
311 \fBBreak\fP
312 .PP
313
314 Breaks are given in \fBB\fP articles :
315
316 .RS 5
317 .PP
318 B \fPtype index name\fP
319
320 The \fBtype\fP can be one of:
321
322 .RS 5
323 .TP 5
324 \fIC\fP
325 for an external connector break (also an external connector)
326
327 .TP 5
328 \fIN\fP
329 For an internal connector break (also an internal connector)
330
331 .TP 5
332 \fIE\fP
333 For an external break (extremity of an extenral path)
334
335 .TP 5
336 \fII\fP
337 For an internal break (not the extremity of an external path)
338 .RE
339
340
341 .TP 10
342 \fBFactorization Points\fP
343 .PP
344
345 Factorization points are given in \fBI\fP articles :
346
347 .RS 5
348 .PP
349 I \fItype index name;\fP
350 .RE
351
352 .PP
353 The \fBtype\fP can be one of:
354
355 .RS 5
356 .TP 5
357 \fIE
358 for an external factorization signal
359
360 .TP 5
361 \fII\fP
362 for an internal factorization signal
363 .RE
364
365 .TP 10
366 \fBFactorized Paths\fP
367 .PP
368
369 Factorized paths are represented by one of three
370 \fBpath_type\fP articles.
371 .br
372 These are :
373
374 .RS 5
375 .TP 5
376 \fIP\fP
377 for a factorized path which is only part
378 of paths internal to the figure.
379
380 .TP 5
381 \fIJ\fP
382 for a factorized path which is part of at
383 least one path external to the figure.
384
385 .TP 5
386 \fIT\fP
387 for a factorized path which has a
388 connector as an extremity.
389 .RE
390
391 .PP
392 The general syntax of these articles is :
393
394 .RS 5
395 .PP
396 path_type starttype start endtype end (
397 (cmd cmdtype (trs type delay slope elec))
398 ( . . (. . . . .))
399 );
400 .RE
401
402 .PP
403 where the parameters represent :
404
405 .RS 5
406 .TP 5
407 \fIstarttype\fP
408 type of the signal at the start of
409 the path (C, N, Q, L, R, I, S).
410
411 .TP 5
412 \fIstart\fP
413 index of the start signal.
414
415 .TP 5
416 \fIendtype\fP
417 type of the signal at the end of the
418 path (C, N, Q, L, R, I, S, Z, O).
419
420 .TP 5
421 \fIend\fP
422 index of the end signal.
423
424 .TP 5
425 \fIcmd\fP
426 index of command if end is
427 register or precharge
428
429 .TP 5
430 \fIcmdtype\fP
431 type of event which activates
432 command (U or D).
433
434 .TP 5
435 \fItrs\fP
436 transition type (UU, DD, UD,DU).
437
438 .TP 5
439 \fItype\fP
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.
443
444
445 .TP 5
446 \fIdelay\fP
447 propagation delay.
448
449 .TP 5
450 \fIslope\fP
451 slope at end.
452
453 .TP 5
454 \fIelec\fP
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.
460 .RE
461
462 .SH SEE ALSO
463 .PP
464 tas(1),dtx(5)
465
466
467 .so man1/avt_bug_report.1
468