OpenCores
URL https://opencores.org/ocsvn/lwrisc/lwrisc/trunk

Subversion Repositories lwrisc

[/] [lwrisc/] [trunk/] [SIM/] [SIM_ClaiRISC.mpf] - Blame information for rev 19

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 7 mcupro
;
2
; Copyright Model Technology, a Mentor Graphics Corporation company 2004,
3
; All rights reserved.
4
;
5
 
6
[Library]
7
std = $MODEL_TECH/../std
8
ieee = $MODEL_TECH/../ieee
9
verilog = $MODEL_TECH/../verilog
10
vital2000 = $MODEL_TECH/../vital2000
11
std_developerskit = $MODEL_TECH/../std_developerskit
12
synopsys = $MODEL_TECH/../synopsys
13
modelsim_lib = $MODEL_TECH/../modelsim_lib
14
 
15
work = work
16
[vcom]
17
; VHDL93 variable selects language version as the default.
18
; Default is VHDL-2002.
19
; Value of 0 or 1987 for VHDL-1987.
20
; Value of 1 or 1993 for VHDL-1993.
21
; Default or value of 2 or 2002 for VHDL-2002.
22
VHDL93 = 2002
23
 
24
; Show source line containing error. Default is off.
25
; Show_source = 1
26
 
27
; Turn off unbound-component warnings. Default is on.
28
; Show_Warning1 = 0
29
 
30
; Turn off process-without-a-wait-statement warnings. Default is on.
31
; Show_Warning2 = 0
32
 
33
; Turn off null-range warnings. Default is on.
34
; Show_Warning3 = 0
35
 
36
; Turn off no-space-in-time-literal warnings. Default is on.
37
; Show_Warning4 = 0
38
 
39
; Turn off multiple-drivers-on-unresolved-signal warnings. Default is on.
40
; Show_Warning5 = 0
41
 
42
; Turn off optimization for IEEE std_logic_1164 package. Default is on.
43
; Optimize_1164 = 0
44
 
45
; Turn on resolving of ambiguous function overloading in favor of the
46
; "explicit" function declaration (not the one automatically created by
47
; the compiler for each type declaration). Default is off.
48
; The .ini file has Explict enabled so that std_logic_signed/unsigned
49
; will match the behavior of synthesis tools.
50
Explicit = 1
51
 
52
; Turn off acceleration of the VITAL packages. Default is to accelerate.
53
; NoVital = 1
54
 
55
; Turn off VITAL compliance checking. Default is checking on.
56
; NoVitalCheck = 1
57
 
58
; Ignore VITAL compliance checking errors. Default is to not ignore.
59
; IgnoreVitalErrors = 1
60
 
61
; Turn off VITAL compliance checking warnings. Default is to show warnings.
62
; Show_VitalChecksWarnings = 0
63
 
64
; Turn off PSL assertion warning messges. Default is to show warnings.
65
; Show_PslChecksWarnings = 0
66
 
67
; Enable parsing of embedded PSL assertions. Default is enabled.
68
; EmbeddedPsl = 0
69
 
70
; Keep silent about case statement static warnings.
71
; Default is to give a warning.
72
; NoCaseStaticError = 1
73
 
74
; Keep silent about warnings caused by aggregates that are not locally static.
75
; Default is to give a warning.
76
; NoOthersStaticError = 1
77
 
78
; Treat as errors:
79
;   case statement static warnings
80
;   warnings caused by aggregates that are not locally static
81
; Overrides NoCaseStaticError, NoOthersStaticError settings.
82
; PedanticErrors = 1
83
 
84
; Turn off inclusion of debugging info within design units.
85
; Default is to include debugging info.
86
; NoDebug = 1
87
 
88
; Turn off "Loading..." messages. Default is messages on.
89
; Quiet = 1
90
 
91
; Turn on some limited synthesis rule compliance checking. Checks only:
92
;    -- signals used (read) by a process must be in the sensitivity list
93
; CheckSynthesis = 1
94
 
95
; Activate optimizations on expressions that do not involve signals,
96
; waits, or function/procedure/task invocations. Default is off.
97
; ScalarOpts = 1
98
 
99
; Turns on lint-style checking.
100
; Show_Lint = 1
101
 
102
; Require the user to specify a configuration for all bindings,
103
; and do not generate a compile time default binding for the
104
; component. This will result in an elaboration error of
105
; 'component not bound' if the user fails to do so. Avoids the rare
106
; issue of a false dependency upon the unused default binding.
107
; RequireConfigForAllDefaultBinding = 1
108
 
