./cad/verilator, Verilog HDL simulator

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 4.030nb1, Package name: verilator-4.030nb1, Maintainer: ryoon

Verilator is the fastest free Verilog HDL simulator, and outperforms
most commercial simulators. Verilator compiles synthesizable
SystemVerilog (generally not test-bench code), plus some SystemVerilog
and Synthesis assertions into single- or multithreaded C++ or
SystemC code. Verilator is designed for large projects where fast
simulation performance is of primary concern, and is especially
well suited to generate executable models of CPUs for embedded
software design teams.


Required to build:
[devel/flex] [pkgtools/cwrappers]

Master sites:

SHA1: 6f70b648a2962ba52b31dd46684b7fad20cbd9c4
RMD160: 36f50f095926f88dc3859ea6504fb07593f928ec
Filesize: 2437.699 KB

Version history: (Expand)


CVS history: (Expand)


   2020-08-31 20:13:29 by Thomas Klausner | Files touched by this commit (3631) | Package updated
Log message:
*: bump PKGREVISION for perl-5.32.
   2020-03-18 14:33:38 by Ryo ONODERA | Files touched by this commit (3) | Package updated
Log message:
verilator: Update to 4.030

Changelog:
Verilator 4.030 2020-03-08

    Add split_var metacomment to assist UNOPTFLAT fixes, #2066. [Yutetsu TAKATSUKASA]

    Add support for $dumpfile and $dumpvars, #2126. [Alexander Grobman]

    Add support for dynamic arrays, #379.

    Add +verilator+noassert flag to disable assertion checking. [Tobias \ 
W\303\266lfel]

    Add check for assertOn for asserts, #2162. [Tobias W\303\266lfel]

    Add --structs-packed for forward compatibility.

    Fix genblk naming with directly nested generate blocks, #2176. [Alexander \ 
Grobman]

    Implement $displayb/o/h, $writeb/o/h, etc, #1637.

    Use gcc -Os in examples instead of -O2 for better average performance.

    Fix undeclared VL_SHIFTR_WWQ, #2114. [Alex Solomatnikov]

Verilator 4.028 2020-02-08

    Support attributes (public, isolate_assignments, etc.) in configuration files.

    Add -match to lint_off to waive warnings. [Philipp Wagner]

    Link Verilator binary partially statically, #2146. [Geza Lore]

    Verilation speed improvements, #2133, #2138. [Geza Lore]

    Support libgoogle-perftools-dev's libtcmalloc if available, #2137. [Geza Lore]

    Support $readmem/$writemem with assoc arrarys, #2100. [agrobman]

    Support type(expression) operator and $typename, #1650.

    Support left justified $display, #2101. [Pieter Kapsenberg]

    Support string character access via indexing.

    Support enum.next(k) with constant k > 1, #2125. [Tobias Rosenkranz]

    Support parameter access from arrays of interfaces, #2155. [Todd Strader]

    Add parameter values in XML. #2110. [Pieter Kapsenberg]

    Add loc column location in XML (replaces fl), #2122. [Pieter Kapsenberg]

    Add error on misused define. [Topa Tota]

    Add parameter to set maximum signal width, #2082. [\303\230yvind Harboe]

    Add warning on genvar in normal for loop, #2143. [yurivict]

    Fix VPI scope naming for public modules. [Nandu Raj]

    Fix FST tracing of enums inside structs. [fsiegle]

    Fix WIDTH warning on

    Fix OpenSolaris issues, #2154. [brancoliticus]

Verilator 4.026 2020-01-11

    Docker images are now available for Verilator releases.

    Support bounded queues.

    Support implication operator "|->" in assertions, #2069. [Peter \ 
