List of Tables
1.1 Options in ASIMUT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2 Set of types used in the VHDL subset of Alliance. . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3 Concurrent Statements in the VHDL Subset of Alliance. . . . . . . . . . . . . . . . . . . . . . . . 23
1.4 Options Available for the B2F Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.5 Options Available for the BOOG Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6 Options Available for the BOOM Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Options Available for the COUGAR Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.8 Options Available for the DREAL Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.9 Options Available for the DRUC Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.10 Options Available for the FLATLO Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.11 Options Available for the FLATPH Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.12 Options Available for the FMI Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.13 Options Available for the FSP Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.14 Options Available for the GENPAT Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.15 Options Available for the GRAAL Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.16 Options Available for the L2P Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.17 Options Available for the LOON Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.18 Options Available for the LVX Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.19 Options Available for the MOKA Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.20 Options Available for the NERO Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.21 Options Available for the OCP Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.22 Options Available for the proof Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1.23 Options Available for the S2R Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.24 Options Available for the SCAPIN Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.25 Options Available for the SYF Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.26 Options Available for the VASY Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.27 Formats handled by the X2Y Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.28 Options Available for the XPAT Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.29 Options Available for the XSCH Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7
Comentarios a estos manuales