The Esterel v5 21 System Manual - Courses

More documents

Recommendations

Info

28 CHAPTER 2. USING THE ESTEREL COMPILER esterel -lc foo.strl bar.strl foobar.strl -D ../bar generates a single linked file ../bar/esterel.lc, and the command esterel -lc foo.strl bar.strl -B foo generates a linked file foo.lc. -sc Stop the compilation after the production of the sc unsorted circuit code file. This option stops the compilation after the lcsc processor has been run. There is only one output .sc file whose basename is determined as for the -lc option. -ssc Stop the compilation after the production of the ssc sorted circuit code file. This option stops the compilation after either the scssc processor or the sccausal processor has been run. There is only one output .ssc file whose basename is determined as for the -lc option. -oc Stop the compilation after the production of the oc automaton code file. This option stops the compilation after either the sscoc or the lcoc processor has been run. There is only one output .oc file whose basename is determined as for the -lc option. Any intermediate code file can be processed further by calling the esterel command again. For example, to translate circuit code in foo.sc into sorted circuit code in foo.ssc, simply type esterel -oc foo.sc This is the way to call the scssc processor using only the esterel command. 2.6.7 Keeping Intermediate Files By default, when compiling a set of files, the esterel command removes all the intermediate ic, lc, sc, ssc, and oc files it has created on the way. It is sometimes useful to keep the intermediate code files. Using the option -K, all intermediate files are kept. The option can be specialized to save only some particular format, using the forms -Kic, -Klc, -Ksc, -Kssc, and -Koc. For example, the command
2.6. OPTIONS OF THE ESTEREL COMMAND 29 esterel -Klc -Kssc foo.strl bar.strl -B foo generates foo.c that contains sorted circuit C code, and, in addition, keeps the linked intermediate ic code in file foo.lc and the sorted circuit code in file foo.ssc. The intermediate code files foo.ic, bar.ic, and foo.sc are deleted. The above command is equivalent to the following command sequence: esterel -lc foo.strl bar.strl -B foo esterel -ssc foo.lc esterel foo.ssc 2.6.8 Passing Options to Processors Processor-specific options can be passed to processors using an additional ‘:’ symbol. This is especially useful for code generators. For example, esterel -Lblif:-soft foo.strl calls sscblif with option -soft to extract the control circuit, and esterel -Adebug:"-emitted -names" foo.strl calls ocdebug with options -emitted -names for a more verbose debug printout. Notice the need for quotes when several options are passed to the back-end processor.
Page 1: The Esterel v5 21 System Manual G.
Page 4 and 5: ii CONTENTS 2.5 Sanity Checks . . .
Page 6 and 7: iv CONTENTS 6.6.1 Showing the State
Page 8 and 9: 2 PREFACE feedback. WARNING: Chapte
Page 10 and 11: 4 CHAPTER 1. GETTING STARTED and XE
Page 12 and 13: 6 CHAPTER 1. GETTING STARTED The fo
Page 14 and 15: 8 CHAPTER 1. GETTING STARTED The ad
Page 16 and 17: 10 CHAPTER 1. GETTING STARTED
Page 18 and 19: 12 CHAPTER 2. USING THE ESTEREL COM
Page 38 and 39: 32 CHAPTER 3. THE ESTEREL TO C INTE
Page 62 and 63: 56 CHAPTER 4. BUILDING ESTEREL SIMU
Page 68 and 69: 62 CHAPTER 5. THE XES GRAPHICAL SIM
Page 84 and 85:
78 CHAPTER 5. THE XES GRAPHICAL SIM
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
86 CHAPTER 6. SIMULATION WITH CSIMU
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
100 CHAPTER 7. SIMULATION EXAMPLES
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
112 CHAPTER 8. CONSTRUCTIVE CYCLIC
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Index !, see csimul ?, see csimul #
Page 130 and 131:
124 INDEX ?, 85 combined signal, 88
Page 132 and 133:
126 INDEX lc, 12, 13, 27 -lc, 15, 2
Page 134 and 135:
128 INDEX scc, 13, 18 sccausal, 12,
Page 136:
130 INDEX high/low inputs, 67, 72 i
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?