Monsson]

    Support string compare, ato*, etc methods, #1606. [Yutetsu TAKATSUKASA]

    Support immediate cover statements.

    Ignore `uselib to end-of-line, #1634. [Frederic Antonin]

    Update FST trace API for better performance.

    Add vpiTimeUnit and allow to specify time as string, #1636. [Stefan Wallentowitz]

    Add error when `resetall inside module (IEEE 2017-22.3).

    Add cleaner error on version control conflicts in sources.

    Fix little endian cell ranges, #1631. [Julien Margetts]

    Fix queue issues, #1641, #1643. [Peter Monsson, Stefan Wallentowitz]

    Fix strcasecmp for windows, #1651. [Kuba Ober]

    Fix disable iff in assertions. Closes #1404. [Peter Monsson]

    Fix huge case statement performance. Closes #1644. [Julien Margetts]

    Fix tracing -1 index arrays. Closes #2090. [Yutetsu Takatsukasa]

    Fix expand optimization slowing --lint-only. Closes #2091. [Thomas Watts]

    Fix %{number}s with strings. #2093. [agrobman]

    Fix shebang breaking some shells. Closes #2067. [zdave]

Verilator 4.024 2019-12-08

    Support associative arrays (excluding [*] and pattern assignments), bug544.

    Support queues (excluding {} notation and pattern assignments), bug545.

    Add +verilator+error+limit to see more assertion errors. [Peter Monsson]

    Support string.toupper and string.tolower.

    Support $rewind and $ungetc.

    Support shortreal as real, with a SHORTREAL warning.

    Add -Wpedantic and -Wno-context for compliance testing.

    Add error on redefining preprocessor directives. [Piotr Binkowski]

    Support $value$plusargs float and shorts, bug1592, bug1619. [Garrett Smith]

    Fix gate lvalue optimization error, bug831. [Jonathon Donaldson, Driss Hafdi]

    Fix color assertion on empty if, bug1604. [Andrew Holme]

    Fix for loop missing initializer, bug1605. [Andrew Holme]

    Fix hang on concat error, bug1608. [Bogdan Vukobratovic]

    Fix VPI timed callbacks to be one-shot, pull5. [Matthew Ballance]

    Fix // in filenames, bug1610. [Peter Nelson]

    Fix $display("%p") to be closer to IEEE.

    Fix labels on functions with returns, bug1614. [Mitch Hayenga]

    Fix false unused message on __Vemumtab, msg3180. [Tobias Rosenkranz]

    Fix assertion on dotted parameter arrayed function, bug1620. [Rich Porter]

    Fix interface reference tracing, bug1595. [Todd Strader]

    Fix error on unpacked concatenations, bug1627. [Driss Hafdi]

Verilator 4.022 2019-11-10

    Add --protect-lib, bug1490. [Todd Strader]

    Add cmake support, bug1363. [Patrick Stewart]

    Examples have been renamed.

    Add --protect-ids to obscure information in objects, bug1521. [Todd Strader]

    Add --trace-coverage.

    Add --xml-output.

    Support multithreading on Windows. [Patrick Stewart]

    Suppress 'command failed' on normal errors.

    Support some unpacked arrays in parameters, bug1315. [Marshal Qiao]

    Add interface port visibility in traces, bug1594. [Todd Strader]

    Increase case duplicate/incomplete to 16 bit tables, bug1545. [Yossi Nivin]

    Support quoted arguments in -f files, bug1535. [Yves Mathieu]

    Optimize modulus by power-of-two constants, and masked conditionals.

    Fix detecting missing reg types, bug1570. [Jacko Dirks]

    Fix multithreaded yield behavior when no work. [Patrick Stewart]

    Fix bad-syntax crashes, bug1548, bug1550-1553, bug1557-1560, bug1563, \ 
bug1573-1577, bug1579, bug1582-1591. [Eric Rippey]

    Fix false CMPCONST/UNSIGNED warnings on "inside", bug1581. [Mitch \ 
Hayenga]

