Verilator

Verilator 3.847 2013-05-11

• Add ALWCOMBORDER warning. [KC Buckenmaier]

• Add --pins-sc-uint and --pins-sc-biguint, bug638. [Alex Hornung]

• Support "signal[vec]++".

• Fix simulation error when inputs and MULTIDRIVEN, bug634. [Ted Campbell]

• Fix module resolution with __, bug631. [Jason McMullan]

• Fix packed array non-zero right index select crash, bug642. [Krzysztof Jankowski]

• Fix nested union crash, bug643. [Krzysztof Jankowski]

Verilator 3.846 2013-03-09

• IEEE 1800-2012 is now the default language. This adds 4 new keywords and updates the svdpi.h and vpi_user.h header files.

• Add --report-unoptflat, bug611. [Jeremy Bennett]

• Add duplicate clock gate optimization, msg980. [Varun Koyyalagunta] Disabled unless -OD or -O3 used, please try it as may get some significant speedups.

• Fix wrong dot resolution under inlining. [Art Stamness]

• Support pattern assignment features, bug616, bug617, bug618. [Ed Lander]

• Support bind in $unit, bug602. [Ed Lander]

• Support <number>'() sized casts, bug628. [Ed Lander]

• Fix DETECTARRAY on packed structures, bug610. [Jeremy Bennett]

• Fix LITENDIAN on unpacked structures, bug614. [Wai Sum Mong]

• Fix 32-bit OS VPI scan issue, bug615. [Jeremy Bennett, Rich Porter]

• Fix opening a VerilatedVcdC file multiple times, msg1021. [Frederic Requin]

• Fix UNOPTFLAT circular array bounds crossing, bug630. [Jie Xu]

Verilator 3.845 2013/02/04

• Fix nested packed arrays and struct, bug600. [Jeremy Bennett] Packed arrays are now represented as a single linear vector in Verilated models. This may affect packed arrays that are public or accessed via the VPI.

• Support wires with data types, bug608. [Ed Lander]

• Support bind, to module names only, bug602. [Ed Lander]

• Support VPI product info, warning calls, etc, bug588. [Rick Porter]

• Support $left, $right and related functions, bug448. [Iztok Jeras]

• Support inside expressions.

• Define SYSTEMVERILOG, SV_COV_START and other IEEE mandated predefines.

• Fix pin width mismatch error, bug595. [Alex Solomatnikov]

• Fix implicit one bit parameter selection, bug603. [Jeremy Bennett]

• Fix signed/unsigned parameter misconversion, bug606. [Jeremy Bennett]

• Fix segfault on multidimensional dotted arrays, bug607. [Jie Xu]

• Fix per-bit array output connection error, bug414. [Jan Egil Ruud]

• Fix package logic var compile error.

• Fix enums with X values.

Verilator 3.844 2013/01/09

• Support "unsigned int" DPI import functions, msg966. [Alex Lee]

• Fix package resolution of parameters, bug586. [Jeremy Bennett]

• Fix non-integer vpi_get_value, bug587. [Rich Porter]

• Fix task inlining under $display and case, bug589, bug598. [Holger Waechtler]

• Fix package import of non-localparam parameter, bug591. [Jeremy Bennett]

• Fix package import of package imports, partial bug592. [Jeremy Bennett]

• Fix package import preventing local var, bug599. [Jeremy Bennett]

• Fix array extraction of implicit vars, bug601. [Joe Eiler]

Verilator will be the topic of the next Design Verification Club Bristol meeting on January 14, 2013, including a presentation on Verilator recent developments and several sure to be excellent user presentations. Information and a brief voice interview of Wilson Snyder by Mike Bartley is also available. See the TVS website for details:

http://testandverification.com/publications/published-articles/verification-insights/

Verilator 3.843 2012/12/01

• Add +1364-1995ext and similar language options, bug532. [Jeremy Bennett]

• Fix mis-optimized identical submodule subtract, bug581. [Charlie Brej]

• Fix crash on dotted references into dead modules, bug583. [Jeremy Bennett]

