Veripool

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]

Verilog::Language 3.400 2013-02-27

• Support SystemVerilog 1800-2012.

• Predefine SV_COV_START and other IEEE mandated predefines.

The Verilog-Mode source tree, including the self-tests for indentation and AUTOs, is now available as a github repository. See [[Installing]] for details.

SystemPerl 1.341 2013/02/10

• Fix cpan-testers' tests on systems without perldoc.

• Fix cppcheck warning.

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.

IPC::Locker 1.492 2013/01/31

• Add --host option to lockerd. [Victor Gamov]

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]