109
; Inhibit range checking on subscripts of arrays. Range checking on
110
; scalars defined with subtypes is inhibited by default.
111
; NoIndexCheck = 1
112
 
113
; Inhibit range checks on all (implicit and explicit) assignments to
114
; scalar objects defined with subtypes.
115
; NoRangeCheck = 1
116
 
117
[vlog]
118
 
119
; Turn off inclusion of debugging info within design units.
120
; Default is to include debugging info.
121
; NoDebug = 1
122
 
123
; Turn on `protect compiler directive processing.
124
; Default is to ignore `protect directives.
125
; Protect = 1
126
 
127
; Turn off "Loading..." messages. Default is messages on.
128
; Quiet = 1
129
 
130
; Turn on Verilog hazard checking (order-dependent accessing of global vars).
131
; Default is off.
132
; Hazard = 1
133
 
134
; Turn on converting regular Verilog identifiers to uppercase. Allows case
135
; insensitivity for module names. Default is no conversion.
136
; UpCase = 1
137
 
138
; Turn on incremental compilation of modules. Default is off.
139
; Incremental = 1
140
 
141
; Activate optimizations on expressions that do not involve signals,
142
; waits, or function/procedure/task invocations. Default is off.
143
; ScalarOpts = 1
144
 
145
; Turns on lint-style checking.
146
; Show_Lint = 1
147
 
148
; Show source line containing error. Default is off.
149
; Show_source = 1
150
 
151
; Turn on bad option warning. Default is off.
152
; Show_BadOptionWarning = 1
153
 
154
; Revert back to IEEE 1364-1995 syntax, default is 0 (off).
155
vlog95compat = 0
156
 
157
[sccom]
158
; Disable SystemC name binding during compilation. Default is off.
159
; NoNameBind = 1
160
 
161
; Enable use of SCV include files and library.  Default is off.
162
; UseScv = 1
163
 
164
; Add C++ compiler options to the sccom command line by using this variable.
165
; CppOptions = -g
166
 
167
; Use custom C++ compiler located at this path rather than ModelSim default.
168
; The path should point directly at a compiler executable.
169
; CppPath = /usr/bin/g++
170
 
171
; Enable verbose messages from sccom.  Default is off.
172
; SccomVerbose = 1
173
 
174
; sccom logfile.  Default is no logfile.
175
; SccomLogfile = sccom.log
176
 
177
 
178
[vsim]
179
; Simulator resolution
180
; Set to fs, ps, ns, us, ms, or sec with optional prefix of 1, 10, or 100.
181
resolution = 1ns
182
 
183
; User time unit for run commands
184
; Set to default, fs, ps, ns, us, ms, or sec. The default is to use the
185
; unit specified for Resolution. For example, if Resolution is 100ps,
186
; then UserTimeUnit defaults to ps.
187
; Should generally be set to default.
188
UserTimeUnit = ns
189
 
190
; Default run length
191
RunLength = 100 ns
192
 
193
; Maximum iterations that can be run without advancing simulation time
194
IterationLimit = 5000
195
 
196
; Directives to license manager can be set either as single value or as
197
; space separated multi-values:
198
; vhdl          Immediately reserve a VHDL license
199
; vlog          Immediately reserve a Verilog license
200
; plus          Immediately reserve a VHDL and Verilog license
201
; nomgc         Do not look for Mentor Graphics Licenses
202
; nomti         Do not look for Model Technology Licenses
203
; noqueue       Do not wait in the license queue when a license is not available
204
; viewsim       Try for viewer license but accept simulator license(s) instead
205
;               of queuing for viewer license (PE ONLY)
206
; Single value:
207
; License = plus
208
; Multi-value:
209
; License = noqueue plus
210
 
211
; Stop the simulator after a VHDL assertion message
212
; 0 = Note  1 = Warning  2 = Error  3 = Failure  4 = Fatal
213
BreakOnAssertion = 3
214
 
215
; VHDL assertion Message Format
216
; %S - Severity Level
217
; %R - Report Message
218
; %T - Time of assertion
219
; %D - Delta
220
; %I - Instance or Region pathname (if available)
221
; %i - Instance pathname with process
222
; %O - Process name
223
; %K - Kind of object path is to return: Instance, Signal, Process or Unknown
224
; %P - Instance or Region path without leaf process
225
; %F - File
226
; %L - Line number of assertion or, if assertion is in a subprogram, line
227
;      from which the call is made
228
; %% - Print '%' character
229
; If specific format for assertion level is defined, use its format.
230
; If specific format is not define for assertion level, use AssertionFormatBreak
231
; if assertion triggers a breakpoint (controlled by BreakOnAssertion level),
232
; otherwise use AssertionFormat.
233
;
234
; AssertionFormat = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
235
; AssertionFormatBreak   = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
236
; AssertionFormatNote    = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
237
; AssertionFormatWarning = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
238
; AssertionFormatError   = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
239
; AssertionFormatFail    = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
240
; AssertionFormatFatal  = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
241
 