• Fix compile issues on MSVCC, bug571, bug577. [Amir Gonnen]

• Fix --debug overriding preceding --dump-treei, bug580. [Jeremy Bennett]

Verilator 3.842 2012/11/03

• Add -x-initial-edge, bug570. [Jeremy Bennett]

• Fix parameter pins interspersed with cells broke in 3.840. [Bernard Deadman]

• Fix large shift error on large shift constants. [David Welch]

• Fix $display mangling on GCC 4.7 and speed up, msg927, bug373, bug574. [R Diez]

• Fix array of struct references giving false error, bug566. [Julius Baxter]

• Fix missing var access functions when no DPI, bug572. [Amir Gonnen]

• Fix name collision on unnamed blocks, bug567. [Chandan Egbert]

• Fix name collision on task inputs, bug569. [Chandan Egbert]

Verilator 3.841 2012/09/03

• Add --savable to support model save/restore. [Jeremy Bennett]

• Support '{} assignment pattern on structures, part of bug355.

• Fix double-deep parameter cell WIDTHs, bug541. [Hiroki Honda]

• Fix imports under multiple instantiated cells, bug542. [Alex Solomatnikov]

• Fix defparam in generate broke in 3.840, bug543. [Alex Solomatnikov]

• Fix duplicate begin error broke in 3.840, bug548. [Alex Solomatnikov]

• Fix triangle symbol resolution error broke in 3.840, bug550. [Ted Campbell]

Verilator 3.840 2012/07/31 Beta

This version has large internal changes and may be less stable then the previous release.

• Rewrote tristate handling; supports tri0, tri1, tristate bit selects, concatenates and pullup/pulldowns, bug395, bug56, bug54, bug51. [Alex Solomatnikov, Lane Brooks, et al]

• Support packed structures and unions, bug181. Note this was a major internal change that may lead to some instability.

• Support tri0 and tri1, bug462. [Alex Solomatnikov]

• Support nmos and pmos, bug488. [Alex Solomatnikov]

• Add INITIALDLY warning on initial assignments, bug478. [Alex Solomatnikov]

• Add PINMISSING and PINNOCONNECT lint checks.

• Add --converge-limit option.

• Fix generate operators not short circuiting, bug413. [by Jeremy Bennett]

• Fix parameters not supported in constant functions. [Alex Solomatnikov]

• Fix duplicate warnings/errors, bug516. [Alex Solomatnikov]

• Fix signed extending biops with WIDTH warning off, bug511. [Junji Hashimoto]

• Fix ITOD internal error on real conversions, bug491. [Alex Solomatnikov]

• Fix input and real loosing real data type, bug501. [Alex Solomatnikov]

• Fix imports causing symbol table error, bug490. [Alex Solomatnikov]

• Fix newlines in radix values, bug507. [Walter Lavino]

• Fix loop error message to report line, bug513. [Jeremy Bennett]

• Fix false UNUSED warning on file system calls.

• Fix GCC 4.7.0 compile warnings, bug530. [Jeremy Bennett]

• Fix svdpi.h compile error on Apple OS.

• Fix compile error under git submodules, bug534. [Aurelien Francillon]

Verilator 3.833 2012/04/15

• Support += and -= in standard for loops, bug463. [Alex Solomatnikov]

• Fix processing unused parametrized modules, bug469, bug470. [Alex Solomatnikov]

• Add SELRANGE as warning instead of error, bug477. [Alex Solomatnikov]

• Add readme.pdf and internal.pdf and doxygen, bug483. [by Jeremy Bennett]

• Fix change detections on arrays, bug364. [John Stevenson, Alex Solomatnikov]

• Fix signed array warning, bug456. [Alex Solomatnikov]

• Fix genvar and begin under generate, bug461. [Alex Solomatnikov]

• Fix real constant parameter functions, bug475. [Alex Solomatnikov]

• Fix and document --gdb option, bug454. [Jeremy Bennett]

• Fix OpenSolaris compile error. [Sanjay Singh]