← Back to branch summary

~ubuntu-branches/ubuntu/precise/verilator/precise

« back to all changes in this revision

Viewing changes to verilator.txt

  • Committer: Bazaar Package Importer
  • Author(s): أحمد المحمودي (Ahmed El-Mahmoudy)
  • Date: 2010-11-07 10:32:20 UTC
  • mfrom: (1.2.1 upstream) (4.1.1 experimental)
  • Revision ID: james.westby@ubuntu.com-20101107103220-lm8xa69w6kbxt3z5
Tags: 3.805-1
* New upstream release.
* Upload to unstable.

Show diffs side-by-side

added added

removed removed

Lines of Context:
verilator.txt
53
53
        --coverage-line             Enable line coverage
54
54
        --coverage-toggle           Enable toggle coverage
55
55
        --coverage-user             Enable PSL/SVL user coverage
 
56
        --coverage-underscore       Enable covarge of _signals
56
57
         -D<var>[=<value>]          Set preprocessor define
57
58
        --debug                     Enable debugging
58
59
        --debug-check               Enable debugging assertions
102
103
        --top-module <topname>      Name of top level input module
103
104
        --trace                     Enable waveform creation
104
105
        --trace-depth <levels>      Depth of tracing
 
106
        --trace-underscore          Enable tracing of _signals
105
107
         -U<var>                    Undefine preprocessor define
106
108
        --unroll-count <loops>      Tune maximum loop iterations
107
109
        --unroll-stmts <stmts>      Tune maximum loop body size
258
260
        signals that do not need toggle analysis, such as RAMs and register
259
261
        files.
260
262
 
 
263
    --coverage-underscore
 
264
        Enable coverage of signals that start with an underscore. Normally,
 
265
        these signals are not covered. See also --trace-underscore.
 
266
 
261
267
    --coverage-user
262
268
        Enables user inserted functional coverage. Currently, all functional
263
269
        coverage points are specified using PSL which must be separately
544
550
        entire model. Using a small number will decrease visibility, but
545
551
        greatly improve runtime and trace file size.
546
552
 
 
553
    --trace-underscore
 
554
        Enable tracing of signals that start with an underscore. Normally,
 
555
        these signals are not output during tracing. See also
 
556
        --coverage-underscore.
 
557
 
547
558
    -U*var*
548
559
        Undefines the given preprocessor symbol.
549
560
 
2279
2290
        see below and the test_c/sim_main.cpp file of the distribution.
2280
2291
 
2281
2292
        You also need to compile verilated_vcd_c.cpp and add it to your
2282
 
        link, preferably by adding the ddependencies in $(VK_GLOBAL_OBJS) to
 
2293
        link, preferably by adding the dependencies in $(VK_GLOBAL_OBJS) to
2283
2294
        your Makefile's link rule. This is done for you if using the
2284
2295
        Verilator --exe flag.
2285
2296
 
2322
2333
 
2323
2334
        You also need to compile verilated_vcd_sc.cpp and
2324
2335
        verilated_vcd_c.cpp and add them to your link, preferably by adding
2325
 
        the ddependencies in $(VK_GLOBAL_OBJS) to your Makefile's link rule.
 
2336
        the dependencies in $(VK_GLOBAL_OBJS) to your Makefile's link rule.
2326
2337
        This is done for you if using the Verilator --exe flag.
2327
2338
 
2328
2339
        Note you can also call ->trace on multiple Verilated objects with