242
; Assertion File - alternate file for storing VHDL/PSL assertion messages
243
; AssertFile = assert.log
244
 
245
; Default radix for all windows and commands.
246
; Set to symbolic, ascii, binary, octal, decimal, hex, unsigned
247
DefaultRadix = symbolic
248
 
249
; VSIM Startup command
250
; Startup = do startup.do
251
 
252
; File for saving command transcript
253
TranscriptFile = transcript
254
 
255
; File for saving command history
256
; CommandHistory = cmdhist.log
257
 
258
; Specify whether paths in simulator commands should be described
259
; in VHDL or Verilog format.
260
; For VHDL, PathSeparator = /
261
; For Verilog, PathSeparator = .
262
; Must not be the same character as DatasetSeparator.
263
PathSeparator = /
264
 
265
; Specify the dataset separator for fully rooted contexts.
266
; The default is ':'. For example: sim:/top
267
; Must not be the same character as PathSeparator.
268
DatasetSeparator = :
269
 
270
; Disable VHDL assertion messages
271
; IgnoreNote = 1
272
; IgnoreWarning = 1
273
; IgnoreError = 1
274
; IgnoreFailure = 1
275
 
276
; Default force kind. May be freeze, drive, or deposit
277
; or in other terms, fixed, wired, or charged.
278
; DefaultForceKind = freeze
279
 
280
; If zero, open files when elaborated; otherwise, open files on
281
; first read or write.  Default is 0.
282
; DelayFileOpen = 1
283
 
284
; Control VHDL files opened for write.
285
;   0 = Buffered, 1 = Unbuffered
286
UnbufferedOutput = 0
287
 
288
; Control the number of VHDL files open concurrently.
289
; This number should always be less than the current ulimit
290
; setting for max file descriptors.
291
;   0 = unlimited
292
ConcurrentFileLimit = 40
293
 
294
; Control the number of hierarchical regions displayed as
295
; part of a signal name shown in the Wave window.
296
; A value of zero tells VSIM to display the full name.
297
; The default is 0.
298
; WaveSignalNameWidth = 0
299
 
300
; Turn off warnings from the std_logic_arith, std_logic_unsigned
301
; and std_logic_signed packages.
302
; StdArithNoWarnings = 1
303
 
304
; Turn off warnings from the IEEE numeric_std and numeric_bit packages.
305
; NumericStdNoWarnings = 1
306
 
307
; Control the format of a generate statement label. Do not quote it.
308
; GenerateFormat = %s__%d
309
 
310
; Specify whether checkpoint files should be compressed.
311
; The default is 1 (compressed).
312
; CheckpointCompressMode = 0
313
 
314
; List of dynamically loaded objects for Verilog PLI applications
315
; Veriuser = veriuser.sl
316
 
317
; Specify default options for the restart command. Options can be one
318
; or more of: -force -nobreakpoint -nolist -nolog -nowave -noassertions
319
; DefaultRestartOptions = -force
320
 
321
; HP-UX 10.20 ONLY - Enable memory locking to speed up large designs
322
; (> 500 megabyte memory footprint). Default is disabled.
323
; Specify number of megabytes to lock.
324
; LockedMemory = 1000
325
 
326
; HP-UX 11.00 ONLY - Use /usr/lib/libCsup_v2.sl for shared object loading.
327
; This is necessary when C++ files have been compiled with aCC's -AA option.
328
; The default behavior is to use /usr/lib/libCsup.sl.
329
; UseCsupV2 = 1
330
 
331
; Turn on (1) or off (0) WLF file compression.
332
; The default is 1 (compress WLF file).
333
; WLFCompress = 0
334
 
335
; Specify whether to save all design hierarchy (1) in the WLF file
336
; or only regions containing logged signals (0).
337
; The default is 0 (log only regions with logged signals).
338
; WLFSaveAllRegions = 1
339
 
