Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Force-Gate-Sim
  Gspice
  IPC::Locker
  Rsvn
  SVN::S4
  Voneline
  WFH
General Info
  Papers

News

Verilator 4.016 Released

Added by Wilson Snyder about 1 month ago

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 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 Released

Added by Wilson Snyder 2 months ago

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 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]

Verilator 4.012 Released

Added by Wilson Snyder 4 months ago

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 Released

Added by Wilson Snyder 6 months ago

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 Released

Added by Wilson Snyder 8 months ago

  • 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]

RISC-V Contest Chooses Verilator

Added by Wilson Snyder 8 months ago

The 2018 RISC-V design contest has announced all submissions must be submitted only using Verilator.

The contest is to design a RISC-V soft CPU core, run by the RISC-V Foundation, and is sponsored by Google, Antmicro, Lattice Semiconductor and Microsemi. For more details see https://riscv.org/2018contest/

Verilator 4.006 Released

Added by Wilson Snyder 9 months ago

Verilator 4.006 2018-10-27

  • Add --pp-comments, msg2700. [Robert Henry]
  • Add --dump-defines.
  • For --trace-fst, save enum decoding information, bug1358. [Sergi Granell] (To visualize enumeration data you must use GTKwave 3.3.95 or newer.)
  • For --trace-fst, instead of *.fst.hier, put data into *.fst. [Tony Bybell]
  • Fix --trace-lxt2 compile error on MinGW, msg2667. [HyungKi Jeong]
  • Fix Windows .exe not found, bug1361. [Patrick Stewart]

Verilator 4.004 Released

Added by Wilson Snyder 10 months ago

Verilator 4.004 2018-10-6

  • Add GTKWave FST native tracing, bug1356. [Sergi Granell] (Verilator developers need to pull the latest vcddiff.)
  • Support $past. [Dan Gisselquist]
  • Support restrict, bug1350. [Clifford Wolf]
  • Rename include/lxt2 to include/gtkwave.
  • Fix replication of 64-bit signal change detects.
  • Fix Mac OSX 10.13.6 / LLVM 9.1 compile issues, bug1348. [Kevin Kiningham]
  • Fix MinGW compile issues, msg2636. [HyungKi Jeong]

Verilator 4.002 Released

Added by Wilson Snyder 10 months ago

Verilator 4.002 2018-09-16

This is a major release. Any patches may require major rework to apply. [Thanks everyone]

  • Add multithreaded model generation.
  • Add runtime arguments.
  • Add GTKWave LXT2 native tracing, bug1333. [Yu Sheng Lin]
  • Note $random has new algorithm; results may vary vs. previous versions.
  • Better optimize large always block splitting, bug1244. [John Coiner]
  • Add new reloop optimization for repetitive assignment compression.
  • Support string.atoi and similar methods, bug1289. [Joel Holdsworth]
  • Fix internals to be C++ null-pointer-check clean.
  • Fix internals to avoid 'using namespace std'.
  • Fix Verilation performance issues, bug1316. [John Coiner]
  • Fix clocker attributes to not propagate on concats. [John Coiner]
  • Fix first clock edge and --x-initial-edge, bug1327. [Rupert Swarbrick]
  • Fix compile error on tracing of string arrays, bug1338. [Iztok Jeras]
  • Fix number parsing with newline after radix, bug1340. [George Cuan]
  • Fix string ?: conditional type resolution, bug1345. [Iztok Jeras]
  • Fix duplicate symbol error on generate tri, bug1347. [Tomas Dzetkulic]
(1-10/96)

Also available in: Atom