Verilator 4.020 2019-10-06

    Support $fseek, $ftell, $frewind, bug1496. [Howard Su]

    Add --public-flat-rw, bug1511. [Stefan Wallentowitz]

    Support vpiModule, bug1469. [Stefan Wallentowitz]

    Make Syms file honor --output-split-cfuncs, bug1499. [Todd Strader]

    Fix make test with no VERILATOR_ROOT, bug1494. [Ahmed El-Mahmoudy]

    Fix error on multidimensional cells, bug1505. [Anderson Ignacio Da Silva]

    Fix config_rev revision detection on old versions.

    Fix false warning on backward indexing, bug1507. [Hao Shi]

    Fix vpiType accessor, bug1509, bug1510. [Stefan Wallentowitz]

    Fix ugly error on interface misuse, bug1525. [Bogdan Vukobratovic]

    Fix misc bad-syntax crashes, bug1529-bug1533. [Eric Rippey]

    Fix case statements with strings, bug1536. [Philipp Wagner]

Verilator 4.018 2019-08-29

    When showing an error, show source code and offer suggestions of replacements.

    When showing an error, show the instance location, bug1305. [Todd Strader]

    Add --rr, bug1481. [Todd Strader]

    Change MULTITOP to warning to help linting, see manual.

    Add XSim support to driver.pl, bug1493. [Todd Strader]

    Show included-from filenames in warnings, bug1439. [Todd Strader]

    Fix elaboration time errors, bug1429. [Udi Finkelstein]

    Fix not reporting some duplicate signals/ports, bug1462. [Peter Gerst]

    Fix not in array context on non-power-of-two slices, msg2946. [Yu Sheng Lin]

    Fix system compile flags injection. [Gianfranco Costamagna]

    Fix enum values not being sized based on parent, bug1442. [Dan Petrisko]

    Fix internal error on gate optimization of assign, bug1475. [Oyvind Harboe]

    Add --dpi-hdr-only, bug1491. [Todd Strader]
   2019-08-23 15:05:49 by Ryo ONODERA | Files touched by this commit (2) | Package updated
Log message:
Update to 4.016

Changelog:
* Verilator 4.016 2016-06-16

***   Add --quiet-exit, bug1436. [Todd Strader]

****  Error continuation lines no longer have %Error prefix.

****  Support logical equivalence operator <->.

****  Support VerilatedFstC set_time_unit, bug1433. [Pieter Kapsenberg]

****  Support deferred assertions, bug1449. [Charles Eddleston]

****  Mark infrequently called functions with GCC cold attribute.

****  Fix sign-compare warning in verilated.cpp, bug1437. [Sergey Kvachonok]

****  Fix fault on $realtime with %t, bug1443. [Julien Margetts]

****  Fix $display with string without %s, bug1441. [Denis Rystsov]

****  Fix parameter function string returns, bug1441. [Denis Rystsov]

****  Fix invalid XML output due to special chars, bug1444. [Kanad Kanhere]

****  Fix performance when mulithreaded on 1 CPU, bug1455. [Stefan Wallentowitz]

****  Fix type and real parameter issues, bug1427, bug1456, bug1458. [Todd Strader]

****  Fix build error on MinGW, bug1460. [Richard Myers]

****  Fix not reporting some duplicate signals, bug1462. [Peter Gerst]

****  Fix --savable invalid C++ on packed arrays, bug1465. [Alex Chadwick]

****  Fix constant function return of function var, bug1467. [Roman Popov]

* Verilator 4.014 2019-05-08

***   Add --trace-fst-thread.

****  Support '#' comments in $readmem, bug1411. [Frederick Requin]

****  Support "'dx" constants, bug1423. [Udi Finkelstein]

****  For FST tracing use LZ4 compression. [Tony Bybell]

****  Add error when use parameters without value, bug1424. [Peter Gerst]

****  Auto-extend and WIDTH warn on unsized X/Zs, bug1423. [Udi Finkelstein]

****  Fix missing VL_SHIFTL_ errors, bug1412, bug1415. [Larry Lee]

****  Fix MinGW GCC 6 printf formats, bug1413. [Sergey Kvachonok]