340
; WLF file time limit.  Limit WLF file by time, as closely as possible,
341
; to the specified amount of simulation time.  When the limit is exceeded
342
; the earliest times get truncated from the file.
343
; If both time and size limits are specified the most restrictive is used.
344
; UserTimeUnits are used if time units are not specified.
345
; The default is 0 (no limit).  Example: WLFTimeLimit = {100 ms}
346
; WLFTimeLimit = 0
347
 
348
; WLF file size limit.  Limit WLF file size, as closely as possible,
349
; to the specified number of megabytes.  If both time and size limits
350
; are specified then the most restrictive is used.
351
; The default is 0 (no limit).
352
; WLFSizeLimit = 1000
353
 
354
; Specify whether or not a WLF file should be deleted when the
355
; simulation ends.  A value of 1 will cause the WLF file to be deleted.
356
; The default is 0 (do not delete WLF file when simulation ends).
357
; WLFDeleteOnQuit = 1
358
 
359
; Specify whether or not a WLF file should be optimized during
360
; simulation.  If set to 0, the WLF file will not be optimized.
361
; The default is 1, optimize the WLF file.
362
; WLFOptimize = 0
363
 
364
; Specify the name of the WLF file.
365
; The default is vsim.wlf
366
; WLFFilename = vsim.wlf
367
 
368
; Specify whether or not integer arrays will appear as memories.
369
; The default is 1 (display integer arrays as memories).
370
; ShowIntMem = 0
371
 
372
; Specify whether or not enumerated type arrays (other than std_logic-based)
373
; will appear as memories.
374
; The default is 1 (display enumerated type arrays as memories).
375
; ShowEnumMem = 0
376
 
377
; Specify whether or not arrays of 3 or more dimensions will appear as memories.
378
; The default is 1 (display 3D+ type arrays as memories).
379
; Show3DMem = 0
380
 
381
; Turn on/off undebuggable SystemC type warnings. Default is on.
382
; ShowUndebuggableScTypeWarning = 0
383
 
384
; Turn on/off unassociated SystemC name warnings. Default is off.
385
; ShowUnassociatedScNameWarning = 1
386
 
387
; Turn on/off PSL assertion pass enable. Default is off.
388
; AssertionPassEnable = 1
389
 
390
; Turn on/off PSL assertion fail enable. Default is on.
391
; AssertionFailEnable = 0
392
 
393
; Set PSL assertion pass limit. Default is 1.
394
; Any positive integer, -1 for infinity.
395
; AssertionPassLimit = -1
396
 
397
; Set PSL assertion fail limit. Default is 1.
398
; Any positive integer, -1 for infinity.
399
; AssertionFailLimit = -1
400
 
401
; Turn on/off PSL assertion pass log. Default is on.
402
; AssertionPassLog = 0
403
 
404
; Turn on/off PSL assertion fail log. Default is on.
405
; AssertionFailLog = 0
406
 
407
; Set action type for PSL assertion fail action. Default is continue.
408
; 0 = Continue  1 = Break  2 = Exit
409
; AssertionFailAction = 1
410
 
411
; Check vsim plusargs.  Default is 0 (off).
412
; 0 = Don't check plusargs
413
; 1 = Warning on unrecognized plusarg
414
; 2 = Error and exit on unrecognized plusarg
415
; CheckPlusargs = 1
416
 
417
[lmc]
418
; ModelSim's interface to Logic Modeling's SmartModel SWIFT software
419
libsm = $MODEL_TECH/libsm.sl
420
; ModelSim's interface to Logic Modeling's SmartModel SWIFT software (Windows NT)
421
; libsm = $MODEL_TECH/libsm.dll
422
;  Logic Modeling's SmartModel SWIFT software (HP 9000 Series 700)
423
; libswift = $LMC_HOME/lib/hp700.lib/libswift.sl
424
;  Logic Modeling's SmartModel SWIFT software (IBM RISC System/6000)
425
; libswift = $LMC_HOME/lib/ibmrs.lib/swift.o
426
;  Logic Modeling's SmartModel SWIFT software (Sun4 Solaris)
427
; libswift = $LMC_HOME/lib/sun4Solaris.lib/libswift.so
428
;  Logic Modeling's SmartModel SWIFT software (Windows NT)
429
; libswift = $LMC_HOME/lib/pcnt.lib/libswift.dll
430
;  Logic Modeling's SmartModel SWIFT software (Linux)
431
; libswift = $LMC_HOME/lib/x86_linux.lib/libswift.so
432
 
