The Esterel v5 21 System Manual - Courses

More documents

Recommendations

Info

Contents Preface 1 1 Getting Started 3 1.1 Installing and Uninstalling the Esterel v5 21 System . . . . . 3 1.1.1 Unix Systems . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.2 Windows NT . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Handling a Simple Example . . . . . . . . . . . . . . . . . . . 5 1.3 Code Generation Options . . . . . . . . . . . . . . . . . . . . 6 1.3.1 Sorted Circuit Code . . . . . . . . . . . . . . . . . . . 7 1.3.2 Interpreted Unsorted Circuit Code . . . . . . . . . . . 7 1.3.3 Automaton Code . . . . . . . . . . . . . . . . . . . . . 7 1.3.4 Hardware Circuit Generation . . . . . . . . . . . . . . 8 1.4 The xesterel GUI . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.5 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2 Using the Esterel Compiler 11 2.1 The Esterel v5 21 Compiler Structure . . . . . . . . . . . . . 11 2.2 Usage of the esterel Command . . . . . . . . . . . . . . . . . 13 2.2.1 Basic Usage . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2.2 Compiling Multi–Files Programs . . . . . . . . . . . . 14 2.2.3 Performing Sanity Checks . . . . . . . . . . . . . . . . 15 2.2.4 Keeping Intermediate Files . . . . . . . . . . . . . . . 15 2.2.5 Printing Details about Compiling . . . . . . . . . . . . 16 2.3 Controlling Code Generation . . . . . . . . . . . . . . . . . . 16 2.3.1 Sorted Circuit Code Generation . . . . . . . . . . . . . 16 2.3.2 Unsorted Circuit Code Generation . . . . . . . . . . . 18 2.3.3 Automaton Code Generation . . . . . . . . . . . . . . 19 2.3.4 ANSI C Code Generation . . . . . . . . . . . . . . . . 20 2.4 Why Compilation May Fail . . . . . . . . . . . . . . . . . . . 21 i
Page 1: The Esterel v5 21 System Manual G.
Page 5 and 6: CONTENTS iii 4.4 Simulating Program
Page 7 and 8: Preface This manual describes how t
Page 9 and 10: Chapter 1 Getting Started 1.1 Insta
Page 11 and 12: 1.2. HANDLING A SIMPLE EXAMPLE 5 -
Page 13 and 14: 1.3. CODE GENERATION OPTIONS 7 1.3.
Page 15 and 16: 1.5. EXAMPLES 9 The distribution ta
Page 17 and 18: Chapter 2 Using the Esterel Compile
Page 19 and 20: 2.2. USAGE OF THE ESTEREL COMMAND 1
Page 21 and 22: 2.2. USAGE OF THE ESTEREL COMMAND 1
Page 23 and 24: 2.3. CONTROLLING CODE GENERATION 17
Page 25 and 26: 2.3. CONTROLLING CODE GENERATION 19
Page 27 and 28: 2.4. WHY COMPILATION MAY FAIL 21 2.
Page 29 and 30: 2.6. OPTIONS OF THE ESTEREL COMMAND
Page 37 and 38: Chapter 3 The Esterel to C Interfac
Page 39 and 40: 3.3. C CODE FOR DATA HANDLING 33 Du
Page 41 and 42: 3.3. C CODE FOR DATA HANDLING 35 As
Page 43 and 44: 3.3. C CODE FOR DATA HANDLING 37 fo
Page 45 and 46: 3.3. C CODE FOR DATA HANDLING 39 Re
Page 47 and 48: 3.4. THE REACTION INTERFACE 41 can
Page 49 and 50: 3.4. THE REACTION INTERFACE 43 3.4.
Page 51 and 52: 3.5. TASK HANDLING 45 3.4.7 Warning
Page 53 and 54:
3.5. TASK HANDLING 47 typedef struc
Page 55 and 56:
3.5. TASK HANDLING 49 Notice that t
Page 57 and 58:
3.6. THE SAMETYPE UTILITY 51 STD EX
Page 59 and 60:
3.6. THE SAMETYPE UTILITY 53 samety
Page 61 and 62:
Chapter 4 Building Esterel Simulato
Page 63 and 64:
4.4. SIMULATING PROGRAMS WITH USER-
Page 65 and 66:
4.5. MULTI-MODULE FILES 59 Figure 4
Page 67 and 68:
Chapter 5 The xes Graphical Simulat
Page 69 and 70:
5.2. PERFORMING REACTIONS 63 panel
Page 71 and 72:
5.2. PERFORMING REACTIONS 65 CTRL-A
Page 73 and 74:
5.2. PERFORMING REACTIONS 67 5.2.5
Page 75 and 76:
5.3. THE MAIN PANEL MENUS 69 with i
Page 77 and 78:
5.3. THE MAIN PANEL MENUS 71 Figure
Page 79 and 80:
5.4. SYMBOLIC DEBUGGING 73 Variable
Page 81 and 82:
5.4. SYMBOLIC DEBUGGING 75 instanti
Page 83 and 84:
5.4. SYMBOLIC DEBUGGING 77 or red.
Page 85 and 86:
5.4. SYMBOLIC DEBUGGING 79 Figure 5
Page 87 and 88:
5.5. THE TAPE RECORDER 81 a loop mu
Page 89 and 90:
5.6. OPTIONS OF THE XES COMMAND 83
Page 91 and 92:
Chapter 6 Simulation with csimul By
Page 93 and 94:
6.2. THE INPUT COMMAND 87 R1 return
Page 95 and 96:
6.3. OUTPUT PRINTING 89 6.3 Output
Page 97 and 98:
6.5. THE RESET COMMAND 91 6.5 The r
Page 99 and 100:
6.6. THE SHOW AND TRACE COMMANDS 93
Page 101 and 102:
6.6. THE SHOW AND TRACE COMMANDS 95
Page 103 and 104:
6.8. SIMULATION ERRORS 97 6.8 Simul
Page 105 and 106:
Chapter 7 Simulation Examples All t
Page 107 and 108:
7.1. THE COUNTER EXAMPLE 101 7.1.3
Page 109 and 110:
7.2. THE WATCH EXAMPLE 103 7.2.1 Th
Page 111 and 112:
7.2. THE WATCH EXAMPLE 105 #include
Page 113 and 114:
7.2. THE WATCH EXAMPLE 107 --- Trap
Page 115 and 116:
7.3. LOCAL SIGNAL REINCARNATION 109
Page 117 and 118:
Chapter 8 Constructive Cyclic Progr
Page 119 and 120:
8.1. A NON-TRIVIAL NON-CONSTRUCTIVE
Page 121 and 122:
8.2. DATA HANDLING IN CYCLIC PROGRA
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Bibliography [1] G. Berry. The Cons
Page 129 and 130:
INDEX 123 inline constant, 39 inlin
Page 131 and 132:
INDEX 125 constant, 39 function, 39
Page 133 and 134:
INDEX 127 -s, 26 -sc, 15, 28 -scrip
Page 135 and 136:
INDEX 129 functional interface, 50
show all

The Esterel v5 21 System Manual - Courses

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?