****  Fix test problems when missing fst2vcd, bug1417. [Todd Strader]

****  Fix GTKWave register warning, bug1421. [Pieter Kapsenberg]

****  Fix FST enums not displaying, bug1426. [Danilo Ramos]

****  Fix table compile error with multiinterfaces, bug1431. [Bogdan Vukobratovic]
   2019-08-11 15:25:21 by Thomas Klausner | Files touched by this commit (3557) | Package updated
Log message:
Bump PKGREVISIONs for perl 5.30.0
   2019-04-01 14:22:53 by Ryo ONODERA | Files touched by this commit (3) | Package updated
Log message:
Update to 4.012

* flex from NetBSD base causes build failure, so use pkgsrc/devel/flex instead.

Changelog:
* Verilator 4.012 2019-3-23

***   Add +verilator+seed, bug1396. [Stan Sokorac]

***   Support $fread.  [Leendert van Doorn]

***   Support void' cast on functions called as tasks, bug1383. [Al Grant]

***   Add IGNOREDRETURN warning, bug1383.

****  Report PORTSHORT errors on concat constants, bug 1400. [Will Korteland]

****  Fix VERILATOR_GDB being ignored, msg2860. [Yu Sheng Lin]

****  Fix $value$plus$args missing verilated_heavy.h. [Yi-Chung Chen]

****  Fix MSVC compile error, bug1406. [Benjamin Gartner]

****  Fix maintainer test when no Parallel::Forker, msg2630. [Enzo Chi]

****  Fix +1364-1995ext flags applying too late, bug1384. [Al Grant]

* Verilator 4.010 2019-01-27

***   Removed --trace-lxt2, use --trace-fst instead.

****  For --xml, add additional information, bug1372. [Jonathan Kimmitt]

****  Add circular typedef error, bug1388.  [Al Grant]

****  Add unsupported for loops error, msg2692. [Yu Sheng Lin]

****  Fix FST tracing of wide arrays, bug1376. [Aleksander Osman]

****  Fix error when pattern assignment has too few elements, bug1378. [Viktor Tomov]

****  Fix error when no modules in $unit, bug1381. [Al Grant]

****  Fix missing too many digits warning, bug1380. [Jonathan Kimmitt]

****  Fix uninitialized data in verFiles and unroller, bug1385. bug1386. [Al Grant]

****  Fix internal error on xrefs into unrolled functions, bug1387. [Al Grant]

****  Fix DPI export void compiler error, bug1391. [Stan Sokorac]

* Verilator 4.008 2018-12-01

***   Support "ref" and "const ref" pins and functions, \ 
bug1360. [Jake Longo]

***   In --xml-only show the original unmodified names, and add module_files
      and cells similar to Verilog-Perl, msg2719. [Kanad Kanhere]

****  Add CONTASSREG error on continuous assignments to regs, bug1369. [Peter Gerst]

****  Add PROCASSWIRE error on behavioral assignments to wires, msg2737. [Neil \ 
Turton]

****  Add IMPORTSTAR warning on import::* inside $unit scope.

****  Fix --trace-lxt2 compile error on MinGW, msg2711. [HyungKi Jeong]

****  Fix hang on bad pattern keys, bug1364. [Matt Myers]

****  Fix crash due to cygwin bug in getline, bug1349. [Affe Mao]

****  Fix __Slow files getting compiled with OPT_FAST, bug1370. [Thomas Watts]
   2018-12-16 10:05:13 by Ryo ONODERA | Files touched by this commit (5)
Log message:
cad/verilator: import verilator-4.006

Verilator is the fastest free Verilog HDL simulator, and outperforms
most commercial simulators. Verilator compiles synthesizable
SystemVerilog (generally not test-bench code), plus some SystemVerilog
and Synthesis assertions into single- or multithreaded C++ or
SystemC code. Verilator is designed for large projects where fast
simulation performance is of primary concern, and is especially
well suited to generate executable models of CPUs for embedded
software design teams.