433
; ModelSim's interface to Logic Modeling's hardware modeler SFI software
434
libhm = $MODEL_TECH/libhm.sl
435
; ModelSim's interface to Logic Modeling's hardware modeler SFI software (Windows NT)
436
; libhm = $MODEL_TECH/libhm.dll
437
;  Logic Modeling's hardware modeler SFI software (HP 9000 Series 700)
438
; libsfi = /lib/hp700/libsfi.sl
439
;  Logic Modeling's hardware modeler SFI software (IBM RISC System/6000)
440
; libsfi = /lib/rs6000/libsfi.a
441
;  Logic Modeling's hardware modeler SFI software (Sun4 Solaris)
442
; libsfi = /lib/sun4.solaris/libsfi.so
443
;  Logic Modeling's hardware modeler SFI software (Windows NT)
444
; libsfi = /lib/pcnt/lm_sfi.dll
445
;  Logic Modeling's hardware modeler SFI software (Linux)
446
; libsfi = /lib/linux/libsfi.so
447
[Project]
448
Project_Version = 5
449
Project_DefaultLib = work
450
Project_SortMethod = unused
451
Project_Files_Count = 7
452
Project_File_0 = D:/LWRISC/RTL/test.v
453
Project_File_P_0 = vlog_protect 0 file_type Verilog group_id 0 vlog_1995compat 0 vlog_nodebug 0 folder {Top Level} last_compile 0 vlog_noload 0 vlog_disableopt 0 vlog_hazard 0 vlog_showsource 0 ood 1 vlog_options {} vlog_upper 0 compile_to work compile_order 6 dont_compile 0 cover_stmt 1
454
Project_File_1 = D:/LWRISC/SIM/clairisc_def.h
455
Project_File_P_1 = compile_order 2 last_compile 0 folder {Top Level} dont_compile 0 group_id 0 file_type SystemC ood 1 compile_to work
456
Project_File_2 = D:/LWRISC/RTL/risc_core.v
457
Project_File_P_2 = vlog_protect 0 file_type Verilog group_id 0 vlog_1995compat 0 vlog_nodebug 0 folder {Top Level} last_compile 0 vlog_noload 0 vlog_disableopt 0 vlog_hazard 0 vlog_showsource 0 ood 1 vlog_options {} vlog_upper 0 compile_to work compile_order 4 dont_compile 0 cover_stmt 1
458
Project_File_3 = D:/LWRISC/RTL/memory.v
459
Project_File_P_3 = vlog_protect 0 file_type Verilog group_id 0 vlog_1995compat 0 vlog_nodebug 0 folder {Top Level} last_compile 0 vlog_noload 0 vlog_disableopt 0 vlog_hazard 0 vlog_showsource 0 ood 1 vlog_options {} vlog_upper 0 compile_to work compile_order 3 dont_compile 0 cover_stmt 1
460
Project_File_4 = D:/LWRISC/SIM/rom_set.h
461
Project_File_P_4 = compile_order 1 last_compile 0 folder {Top Level} dont_compile 0 group_id 0 file_type SystemC ood 1 compile_to work
462
Project_File_5 = D:/LWRISC/RTL/sim_rom.v
463
Project_File_P_5 = vlog_protect 0 file_type Verilog group_id 0 vlog_1995compat 0 vlog_nodebug 0 folder {Top Level} last_compile 0 vlog_noload 0 vlog_disableopt 0 vlog_hazard 0 vlog_showsource 0 ood 1 vlog_options {} vlog_upper 0 compile_to work compile_order 5 dont_compile 0 cover_stmt 1
464
Project_File_6 = D:/LWRISC/RTL/mem_man.v
465
Project_File_P_6 = vlog_protect 0 file_type Verilog group_id 0 vlog_1995compat 0 vlog_nodebug 0 folder {Top Level} last_compile 0 vlog_noload 0 vlog_disableopt 0 vlog_hazard 0 vlog_showsource 0 ood 1 vlog_options {} vlog_upper 0 compile_to work compile_order 0 dont_compile 0 cover_stmt 1
466
Project_Sim_Count = 0
467
Project_Folder_Count = 0
468
Echo_Compile_Output = 0
469
Save_Compile_Report = 1
470
VHDL_DoubleClick = Edit
471
VERILOG_DoubleClick = Edit
472
SYSTEMC_DoubleClick = Edit
473
TCL_DoubleClick = Edit
474
TEXT_DoubleClick = Edit
475
VHDL_CustomDoubleClick =
476
VERILOG_CustomDoubleClick =
477
SYSTEMC_CustomDoubleClick =
478
TCL_CustomDoubleClick =
479
TEXT_CustomDoubleClick =
480
ForceSoftPaths = 0

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.