source: trunk/platforms/dsx/v1_1cluster_phys_dma/modelsim.ini @ 174

Last change on this file since 174 was 93, checked in by choichil, 14 years ago

Platform with DMA

File size: 52.3 KB
Line 
1; Copyright 1991-2009 Mentor Graphics Corporation
2;
3; All Rights Reserved.
4;
5; THIS WORK CONTAINS TRADE SECRET AND PROPRIETARY INFORMATION WHICH IS THE PROPERTY OF
6; MENTOR GRAPHICS CORPORATION OR ITS LICENSORS AND IS SUBJECT TO LICENSE TERMS.
7;   
8
9[Library]
10others = $MODEL_TECH/../modelsim.ini
11;vhdl_psl_checkers = $MODEL_TECH/../vhdl_psl_checkers       // Source files only for this release
12;verilog_psl_checkers = $MODEL_TECH/../verilog_psl_checkers // Source files only for this release
13;mvc_lib = $MODEL_TECH/../mvc_lib
14
15work = 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; Value of 3 or 2008 for VHDL-2008
23VHDL93 = 2002
24
25; Show source line containing error. Default is off.
26; Show_source = 1
27
28; Turn off unbound-component warnings. Default is on.
29; Show_Warning1 = 0
30
31; Turn off process-without-a-wait-statement warnings. Default is on.
32; Show_Warning2 = 0
33
34; Turn off null-range warnings. Default is on.
35; Show_Warning3 = 0
36
37; Turn off no-space-in-time-literal warnings. Default is on.
38; Show_Warning4 = 0
39
40; Turn off multiple-drivers-on-unresolved-signal warnings. Default is on.
41; Show_Warning5 = 0
42
43; Turn off optimization for IEEE std_logic_1164 package. Default is on.
44; Optimize_1164 = 0
45
46; Turn on resolving of ambiguous function overloading in favor of the
47; "explicit" function declaration (not the one automatically created by
48; the compiler for each type declaration). Default is off.
49; The .ini file has Explicit enabled so that std_logic_signed/unsigned
50; will match the behavior of synthesis tools.
51Explicit = 1
52
53; Turn off acceleration of the VITAL packages. Default is to accelerate.
54; NoVital = 1
55
56; Turn off VITAL compliance checking. Default is checking on.
57; NoVitalCheck = 1
58
59; Ignore VITAL compliance checking errors. Default is to not ignore.
60; IgnoreVitalErrors = 1
61
62; Turn off VITAL compliance checking warnings. Default is to show warnings.
63; Show_VitalChecksWarnings = 0
64
65; Turn off PSL assertion warning messages. Default is to show warnings.
66; Show_PslChecksWarnings = 0
67
68; Enable parsing of embedded PSL assertions. Default is enabled.
69; EmbeddedPsl = 0
70
71; Keep silent about case statement static warnings.
72; Default is to give a warning.
73; NoCaseStaticError = 1
74
75; Keep silent about warnings caused by aggregates that are not locally static.
76; Default is to give a warning.
77; NoOthersStaticError = 1
78
79; Treat as errors:
80;   case statement static warnings
81;   warnings caused by aggregates that are not locally static
82; Overrides NoCaseStaticError, NoOthersStaticError settings.
83; PedanticErrors = 1
84
85; Turn off inclusion of debugging info within design units.
86; Default is to include debugging info.
87; NoDebug = 1
88
89; Turn off "Loading..." messages. Default is messages on.
90; Quiet = 1
91
92; Turn on some limited synthesis rule compliance checking. Checks only:
93;    -- signals used (read) by a process must be in the sensitivity list
94; CheckSynthesis = 1
95
96; Activate optimizations on expressions that do not involve signals,
97; waits, or function/procedure/task invocations. Default is off.
98; ScalarOpts = 1
99
100; Turns on lint-style checking.
101; Show_Lint = 1
102
103; Require the user to specify a configuration for all bindings,
104; and do not generate a compile time default binding for the
105; component. This will result in an elaboration error of
106; 'component not bound' if the user fails to do so. Avoids the rare
107; issue of a false dependency upon the unused default binding.
108; RequireConfigForAllDefaultBinding = 1
109
110; Perform default binding at compile time.
111; Default is to do default binding at load time.
112; BindAtCompile = 1;
113
114; Inhibit range checking on subscripts of arrays. Range checking on
115; scalars defined with subtypes is inhibited by default.
116; NoIndexCheck = 1
117
118; Inhibit range checks on all (implicit and explicit) assignments to
119; scalar objects defined with subtypes.
120; NoRangeCheck = 1
121
122; Run the 0-in compiler on the VHDL source files
123; Default is off.
124; ZeroIn = 1
125
126; Set the options to be passed to the 0-in compiler.
127; Default is "".
128; ZeroInOptions = ""
129
130; Turn on code coverage in VHDL design units. Default is off.
131; Coverage = sbceft
132
133; Turn off code coverage in VHDL subprograms. Default is on.
134; CoverageSub = 0
135
136; Automatically exclude VHDL case statement default branches.
137; Default is to not exclude.
138; CoverExcludeDefault = 1
139
140; Control compiler and VOPT optimizations that are allowed when
141; code coverage is on.  Refer to the comment for this in the [vlog] area.
142; CoverOpt = 3
143
144; Inform code coverage optimizations to respect VHDL 'H' and 'L'
145; values on signals in conditions and expressions, and to not automatically
146; convert them to '1' and '0'. Default is to not convert.
147; CoverRespectHandL = 0
148
149; Increase or decrease the maximum number of rows allowed in a UDP table
150; implementing a VHDL condition coverage or expression coverage expression.
151; More rows leads to a longer compile time, but more expressions covered.
152; CoverMaxUDPRows = 192
153
154; Increase or decrease the maximum number of input patterns that are present
155; in FEC table. This leads to a longer compile time with more expressions
156; covered with FEC metric.
157; CoverMaxFECRows = 192
158
159; Enable or disable Focused Expression Coverage analysis for conditions and
160; expressions. Focused Expression Coverage data is provided by default when
161; expression and/or condition coverage is active.
162; CoverFEC = 0
163
164; Enable or disable short circuit evaluation of conditions and expressions when
165; condition or expression coverage is active. Short circuit evaluation is enabled
166; by default.
167; CoverShortCircuit = 0
168
169; Use this directory for compiler temporary files instead of "work/_temp"
170; CompilerTempDir = /tmp
171
172; Set this to cause the compilers to force data to be committed to disk
173; when the files are closed.
174; SyncCompilerFiles = 1
175
176; Add VHDL-AMS declarations to package STANDARD
177; Default is not to add
178; AmsStandard = 1
179
180; Range and length checking will be performed on array indices and discrete
181; ranges, and when violations are found within subprograms, errors will be
182; reported. Default is to issue warnings for violations, because subprograms
183; may not be invoked.
184; NoDeferSubpgmCheck = 0
185
186; Turn off detection of FSMs having single bit current state variable.
187; FsmSingle = 0
188
189; Turn off reset state transitions in FSM.
190; FsmResetTrans = 0
191
192; Do not show immediate assertions with constant expressions in
193; GUI/report/UCDB etc. By default immediate assertions with constant
194; expressions are shown in GUI/report/UCDB etc. This does not affect ;
195; evaluation of immediate assertions.
196; ShowConstantImmediateAsserts = 0
197
198[vlog]
199; Turn off inclusion of debugging info within design units.
200; Default is to include debugging info.
201; NoDebug = 1
202
203; Turn on `protect compiler directive processing.
204; Default is to ignore `protect directives.
205; Protect = 1
206
207; Turn off "Loading..." messages. Default is messages on.
208; Quiet = 1
209
210; Turn on Verilog hazard checking (order-dependent accessing of global vars).
211; Default is off.
212; Hazard = 1
213
214; Turn on converting regular Verilog identifiers to uppercase. Allows case
215; insensitivity for module names. Default is no conversion.
216; UpCase = 1
217
218; Activate optimizations on expressions that do not involve signals,
219; waits, or function/procedure/task invocations. Default is off.
220; ScalarOpts = 1
221
222; Turns on lint-style checking.
223; Show_Lint = 1
224
225; Show source line containing error. Default is off.
226; Show_source = 1
227
228; Turn on bad option warning. Default is off.
229; Show_BadOptionWarning = 1
230
231; Revert back to IEEE 1364-1995 syntax, default is 0 (off).
232; vlog95compat = 1
233
234; Turn off PSL warning messages. Default is to show warnings.
235; Show_PslChecksWarnings = 0
236
237; Enable parsing of embedded PSL assertions. Default is enabled.
238; EmbeddedPsl = 0
239
240; Set the threshold for automatically identifying sparse Verilog memories.
241; A memory with depth equal to or more than the sparse memory threshold gets
242; marked as sparse automatically, unless specified otherwise in source code
243; or by +nosparse commandline option of vlog or vopt.
244; The default is 1M.  (i.e. memories with depth equal
245; to or greater than 1M are marked as sparse)
246; SparseMemThreshold = 1048576
247
248; Run the 0-in compiler on the Verilog source files
249; Default is off.
250; ZeroIn = 1
251
252; Set the options to be passed to the 0-in compiler.
253; Default is "".
254; ZeroInOptions = ""
255
256; Set the option to treat all files specified in a vlog invocation as a
257; single compilation unit. The default value is set to 0 which will treat
258; each file as a separate compilation unit as specified in the P1800 draft standard.
259; MultiFileCompilationUnit = 1
260
261; Turn on code coverage in Verilog design units. Default is off.
262; Coverage = sbceft
263
264; Automatically exclude Verilog case statement default branches.
265; Default is to not automatically exclude defaults.
266; CoverExcludeDefault = 1
267
268; Increase or decrease the maximum number of rows allowed in a UDP table
269; implementing a Verilog condition coverage or expression coverage expression.
270; More rows leads to a longer compile time, but more expressions covered.
271; CoverMaxUDPRows = 192
272
273; Increase or decrease the maximum number of input patterns that are present
274; in FEC table. This leads to a longer compile time with more expressions
275; covered with FEC metric.
276; CoverMaxFECRows = 192
277
278; Enable or disable Focused Expression Coverage analysis for conditions and
279; expressions. Focused Expression Coverage data is provided by default when
280; expression and/or condition coverage is active.
281; CoverFEC = 0
282
283; Enable or disable short circuit evaluation of conditions and expressions when
284; condition or expression coverage is active. Short circuit evaluation is enabled
285; by default.
286; CoverShortCircuit = 0
287
288
289; Turn on code coverage in VLOG `celldefine modules and modules included
290; using vlog -v and -y. Default is off.
291; CoverCells = 1
292
293; Control compiler and VOPT optimizations that are allowed when
294; code coverage is on. This is a number from 1 to 4, with the following
295; meanings (the default is 3):
296;    1 -- Turn off all optimizations that affect coverage reports.
297;    2 -- Allow optimizations that allow large performance improvements
298;         by invoking sequential processes only when the data changes.
299;         This may make major reductions in coverage counts.
300;    3 -- In addition, allow optimizations that may change expressions or
301;         remove some statements. Allow constant propagation. Allow VHDL
302;         subprogram inlining and VHDL FF recognition.
303;    4 -- In addition, allow optimizations that may remove major regions of
304;         code by changing assignments to built-ins or removing unused
305;         signals. Change Verilog gates to continuous assignments.
306; CoverOpt = 3
307
308; Specify the override for the default value of "cross_num_print_missing"
309; option for the Cross in Covergroups. If not specified then LRM default
310; value of 0 (zero) is used. This is a compile time option.
311; SVCrossNumPrintMissingDefault = 0
312
313; Setting following to 1 would cause creation of variables which
314; would represent the value of Coverpoint expressions. This is used
315; in conjunction with "SVCoverpointExprVariablePrefix" option
316; in the modelsim.ini
317; EnableSVCoverpointExprVariable = 0
318
319; Specify the override for the prefix used in forming the variable names
320; which represent the Coverpoint expressions. This is used in conjunction with
321; "EnableSVCoverpointExprVariable" option of the modelsim.ini
322; The default prefix is "expr".
323; The variable name is
324;    variable name => <prefix>_<coverpoint name>
325; SVCoverpointExprVariablePrefix = expr
326
327; Override for the default value of the SystemVerilog covergroup,
328; coverpoint, and cross option.goal (defined to be 100 in the LRM).
329; NOTE: It does not override specific assignments in SystemVerilog
330; source code. NOTE: The modelsim.ini variable "SVCovergroupGoal"
331; in the [vsim] section can override this value.
332; SVCovergroupGoalDefault = 100
333
334; Override for the default value of the SystemVerilog covergroup,
335; coverpoint, and cross type_option.goal (defined to be 100 in the LRM)
336; NOTE: It does not override specific assignments in SystemVerilog
337; source code. NOTE: The modelsim.ini variable "SVCovergroupTypeGoal"
338; in the [vsim] section can override this value.
339; SVCovergroupTypeGoalDefault = 100
340
341; Specify the override for the default value of "strobe" option for the
342; Covergroup Type. This is a compile time option which forces "strobe" to
343; a user specified default value and supersedes SystemVerilog specified
344; default value of '0'(zero). NOTE: This can be overriden by a runtime
345; modelsim.ini variable "SVCovergroupStrobe" in the [vsim] section.
346; SVCovergroupStrobeDefault = 0
347
348; Specify the override for the default value of "merge_instances" option for
349; the Covergroup Type. This is a compile time option which forces
350; "merge_instances" to a user specified default value and supersedes
351; SystemVerilog specified default value of '0'(zero).
352; SVCovergroupMergeInstancesDefault = 0
353
354; Specify the override for the default value of "per_instance" option for the
355; Covergroup variables. This is a compile time option which forces "per_instance"
356; to a user specified default value and supersedes SystemVerilog specified
357; default value of '0'(zero).
358; SVCovergroupPerInstanceDefault = 0
359
360; Specify the override for the default value of "get_inst_coverage" option for the
361; Covergroup variables. This is a compile time option which forces
362; "get_inst_coverage" to a user specified default value and supersedes
363; SystemVerilog specified default value of '0'(zero).
364; SVCovergroupGetInstCoverageDefault = 0
365
366;
367; A space separated list of resource libraries that contain precompiled
368; packages.  The behavior is identical to using the "-L" switch.
369;
370; LibrarySearchPath = <path/lib> [<path/lib> ...]
371LibrarySearchPath = mtiAvm mtiOvm mtiUPF
372
373; The behavior is identical to the "-mixedansiports" switch.  Default is off.
374; MixedAnsiPorts = 1
375
376; Enable SystemVerilog 3.1a $typeof() function. Default is off.
377; EnableTypeOf = 1
378
379; Only allow lower case pragmas. Default is disabled.
380; AcceptLowerCasePragmaOnly = 1
381
382; Set the maximum depth permitted for a recursive include file nesting.
383; IncludeRecursionDepthMax = 5
384
385; Turn off detection of FSMs having single bit current state variable.
386; FsmSingle = 0
387
388; Turn off reset state transitions in FSM.
389; FsmResetTrans = 0
390
391; Turn off detections of FSMs having x-assignment.
392; FsmXAssign = 0
393
394; List of file suffixes which will be read as SystemVerilog.  White space
395; in extensions can be specified with a back-slash: "\ ".  Back-slashes
396; can be specified with two consecutive back-slashes: "\\";
397; SVFileExtensions = sv svp svh
398
399; This setting is the same as the vlog -sv command line switch.
400; Enables SystemVerilog features and keywords when true (1).
401; When false (0), the rules of IEEE Std 1364-2001 are followed and
402; SystemVerilog keywords are ignored.
403; Svlog = 0
404
405; Prints attribute placed upon SV packages during package import
406; when true (1).  The attribute will be ignored when this
407; entry is false (0). The attribute name is "package_load_message".
408; The value of this attribute is a string literal.
409; Default is true (1).
410; PrintSVPackageLoadingAttribute = 1
411
412; Do not show immediate assertions with constant expressions in
413; GUI/reports/UCDB etc. By default immediate assertions with constant
414; expressions are shown in GUI/reports/UCDB etc. This does not affect
415; evaluation of immediate assertions.
416; ShowConstantImmediateAsserts = 0
417
418[sccom]
419; Enable use of SCV include files and library.  Default is off.
420; UseScv = 1
421
422; Add C++ compiler options to the sccom command line by using this variable.
423; CppOptions = -g
424
425; Use custom C++ compiler located at this path rather than the default path.
426; The path should point directly at a compiler executable.
427; CppPath = /usr/bin/g++
428
429; Enable verbose messages from sccom.  Default is off.
430; SccomVerbose = 1
431
432; sccom logfile.  Default is no logfile.
433; SccomLogfile = sccom.log
434
435; Enable use of SC_MS include files and library.  Default is off.
436; UseScMs = 1
437
438[vopt]
439; Turn on code coverage in vopt.  Default is off.
440; Coverage = sbceft
441
442; Control compiler optimizations that are allowed when
443; code coverage is on.  Refer to the comment for this in the [vlog] area.
444; CoverOpt = 3
445
446; Increase or decrease the maximum number of rows allowed in a UDP table
447; implementing a vopt condition coverage or expression coverage expression.
448; More rows leads to a longer compile time, but more expressions covered.
449; CoverMaxUDPRows = 192
450
451; Increase or decrease the maximum number of input patterns that are present
452; in FEC table. This leads to a longer compile time with more expressions
453; covered with FEC metric.
454; CoverMaxFECRows = 192
455
456; Do not show immediate assertions with constant expressions in
457; GUI/reports/UCDB etc. By default immediate assertions with constant
458; expressions are shown in GUI/reports/UCDB etc. This does not affect
459; evaluation of immediate assertions.
460; ShowConstantImmediateAsserts = 0
461
462; Set the maximum number of iterations permitted for a generate loop.
463; Restricting this permits the implementation to recognize infinite
464; generate loops.
465; GenerateLoopIterationMax = 100000
466
467; Set the maximum depth permitted for a recursive generate instantiation.
468; Restricting this permits the implementation to recognize infinite
469; recursions.
470; GenerateRecursionDepthMax = 200
471
472
473[vsim]
474; vopt flow
475; Set to turn on automatic optimization of a design.
476; Default is on
477VoptFlow = 1
478
479; vopt automatic SDF
480; If automatic design optimization is on, enables automatic compilation
481; of SDF files.
482; Default is on, uncomment to turn off.
483; VoptAutoSDFCompile = 0
484
485; Automatic SDF compilation
486; Disables automatic compilation of SDF files in flows that support it.
487; Default is on, uncomment to turn off.
488; NoAutoSDFCompile = 1
489
490; Simulator resolution
491; Set to fs, ps, ns, us, ms, or sec with optional prefix of 1, 10, or 100.
492Resolution = ns
493
494; Disable certain code coverage exclusions automatically.
495; Assertions and FSM are exluded from the code coverage by default
496; Set AutoExclusionsDisable = fsm to enable code coverage for fsm
497; Set AutoExclusionsDisable = assertions to enable code coverage for assertions
498; Set AutoExclusionsDisable = all to enable code coverage for all the automatic exclusions
499; Or specify comma or space separated list
500;AutoExclusionsDisable = fsm,assertions
501
502; User time unit for run commands
503; Set to default, fs, ps, ns, us, ms, or sec. The default is to use the
504; unit specified for Resolution. For example, if Resolution is 100ps,
505; then UserTimeUnit defaults to ps.
506; Should generally be set to default.
507UserTimeUnit = default
508
509; Default run length
510RunLength = 100
511
512; Maximum iterations that can be run without advancing simulation time
513IterationLimit = 5000
514
515; Control PSL and Verilog Assume directives during simulation
516; Set SimulateAssumeDirectives = 0 to disable assume being simulated as asserts
517; Set SimulateAssumeDirectives = 1 to enable assume simulation as asserts
518; SimulateAssumeDirectives = 1
519
520; Control the simulation of PSL and SVA
521; These switches can be overridden by the vsim command line switches:
522;    -psl, -nopsl, -sva, -nosva.
523; Set SimulatePSL = 0 to disable PSL simulation
524; Set SimulatePSL = 1 to enable PSL simulation (default)
525; SimulatePSL = 1
526; Set SimulateSVA = 0 to disable SVA simulation
527; Set SimulateSVA = 1 to enable concurrent SVA simulation (default)
528; SimulateSVA = 1
529
530; Directives to license manager can be set either as single value or as
531; space separated multi-values:
532; vhdl          Immediately reserve a VHDL license
533; vlog          Immediately reserve a Verilog license
534; plus          Immediately reserve a VHDL and Verilog license
535; nomgc         Do not look for Mentor Graphics Licenses
536; nomti         Do not look for Model Technology Licenses
537; noqueue       Do not wait in the license queue when a license is not available
538; viewsim       Try for viewer license but accept simulator license(s) instead
539;               of queuing for viewer license (PE ONLY)
540; noviewer      Disable checkout of msimviewer and vsim-viewer license
541;               features (PE ONLY)
542; noslvhdl      Disable checkout of qhsimvh and vsim license features
543; noslvlog      Disable checkout of qhsimvl and vsimvlog license features
544; nomix         Disable checkout of msimhdlmix and hdlmix license features
545; nolnl         Disable checkout of msimhdlsim and hdlsim license features
546; mixedonly     Disable checkout of qhsimvh,qhsimvl,vsim,vsimvlog license
547;               features
548; lnlonly       Disable checkout of qhsimvh,qhsimvl,vsim,vsimvlog,msimhdlmix,
549;               hdlmix license features
550; Single value:
551; License = plus
552; Multi-value:
553; License = noqueue plus
554
555; Stop the simulator after a VHDL/Verilog immediate assertion message
556; 0 = Note  1 = Warning  2 = Error  3 = Failure  4 = Fatal
557BreakOnAssertion = 3
558
559; VHDL assertion Message Format
560; %S - Severity Level
561; %R - Report Message
562; %T - Time of assertion
563; %D - Delta
564; %I - Instance or Region pathname (if available)
565; %i - Instance pathname with process
566; %O - Process name
567; %K - Kind of object path is to return: Instance, Signal, Process or Unknown
568; %P - Instance or Region path without leaf process
569; %F - File
570; %L - Line number of assertion or, if assertion is in a subprogram, line
571;      from which the call is made
572; %% - Print '%' character
573; If specific format for assertion level is defined, use its format.
574; If specific format is not defined for assertion level:
575; - and if failure occurs during elaboration, use MessageFormatBreakLine;
576; - and if assertion triggers a breakpoint (controlled by BreakOnAssertion
577;   level), use MessageFormatBreak;
578; - otherwise, use MessageFormat.
579; MessageFormatBreakLine = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F Line: %L\n"
580; MessageFormatBreak     = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
581; MessageFormat          = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
582; MessageFormatNote      = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
583; MessageFormatWarning   = "** %S: %R\n   Time: %T  Iteration: %D%I\n"
584; MessageFormatError     = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
585; MessageFormatFail      = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
586; MessageFormatFatal     = "** %S: %R\n   Time: %T  Iteration: %D  %K: %i File: %F\n"
587
588; Error File - alternate file for storing error messages
589; ErrorFile = error.log
590
591
592; Simulation Breakpoint messages
593; This flag controls the display of function names when reporting the location
594; where the simulator stops do to a breakpoint or fatal error.
595; Example w/function name:  # Break in Process ctr at counter.vhd line 44
596; Example wo/function name: # Break at counter.vhd line 44
597ShowFunctions = 1
598
599; Default radix for all windows and commands.
600; Set to symbolic, ascii, binary, octal, decimal, hex, unsigned
601DefaultRadix = symbolic
602
603; VSIM Startup command
604; Startup = do startup.do
605
606; VSIM Shutdown file
607; Filename to save u/i formats and configurations.
608; ShutdownFile = restart.do
609; To explicitly disable auto save:
610; ShutdownFile = --disable-auto-save
611
612; File for saving command transcript
613TranscriptFile = transcript
614
615; File for saving command history
616; CommandHistory = cmdhist.log
617
618; Specify whether paths in simulator commands should be described
619; in VHDL or Verilog format.
620; For VHDL, PathSeparator = /
621; For Verilog, PathSeparator = .
622; Must not be the same character as DatasetSeparator.
623PathSeparator = /
624
625; Specify the dataset separator for fully rooted contexts.
626; The default is ':'. For example: sim:/top
627; Must not be the same character as PathSeparator.
628DatasetSeparator = :
629
630; Specify a unique path separator for the Signal Spy set of functions.
631; The default will be to use the PathSeparator variable.
632; Must not be the same character as DatasetSeparator.
633; SignalSpyPathSeparator = /
634
635; Used to control parsing of HDL identifiers input to the tool.
636; This includes CLI commands, vsim/vopt/vlog/vcom options,
637; string arguments to FLI/VPI/DPI calls, etc.
638; If set to 1, accept either Verilog escaped Id syntax or
639; VHDL extended id syntax, regardless of source language.
640; If set to 0, the syntax of the source language must be used.
641; Each identifier in a hierarchical name may need different syntax,
642; e.g. "/top/\vhdl*ext*id\/middle/\vlog*ext*id /bottom" or
643;       "top.\vhdl*ext*id\.middle.\vlog*ext*id .bottom"
644; GenerousIdentifierParsing = 1
645
646; Disable VHDL assertion messages
647; IgnoreNote = 1
648; IgnoreWarning = 1
649; IgnoreError = 1
650; IgnoreFailure = 1
651
652; Disable System Verilog assertion messages
653; IgnoreSVAInfo = 1
654; IgnoreSVAWarning = 1
655; IgnoreSVAError = 1
656; IgnoreSVAFatal = 1
657
658; Do not print any additional information from Severity System tasks.
659; Only the message provided by the user is printed along with severity
660; information.
661; SVAPrintOnlyUserMessage = 1;
662
663; Default force kind. May be freeze, drive, deposit, or default
664; or in other terms, fixed, wired, or charged.
665; A value of "default" will use the signal kind to determine the
666; force kind, drive for resolved signals, freeze for unresolved signals
667; DefaultForceKind = freeze
668
669; If zero, open files when elaborated; otherwise, open files on
670; first read or write.  Default is 0.
671; DelayFileOpen = 1
672
673; Control VHDL files opened for write.
674;   0 = Buffered, 1 = Unbuffered
675UnbufferedOutput = 0
676
677; Control the number of VHDL files open concurrently.
678; This number should always be less than the current ulimit
679; setting for max file descriptors.
680;   0 = unlimited
681ConcurrentFileLimit = 40
682
683; Control the number of hierarchical regions displayed as
684; part of a signal name shown in the Wave window.
685; A value of zero tells VSIM to display the full name.
686; The default is 0.
687; WaveSignalNameWidth = 0
688
689; Turn off warnings when changing VHDL constants and generics
690; Default is 1 to generate warning messages
691; WarnConstantChange = 0
692
693; Turn off warnings from the std_logic_arith, std_logic_unsigned
694; and std_logic_signed packages.
695; StdArithNoWarnings = 1
696
697; Turn off warnings from the IEEE numeric_std and numeric_bit packages.
698; NumericStdNoWarnings = 1
699
700; Control the format of the (VHDL) FOR generate statement label
701; for each iteration.  Do not quote it.
702; The format string here must contain the conversion codes %s and %d,
703; in that order, and no other conversion codes.  The %s represents
704; the generate_label; the %d represents the generate parameter value
705; at a particular generate iteration (this is the position number if
706; the generate parameter is of an enumeration type).  Embedded whitespace
707; is allowed (but discouraged); leading and trailing whitespace is ignored.
708; Application of the format must result in a unique scope name over all
709; such names in the design so that name lookup can function properly.
710; GenerateFormat = %s__%d
711
712; Specify whether checkpoint files should be compressed.
713; The default is 1 (compressed).
714; CheckpointCompressMode = 0
715
716; Specify whether to enable SystemVerilog DPI "out-of-the-blue" calls.
717; The term "out-of-the-blue" refers to SystemVerilog export function calls
718; made from C functions that don't have the proper context setup
719; (as is the case when running under "DPI-C" import functions).
720; When this is enabled, one can call a DPI export function
721; (but not task) from any C code.
722; the setting of this variable can be one of the following values:
723; 0 : dpioutoftheblue call is disabled (default)
724; 1 : dpioutoftheblue call is enabled, but export call debug support is not available.
725; 2 : dpioutoftheblue call is enabled, and limited export call debug support is available.
726; DpiOutOfTheBlue = 1
727
728; Specify whether continuous assignments are run before other normal priority
729; processes scheduled in the same iteration. This event ordering minimizes race
730; differences between optimized and non-optimized designs, and is the default
731; behavior beginning with the 6.5 release. For pre-6.5 event ordering, set
732; ImmediateContinuousAssign to 0.
733; The default is 1 (enabled).
734; ImmediateContinuousAssign = 0
735
736; List of dynamically loaded objects for Verilog PLI applications
737; Veriuser = veriuser.sl
738
739; Which default VPI object model should the tool conform to?
740; The 1364 modes are Verilog-only, for backwards compatibility with older
741; libraries, and SystemVerilog objects are not available in these modes.
742;
743; In the absence of a user-specified default, the tool default is the
744; latest available LRM behavior.
745; Options for PliCompatDefault are:
746;  VPI_COMPATIBILITY_VERSION_1364v1995
747;  VPI_COMPATIBILITY_VERSION_1364v2001
748;  VPI_COMPATIBILITY_VERSION_1364v2005
749;  VPI_COMPATIBILITY_VERSION_1800v2005
750;  VPI_COMPATIBILITY_VERSION_1800v2008
751;
752; Synonyms for each string are also recognized:
753;  VPI_COMPATIBILITY_VERSION_1364v1995 (1995, 95, 1364v1995, 1364V1995, VL1995)
754;  VPI_COMPATIBILITY_VERSION_1364v2001 (2001, 01, 1364v2001, 1364V2001, VL2001)
755;  VPI_COMPATIBILITY_VERSION_1364v2005 (1364v2005, 1364V2005, VL2005)
756;  VPI_COMPATIBILITY_VERSION_1800v2005 (2005, 05, 1800v2005, 1800V2005, SV2005)
757;  VPI_COMPATIBILITY_VERSION_1800v2008 (2008, 08, 1800v2008, 1800V2008, SV2008)
758
759
760; PliCompatDefault = VPI_COMPATIBILITY_VERSION_1800v2005
761
762; Specify default options for the restart command. Options can be one
763; or more of: -force -nobreakpoint -nolist -nolog -nowave -noassertions
764; DefaultRestartOptions = -force
765
766; Turn on (1) or off (0) WLF file compression.
767; The default is 1 (compress WLF file).
768; WLFCompress = 0
769
770; Specify whether to save all design hierarchy (1) in the WLF file
771; or only regions containing logged signals (0).
772; The default is 0 (save only regions with logged signals).
773; WLFSaveAllRegions = 1
774
775; WLF file time limit.  Limit WLF file by time, as closely as possible,
776; to the specified amount of simulation time.  When the limit is exceeded
777; the earliest times get truncated from the file.
778; If both time and size limits are specified the most restrictive is used.
779; UserTimeUnits are used if time units are not specified.
780; The default is 0 (no limit).  Example: WLFTimeLimit = {100 ms}
781; WLFTimeLimit = 0
782
783; WLF file size limit.  Limit WLF file size, as closely as possible,
784; to the specified number of megabytes.  If both time and size limits
785; are specified then the most restrictive is used.
786; The default is 0 (no limit).
787; WLFSizeLimit = 1000
788
789; Specify whether or not a WLF file should be deleted when the
790; simulation ends.  A value of 1 will cause the WLF file to be deleted.
791; The default is 0 (do not delete WLF file when simulation ends).
792; WLFDeleteOnQuit = 1
793
794; Specify whether or not a WLF file should be indexed during
795; simulation.  If set to 0, the WLF file will not be indexed.
796; The default is 1, indexed the WLF file.
797; WLFIndex = 0
798
799; Specify whether or not a WLF file should be optimized during
800; simulation.  If set to 0, the WLF file will not be optimized.
801; The default is 1, optimize the WLF file.
802; WLFOptimize = 0
803
804; Specify the name of the WLF file.
805; The default is vsim.wlf
806; WLFFilename = vsim.wlf
807
808; Specify the WLF reader cache size limit for each open WLF file. 
809; The size is giving in megabytes.  A value of 0 turns off the
810; WLF cache.
811; WLFSimCacheSize allows a different cache size to be set for
812; simulation WLF file independent of post-simulation WLF file
813; viewing.  If WLFSimCacheSize is not set it defaults to the
814; WLFCacheSize setting.
815; The default WLFCacheSize setting is enabled to 256M per open WLF file.
816; WLFCacheSize = 2000
817; WLFSimCacheSize = 500
818
819; Specify the WLF file event collapse mode.
820; 0 = Preserve all events and event order. (same as -wlfnocollapse)
821; 1 = Only record values of logged objects at the end of a simulator iteration.
822;     (same as -wlfcollapsedelta)
823; 2 = Only record values of logged objects at the end of a simulator time step.
824;     (same as -wlfcollapsetime)
825; The default is 1.
826; WLFCollapseMode = 0
827
828; Specify whether WLF file logging can use threads on multi-processor machines
829; if 0, no threads will be used, if 1, threads will be used if the system has
830; more than one processor
831; WLFUseThreads = 1
832
833; Turn on/off undebuggable SystemC type warnings. Default is on.
834; ShowUndebuggableScTypeWarning = 0
835
836; Turn on/off unassociated SystemC name warnings. Default is off.
837; ShowUnassociatedScNameWarning = 1
838
839; Turn on/off SystemC IEEE 1666 deprecation warnings. Default is off.
840; ScShowIeeeDeprecationWarnings = 1
841
842; Turn on/off the check for multiple drivers on a SystemC sc_signal. Default is off.
843; ScEnableScSignalWriteCheck = 1
844
845; Set SystemC default time unit.
846; Set to fs, ps, ns, us, ms, or sec with optional
847; prefix of 1, 10, or 100.  The default is 1 ns.
848; The ScTimeUnit value is honored if it is coarser than Resolution.
849; If ScTimeUnit is finer than Resolution, it is set to the value
850; of Resolution. For example, if Resolution is 100ps and ScTimeUnit is ns,
851; then the default time unit will be 1 ns.  However if Resolution
852; is 10 ns and ScTimeUnit is ns, then the default time unit will be 10 ns.
853ScTimeUnit = ns
854
855; Set SystemC sc_main stack size. The stack size is set as an integer
856; number followed by the unit which can be Kb(Kilo-byte), Mb(Mega-byte) or
857; Gb(Giga-byte). Default is 10 Mb. The stack size for sc_main depends
858; on the amount of data on the sc_main() stack and the memory required
859; to succesfully execute the longest function call chain of sc_main().
860ScMainStackSize = 10 Mb
861
862; Turn on/off execution of remainder of sc_main upon quitting the current
863; simulation session. If the cumulative length of sc_main() in terms of
864; simulation time units is less than the length of the current simulation
865; run upon quit or restart, sc_main() will be in the middle of execution.
866; This switch gives the option to execute the remainder of sc_main upon
867; quitting simulation. The drawback of not running sc_main till the end
868; is memory leaks for objects created by sc_main. If on, the remainder of
869; sc_main will be executed ignoring all delays. This may cause the simulator
870; to crash if the code in sc_main is dependent on some simulation state.
871; Default is on.
872ScMainFinishOnQuit = 1
873
874; Set the SCV relationship name that will be used to identify phase
875; relations.  If the name given to a transactor relation matches this
876; name, the transactions involved will be treated as phase transactions
877ScvPhaseRelationName = mti_phase
878
879; Customize the vsim kernel shutdown behavior at the end of the simulation.
880; Some common causes of the end of simulation are $finish (implicit or explicit),
881; sc_stop(), tf_dofinish(), and assertion failures.
882; This should be set to "ask", "exit", or "stop". The default is "ask".
883; "ask"   -- In batch mode, the vsim kernel will abruptly exit. 
884;            In GUI mode, a dialog box will pop up and ask for user confirmation
885;            whether or not to quit the simulation.
886; "stop"  -- Cause the simulation to stay loaded in memory. This can make some
887;            post-simulation tasks easier.
888; "exit"  -- The simulation will abruptly exit without asking for any confirmation.
889; "final" -- Run SystemVerilog final blocks then behave as "stop".
890; Note: these ini variables can be overriden by the vsim command
891;       line switch "-onfinish <ask|stop|exit>".
892OnFinish = ask
893
894; Print pending deferred assertion messages.
895; Deferred assertion messages may be scheduled after the $finish in the same
896; time step. Deferred assertions scheduled to print after the $finish are
897; printed before exiting with severity level NOTE since it's not known whether
898; the assertion is still valid due to being printed in the active region
899; instead of the reactive region where they are normally printed.
900; OnFinishPendingAssert = 1;
901
902; Print "simstats" result at the end of simulation before shutdown.
903; If this is enabled, the simstats result will be printed out before shutdown.
904; The default is off.
905; PrintSimStats = 1
906
907; Assertion File - alternate file for storing VHDL/PSL/Verilog assertion messages
908; AssertFile = assert.log
909
910; Run simulator in assertion debug mode. Default is off.
911; AssertionDebug = 1
912
913; Turn on/off PSL/SVA concurrent assertion pass enable.
914; For SVA, Default is on when the assertion has a pass action block, or
915; the vsim -assertdebug option is used and the vopt "+acc=a" flag is active.
916; For PSL, Default is on only when vsim switch "-assertdebug" is used
917; and the vopt "+acc=a" flag is active.
918; AssertionPassEnable = 0
919
920; Turn on/off PSL/SVA concurrent assertion fail enable. Default is on.
921; AssertionFailEnable = 0
922
923; Set PSL/SVA concurrent assertion pass limit. Default is -1.
924; Any positive integer, -1 for infinity.
925; AssertionPassLimit = 1
926
927; Set PSL/SVA concurrent assertion fail limit. Default is -1.
928; Any positive integer, -1 for infinity.
929; AssertionFailLimit = 1
930
931; Turn on/off PSL concurrent assertion pass log. Default is off.
932; The flag does not affect SVA
933; AssertionPassLog = 1
934
935; Turn on/off PSL concurrent assertion fail log. Default is on.
936; The flag does not affect SVA
937; AssertionFailLog = 0
938
939; Turn on/off SVA concurrent assertion local var printing in -assertdebug mode.  Default is on.
940; AssertionFailLocalVarLog = 0
941
942; Set action type for PSL/SVA concurrent assertion fail action. Default is continue.
943; 0 = Continue  1 = Break  2 = Exit
944; AssertionFailAction = 1
945
946; Enable the active thread monitor in the waveform display when assertion debug is enabled.
947; AssertionActiveThreadMonitor = 1
948
949; Control how many waveform rows will be used for displaying the active threads.  Default is 5.
950; AssertionActiveThreadMonitorLimit = 5
951
952
953; As per strict 1850-2005 PSL LRM, an always property can either pass
954; or fail. However, by default, Questa reports multiple passes and
955; multiple fails on top always/never property (always/never operator
956; is the top operator under Verification Directive). The reason
957; being that Questa reports passes and fails on per attempt of the
958; top always/never property. Use the following flag to instruct
959; Questa to strictly follow LRM. With this flag, all assert/never
960; directives will start an attempt once at start of simulation.
961; The attempt can either fail, match or match vacuously.
962; For e.g. if always is the top operator under assert, the always will
963; keep on checking the property at every clock. If the property under
964; always fails, the directive will be considered failed and no more
965; checking will be done for that directive. A top always property,
966; if it does not fail, will show a pass at end of simulation.
967; The default value is '0' (i.e. zero is off). For example:
968; PslOneAttempt = 1
969
970; Specify the number of clock ticks to represent infinite clock ticks.
971; This affects eventually!, until! and until_!. If at End of Simulation
972; (EOS) an active strong-property has not clocked this number of
973; clock ticks then neither pass or fail (vacuous match) is returned
974; else respective fail/pass is returned. The default value is '0' (zero)
975; which effectively does not check for clock tick condition. For example:
976; PslInfinityThreshold = 5000
977
978; Control how many thread start times will be preserved for ATV viewing for a given assertion
979; instance.  Default is -1 (ALL).
980; ATVStartTimeKeepCount = -1
981
982; Turn on/off code coverage
983; CodeCoverage = 0
984
985; Count all code coverage condition and expression truth table rows that match.
986; CoverCountAll = 1
987
988; Turn off automatic inclusion of VHDL integers in toggle coverage. Default
989; is to include them.
990; ToggleNoIntegers = 1
991
992; Set the maximum number of values that are collected for toggle coverage of
993; VHDL integers. Default is 100;
994; ToggleMaxIntValues = 100
995
996; Set the maximum number of values that are collected for toggle coverage of
997; Verilog real. Default is 100;
998; ToggleMaxRealValues = 100
999
1000; Turn on automatic inclusion of Verilog integers in toggle coverage, except
1001; for enumeration types. Default is to include them.
1002; ToggleVlogIntegers = 0
1003
1004; Turn on automatic inclusion of Verilog real type in toggle coverage, except
1005; for shortreal types. Default is to not include them.
1006; ToggleVlogReal = 1
1007
1008; Turn on automatic inclusion of Verilog fixed-size unpacked arrays in toggle coverage.
1009; Default is to not include them.
1010; ToggleFixedSizeArray = 1
1011
1012; Increase or decrease the maximum size of Verilog unpacked fixed-size arrays that
1013; are included for toggle coverage. This leads to a longer simulation time with bigger
1014; arrays covered with toggle coverage. Default is 1024.
1015; ToggleMaxFixedSizeArray = 1024
1016
1017; Treat packed vectors and structures as reg-vectors in toggle coverage. Default is 0.
1018; TogglePackedAsVec = 0
1019
1020; Treat Verilog enumerated types as reg-vectors in toggle coverage. Default is 0.
1021; ToggleVlogEnumBits = 0
1022
1023; Limit the widths of registers automatically tracked for toggle coverage. Default is 128.
1024; For unlimited width, set to 0.
1025; ToggleWidthLimit = 128
1026
1027; Limit the counts that are tracked for toggle coverage. When all edges for a bit have
1028; reached this count, further activity on the bit is ignored. Default is 1.
1029; For unlimited counts, set to 0.
1030; ToggleCountLimit = 1
1031
1032; Turn on/off all PSL/SVA cover directive enables.  Default is on.
1033; CoverEnable = 0
1034
1035; Turn on/off PSL/SVA cover log.  Default is off "0".
1036; CoverLog = 1
1037
1038; Set "at_least" value for all PSL/SVA cover directives.  Default is 1.
1039; CoverAtLeast = 2
1040
1041; Set "limit" value for all PSL/SVA cover directives.  Default is -1.
1042; Any positive integer, -1 for infinity.
1043; CoverLimit = 1
1044
1045; Specify the coverage database filename.
1046; Default is "" (i.e. database is NOT automatically saved on close).
1047; UCDBFilename = vsim.ucdb
1048
1049; Specify the maximum limit for the number of Cross (bin) products reported
1050; in XML and UCDB report against a Cross. A warning is issued if the limit
1051; is crossed.
1052; MaxReportRhsSVCrossProducts = 1000
1053
1054; Specify the override for the "auto_bin_max" option for the Covergroups.
1055; If not specified then value from Covergroup "option" is used.
1056; SVCoverpointAutoBinMax = 64
1057
1058; Specify the override for the value of "cross_num_print_missing"
1059; option for the Cross in Covergroups. If not specified then value
1060; specified in the "option.cross_num_print_missing" is used. This
1061; is a runtime option. NOTE: This overrides any "cross_num_print_missing"
1062; value specified by user in source file and any SVCrossNumPrintMissingDefault
1063; specified in modelsim.ini.
1064; SVCrossNumPrintMissing = 0
1065
1066; Specify whether to use the value of "cross_num_print_missing"
1067; option in report and GUI for the Cross in Covergroups. If not specified then
1068; cross_num_print_missing is ignored for creating reports and displaying
1069; covergroups in GUI. Default is 0, which means ignore "cross_num_print_missing".
1070; UseSVCrossNumPrintMissing = 0
1071
1072; Specify the override for the value of "strobe" option for the
1073; Covergroup Type. If not specified then value in "type_option.strobe"
1074; will be used. This is runtime option which forces "strobe" to
1075; user specified value and supersedes user specified values in the
1076; SystemVerilog Code. NOTE: This also overrides the compile time
1077; default value override specified using "SVCovergroupStrobeDefault"
1078; SVCovergroupStrobe = 0
1079
1080; Override for explicit assignments in source code to "option.goal" of
1081; SystemVerilog covergroup, coverpoint, and cross. It also overrides the
1082; default value of "option.goal" (defined to be 100 in the SystemVerilog
1083; LRM) and the value of modelsim.ini variable "SVCovergroupGoalDefault".
1084; SVCovergroupGoal = 100
1085
1086; Override for explicit assignments in source code to "type_option.goal" of
1087; SystemVerilog covergroup, coverpoint, and cross. It also overrides the
1088; default value of "type_option.goal" (defined to be 100 in the SystemVerilog
1089; LRM) and the value of modelsim.ini variable "SVCovergroupTypeGoalDefault".
1090; SVCovergroupTypeGoal = 100
1091
1092; Enforce the 6.3 behavior of covergroup get_coverage() and get_inst_coverage()
1093; builtin functions, and report. This setting changes the default values of
1094; option.get_inst_coverage and type_option.merge_instances to ensure the 6.3
1095; behavior if explicit assignments are not made on option.get_inst_coverage and
1096; type_option.merge_instances by the user. There are two vsim command line
1097; options, -cvg63 and -nocvg63 to override this setting from vsim command line.
1098; The default value of this variable is 1
1099; SVCovergroup63Compatibility = 1
1100
1101; Enable or disable generation of more detailed information about the sampling
1102; of covergroup, cross, and coverpoints. It provides the details of the number
1103; of times the covergroup instance and type were sampled, as well as details
1104; about why covergroup, cross and coverpoint were not covered. A non-zero value
1105; is to enable this feature. 0 is to disable this feature. Default is 0
1106; SVCovergroupSampleInfo = 0
1107
1108; Specify the maximum number of Coverpoint bins in whole design for
1109; all Covergroups.
1110; MaxSVCoverpointBinsDesign = 2147483648
1111
1112; Specify maximum number of Coverpoint bins in any instance of a Covergroup
1113; MaxSVCoverpointBinsInst = 2147483648
1114
1115; Specify the maximum number of Cross bins in whole design for
1116; all Covergroups.
1117; MaxSVCrossBinsDesign = 2147483648
1118
1119; Specify maximum number of Cross bins in any instance of a Covergroup
1120; MaxSVCrossBinsInst = 2147483648
1121
1122; Set weight for all PSL/SVA cover directives.  Default is 1.
1123; CoverWeight = 2
1124
1125; Check vsim plusargs.  Default is 0 (off).
1126; 0 = Don't check plusargs
1127; 1 = Warning on unrecognized plusarg
1128; 2 = Error and exit on unrecognized plusarg
1129; CheckPlusargs = 1
1130
1131; Load the specified shared objects with the RTLD_GLOBAL flag.
1132; This gives global visibility to all symbols in the shared objects,
1133; meaning that subsequently loaded shared objects can bind to symbols
1134; in the global shared objects.  The list of shared objects should
1135; be whitespace delimited.  This option is not supported on the
1136; Windows or AIX platforms.
1137; GlobalSharedObjectList = example1.so example2.so example3.so
1138
1139; Run the 0in tools from within the simulator.
1140; Default is off.
1141; ZeroIn = 1
1142
1143; Set the options to be passed to the 0in runtime tool.
1144; Default value set to "".
1145; ZeroInOptions = ""
1146
1147; Initial seed for the Random Number Generator (RNG) of the root thread (SystemVerilog).
1148; Sv_Seed = 0
1149
1150; Maximum size of dynamic arrays that are resized during randomize().
1151; The default is 1000. A value of 0 indicates no limit.
1152; SolveArrayResizeMax = 1000
1153
1154; Error message severity when randomize() failure is detected (SystemVerilog).
1155; The default is 0 (no error).
1156; 0 = No error  1 = Warning  2 = Error  3 = Failure  4 = Fatal
1157; SolveFailSeverity = 0
1158
1159; Enable/disable debug information for randomize() failures (SystemVerilog).
1160; The default is 0 (disabled). Set to 1 to enable.
1161; SolveFailDebug = 0
1162
1163; When SolveFailDebug is enabled, this value specifies the algorithm used to
1164; discover conflicts between constraints for randomize() failures.
1165; The default is "many".
1166;
1167; Valid schemes are:
1168;    "many" = best for determining conflicts due to many related constraints
1169;    "few"  = best for determining conflicts due to few related constraints
1170;
1171; SolveFailDebugScheme = many
1172
1173; When SolveFailDebug is enabled and SolveFailDebugScheme is "few", this value
1174; specifies the maximum number of constraint subsets that will be tested for
1175; conflicts.
1176; The default is 0 (no limit).
1177; SolveFailDebugLimit = 0
1178
1179; When SolveFailDebug is enabled and SolveFailDebugScheme is "few", this value
1180; specifies the maximum size of constraint subsets that will be tested for
1181; conflicts.
1182; The default value is 0 (no limit).
1183; SolveFailDebugMaxSet = 0
1184
1185; Maximum size of the solution graph that may be generated during randomize().
1186; This value can be used to force randomize() to abort if the memory
1187; requirements of the constraint scenario exceeds the specified limit. This
1188; value is specified in 1000s of nodes.
1189; The default is 10000. A value of 0 indicates no limit.
1190; SolveGraphMaxSize = 10000
1191
1192; Maximum number of evaluations that may be performed on the solution graph
1193; generated during randomize(). This value can be used to force randomize() to
1194; abort if the complexity of the constraint scenario (in time) exceeds the
1195; specified limit. This value is specified in 10000s of evaluations.
1196; The default is 10000. A value of 0 indicates no limit.
1197; SolveGraphMaxEval = 10000
1198
1199; Use SolveFlags to specify options that will guide the behavior of the
1200; constraint solver. These options may improve the performance of the
1201; constraint solver for some testcases, and decrease the performance of
1202; the constraint solver for others.
1203; The default value is "" (no options).
1204;
1205; Valid flags are:
1206;    i = disable bit interleaving for >, >=, <, <= constraints
1207;    n = disable bit interleaving for all constraints
1208;    r = reverse bit interleaving
1209;
1210; SolveFlags =
1211
1212; Specify random sequence compatiblity with a prior letter release. This
1213; option is used to get the same random sequences during simulation as
1214; as a prior letter release. Only prior letter releases (of the current
1215; number release) are allowed.
1216; Note: To achieve the same random sequences, solver optimizations and/or
1217; bug fixes introduced since the specified release may be disabled -
1218; yielding the performance / behavior of the prior release.
1219; Default value set to "" (random compatibility not required).
1220; SolveRev =
1221
1222; Environment variable expansion of command line arguments has been depricated
1223; in favor shell level expansion.  Universal environment variable expansion
1224; inside -f files is support and continued support for MGC Location Maps provide
1225; alternative methods for handling flexible pathnames.
1226; The following line may be uncommented and the value set to 1 to re-enable this
1227; deprecated behavior.  The default value is 0.
1228; DeprecatedEnvironmentVariableExpansion = 0
1229
1230; Turn on/off collapsing of bus ports in VCD dumpports output
1231DumpportsCollapse = 1
1232
1233; Location of Multi-Level Verification Component (MVC) installation.
1234; The default location is the product installation directory.
1235; MvcHome = $MODEL_TECH/...
1236
1237[lmc]
1238; The simulator's interface to Logic Modeling's SmartModel SWIFT software
1239libsm = $MODEL_TECH/libsm.sl
1240; The simulator's interface to Logic Modeling's SmartModel SWIFT software (Windows NT)
1241; libsm = $MODEL_TECH/libsm.dll
1242;  Logic Modeling's SmartModel SWIFT software (HP 9000 Series 700)
1243; libswift = $LMC_HOME/lib/hp700.lib/libswift.sl
1244;  Logic Modeling's SmartModel SWIFT software (IBM RISC System/6000)
1245; libswift = $LMC_HOME/lib/ibmrs.lib/swift.o
1246;  Logic Modeling's SmartModel SWIFT software (Sun4 Solaris)
1247; libswift = $LMC_HOME/lib/sun4Solaris.lib/libswift.so
1248;  Logic Modeling's SmartModel SWIFT software (Windows NT)
1249; libswift = $LMC_HOME/lib/pcnt.lib/libswift.dll
1250;  Logic Modeling's SmartModel SWIFT software (non-Enterprise versions of Linux)
1251; libswift = $LMC_HOME/lib/x86_linux.lib/libswift.so
1252;  Logic Modeling's SmartModel SWIFT software (Enterprise versions of Linux)
1253; libswift = $LMC_HOME/lib/linux.lib/libswift.so
1254
1255; The simulator's interface to Logic Modeling's hardware modeler SFI software
1256libhm = $MODEL_TECH/libhm.sl
1257; The simulator's interface to Logic Modeling's hardware modeler SFI software (Windows NT)
1258; libhm = $MODEL_TECH/libhm.dll
1259;  Logic Modeling's hardware modeler SFI software (HP 9000 Series 700)
1260; libsfi = <sfi_dir>/lib/hp700/libsfi.sl
1261;  Logic Modeling's hardware modeler SFI software (IBM RISC System/6000)
1262; libsfi = <sfi_dir>/lib/rs6000/libsfi.a
1263;  Logic Modeling's hardware modeler SFI software (Sun4 Solaris)
1264; libsfi = <sfi_dir>/lib/sun4.solaris/libsfi.so
1265;  Logic Modeling's hardware modeler SFI software (Windows NT)
1266; libsfi = <sfi_dir>/lib/pcnt/lm_sfi.dll
1267;  Logic Modeling's hardware modeler SFI software (Linux)
1268; libsfi = <sfi_dir>/lib/linux/libsfi.so
1269
1270[msg_system]
1271; Change a message severity or suppress a message.
1272; The format is: <msg directive> = <msg number>[,<msg number>...]
1273; suppress can be used to achieve +nowarn<CODE> functionality
1274; The format is: suppress = <CODE>,<msg number>,[<CODE>,<msg number>,...]
1275; Examples:
1276;   note = 3009
1277;   warning = 3033
1278;   error = 3010,3016
1279;   fatal = 3016,3033
1280;   suppress = 3009,3016,3043
1281;   suppress = 3009,CNNODP,3043,TFMPC
1282; The command verror <msg number> can be used to get the complete
1283; description of a message.
1284
1285; Control transcripting of Verilog display system task messages and
1286; PLI/FLI print function call messages.  The system tasks include
1287; $display[bho], $strobe[bho], Smonitor{bho], and $write[bho].  They
1288; also include the analogous file I/O tasks that write to STDOUT
1289; (i.e. $fwrite or $fdisplay).  The PLI/FLI calls include io_printf,
1290; vpi_printf, mti_PrintMessage, and mti_PrintFormatted.  The default
1291; is to have messages appear only in the transcript.  The other
1292; settings are to send messages to the wlf file only (messages that
1293; are recorded in the wlf file can be viewed in the MsgViewer) or
1294; to both the transcript and the wlf file.  The valid values are
1295;    tran  {transcript only (default)}
1296;    wlf   {wlf file only}
1297;    both  {transcript and wlf file}
1298; displaymsgmode = tran
1299
1300; Control transcripting of elaboration/runtime messages not
1301; addressed by the displaymsgmode setting.  The default is to
1302; have messages appear in the transcript and recorded in the wlf
1303; file (messages that are recorded in the wlf file can be viewed
1304; in the MsgViewer).  The other settings are to send messages
1305; only to the transcript or only to the wlf file.  The valid
1306; values are
1307;    both  {default}
1308;    tran  {transcript only}
1309;    wlf   {wlf file only}
1310; msgmode = both
Note: See TracBrowser for help on using the repository browser.