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

Activity

From 09/07/2018 to 10/06/2018

10/06/2018

02:14 PM Issue #1348 (Closed): C++ unordered_set hash/comparator requirements
In 4.004.
Wilson Snyder
02:14 PM Issue #1350 (Closed): Support for immediate restict
In 4.004.
Wilson Snyder
02:13 PM Issue #1356 (Closed): Support FST
In 4.004, thanks for your contribution.
Wilson Snyder
02:13 PM Verilator 4.004 Released
Verilator 4.004 2018-10-6
** Add GTKWave FST native tracing, bug1356. [Sergi Granell]
(Verilator develop...
Wilson Snyder

10/05/2018

11:53 AM Issue #1353: Convergence failures, how to debug
I had hundreds of UNOPTFLAT but they were all paths from one part of a vector to another rather than genuine combinat... Al Grant
10:46 AM Issue #1353: Convergence failures, how to debug
Fair point, added more words to the documentation.
Unfortunately verilator at this stage doesn't have any knowledg...
Wilson Snyder
10:33 AM Issue #1353: Convergence failures, how to debug
I'm not sure whether it was a bug report or not. It was basically an observation that the FAQ made it
sound like the...
Al Grant
12:31 AM Issue #1353 (NoFixNeeded): Convergence failures, how to debug
This seemed a request for assistance which was provided earlier, if I misread it and something needs fixing please re... Wilson Snyder
10:22 AM Issue #1329 (NoFixNeeded): Compile error "expected unqualified-id before numeric constant"
Wilson Snyder
01:26 AM Issue #1329: Compile error "expected unqualified-id before numeric constant"
Please close. I copied a Linux redhat build over to Suse and it worked. Shawn Boshart
12:58 AM Issue #1329: Compile error "expected unqualified-id before numeric constant"
Did you have any luck debugging this, or working around it?
Wilson Snyder
05:46 AM Issue #1358: Improve FST support to show enums
Wilson Snyder wrote:
> Type of variables is now included. Done for now.
>
> As to enums, keeping this bug open a...
Sergi Granell
12:25 AM Issue #1358 (Feature): Improve FST support to show enums
Type of variables is now included. Done for now.
As to enums, keeping this bug open and on hold until GTKwave ups...
Wilson Snyder
01:03 AM Issue #1296 (NoFixNeeded): SystemVerilog logic array inside struct should warn on bad index
Wasn't a bug, forgot to close earlier.
Wilson Snyder
01:01 AM Issue #1292 (Feature): scr1 test suite: |-> and |=> operators are unsupported in assertions
Wilson Snyder
12:28 AM Issue #1292: scr1 test suite: |-> and |=> operators are unsupported in assertions
Note git master now supports $past() which may help getting support for some of these.
Wilson Snyder
12:54 AM Issue #1355: Multi-thread example: --threads 1 (compile error)
Mutex is already included on line 42 of verilated.h, so I don't understand the GCC error.
Also gcc 8.2.0 works for...
Wilson Snyder
12:29 AM Issue #1328 (NoFixNeeded): Parameter with type string cause compile error when passed to $readmem...
Didn't hear back so assuming fixed, reopen and attach a test case if fails on latest release.
Wilson Snyder

10/04/2018

02:42 PM Issue #1358: Improve FST support to show enums
Wilson Snyder wrote:
> First step, input/output/inout indications should now work.
Thanks, I've tested it and it ...
Sergi Granell
03:52 AM Issue #1355: Multi-thread example: --threads 1 (compile error)
Hi. With gcc 8 the error was:... Danilo Ramos

10/03/2018

11:51 PM Issue #1358: Improve FST support to show enums
First step, input/output/inout indications should now work.
Wilson Snyder
04:51 PM Issue #1358: Improve FST support to show enums
Wilson Snyder wrote:
> Ok, for signals, I propose I'll make the decl calls pass the right information. Can you then...
Sergi Granell
04:42 PM Issue #1358: Improve FST support to show enums
Ok, for signals, I propose I'll make the decl calls pass the right information. Can you then hook them up to the FST... Wilson Snyder
04:28 PM Issue #1358: Improve FST support to show enums
Wilson Snyder wrote:
> Do you want to try to fix the guts of Verilator to put out the types etc, or should I when I ...
Sergi Granell
03:51 PM Issue #1358: Improve FST support to show enums
Do you want to try to fix the guts of Verilator to put out the types etc, or should I when I get time? (Meantime you... Wilson Snyder
02:05 PM Issue #1358: Improve FST support to show enums
The tricky part is, of course, that this code has to be generated and that the full hierarchy must also be available ... Sergi Granell
02:02 PM Issue #1358 (Closed): Improve FST support to show enums
Currently, the FST we generate is very limited (basically wires and one kind of scope). As FST actually supports Syst... Sergi Granell
02:57 PM Issue #1355: Multi-thread example: --threads 1 (compile error)
Sorry the delay. Yes, I am using gcc 7.
I am trying to compile gcc 8 and check. I will report later.
I don't need...
Danilo Ramos

10/02/2018

10:48 PM Issue #1333: Support LXT2 file format natively
Note based on your LXT2 code/changes we just committed adding FST format to git, please give it a try, if there are i... Wilson Snyder
10:44 PM Issue #1356 (Resolved): Support FST
Great, pushed to git plus a few minor changes that GTKwave updated.
If you're ready to start on more advanced trac...
Wilson Snyder
04:02 PM Issue #1356: Support FST
Wilson Snyder wrote:
> The declarations are triggered by the "m_initcb" callback execution. Presently this is called...
Sergi Granell
10:35 AM Issue #1356: Support FST
The declarations are triggered by the "m_initcb" callback execution. Presently this is called in a loop in VerilatedF... Wilson Snyder
09:39 AM Issue #1356: Support FST
Wilson Snyder wrote:
> FYI I moved include/lxt2 to include/gtkwave, please pull.
Thanks, pulled!
Btw as I said...
Sergi Granell

10/01/2018

10:30 PM Issue #1356: Support FST
FYI I moved include/lxt2 to include/gtkwave, please pull.
Wilson Snyder
03:46 PM Issue #1356: Support FST
Wilson Snyder wrote:
> They should be in-order. Also I'm thinking we should rename include/fst and include/lxt2 to ...
Sergi Granell
03:07 PM Issue #1356: Support FST
They should be in-order. Also I'm thinking we should rename include/fst and include/lxt2 to just include/gtkwave, as... Wilson Snyder
02:55 PM Issue #1356: Support FST
Wilson Snyder wrote:
> Great progress, almost there. Does gtkwave provide a diff tool? That would be perfect if so....
Sergi Granell
10:24 AM Issue #1356: Support FST
Great progress, almost there. Does gtkwave provide a diff tool? That would be perfect if so.
Wilson Snyder
07:08 AM Issue #1356: Support FST
I've fixed all the errors, now it compiles fine.
Now when I run 'make && test_regress/t/t_trace_fst.pl --vlt' I ge...
Sergi Granell
06:10 AM Issue #1356: Support FST
Wilson Snyder wrote:
> Yes, please fix the casts and don't turn off new warnings, nor use non-g++.
There are tons...
Sergi Granell

09/30/2018

11:13 PM Issue #1356: Support FST
Yes, please fix the casts and don't turn off new warnings, nor use non-g++. Wilson Snyder
10:37 PM Issue #1356: Support FST
Wilson Snyder wrote:
> Sorry, to test
>
> make && test_regress/t/t_trace_fst.pl --vlt
>
> Going forward can ...
Sergi Granell
09:35 PM Issue #1356: Support FST
I did push the LTX2 typo fix, thanks. So do a "git pull" before the diff.
Wilson Snyder
09:33 PM Issue #1356: Support FST
Sorry, to test
make && test_regress/t/t_trace_fst.pl --vlt
Going forward can you please send just a combined ...
Wilson Snyder
09:26 PM Issue #1356: Support FST
Wilson Snyder wrote:
> Type
>
> test_regress/t/t_trace_fst.pl
>
> Or safer, in case you changed something ...
Sergi Granell
09:02 PM Issue #1356: Support FST
Also you should add to your ~/.bashrc or equivalent

export VERILATOR_AUTHOR_SITE=1
Then rerun ./configure. ...
Wilson Snyder
08:50 PM Issue #1356: Support FST
Type
test_regress/t/t_trace_fst.pl
Or safer, in case you changed something in the sources,
make && t...
Wilson Snyder
08:05 PM Issue #1356: Support FST
Wilson Snyder wrote:
> Please add the following patch to your set and get the test(s) to pass (test_regress/t/t_trac...
Sergi Granell
01:59 PM Issue #1356: Support FST
I've playing around with the fstapi and it's quite useful, for example:... Sergi Granell
01:58 PM Issue #1356: Support FST
Please add the following patch to your set and get the test(s) to pass (test_regress/t/t_trace_fst.pl)
The calls i...
Wilson Snyder
12:18 PM Issue #1356: Support FST
I have ported all the supported types of the LXT2 backend to FST and fixed signal aliases since the latest patch.
I ...
Sergi Granell
11:58 AM Issue #1356: Support FST
Tony Bybell, the author of GTKwave has indicated he's receptive to improvements. Once we have support in Verilator w... Wilson Snyder
11:38 AM Issue #1356: Support FST
I tried to compile pa packed struct example in Icarus Verilog (10.1 included in Ubuntu 18.04), but I only got wires a... Iztok Jeras
10:03 AM Issue #1356: Support FST
Our messages crossed, I see the new files now, seem ok once you obviously extend out the commented code. Please add ... Wilson Snyder
09:55 AM Issue #1356: Support FST
Excellent! Your patch didn't show the new fst files (I suspect you forgot to "git add" them), can you attach a new p... Wilson Snyder
09:53 AM Issue #1356: Support FST
Here's the initial FST patch, it's just a Proof of concept for now.
All the include/fst were copied from GTKWave's...
Sergi Granell
08:40 AM Issue #1356: Support FST
Update: I've managed to get a very basic valid FST dump (only dumps bit variables)!
Since the FST API supports nat...
Sergi Granell
07:17 AM Issue #1356: Support FST
Thanks, I followed the LXT2 patch and now I have the basic infrastructure for FST setup. Now it's time to use the fst... Sergi Granell
10:30 AM Issue #1355 (AskedReporter): Multi-thread example: --threads 1 (compile error)
Wilson Snyder
10:29 AM Issue #1355: Multi-thread example: --threads 1 (compile error)
Googling "undefined reference to `TLS init function" says this is a gcc bug. What version of GCC are you using?
g...
Wilson Snyder

09/29/2018

10:10 PM Issue #1356: Support FST
Also see how the LXT2 stuff was added
git show acf4a3fa998875d832fd8b0660941b3d31f76bcc
Wilson Snyder
10:07 PM Issue #1356 (Feature): Support FST
Rather than using the shared library are there .h/.cpp files that can be compiled in just as with FXT2?
If not, th...
Wilson Snyder
09:50 PM Issue #1356: Support FST
I'm trying to link with libfst.a from GTKWave but autotools is too complicated for me.
Steps I've tried:
# Copy g...
Sergi Granell
08:22 PM Issue #1356 (Closed): Support FST
It seems like this dump format supported by GTKWave would allow to include struct member names and enum names to the ... Sergi Granell

09/28/2018

06:47 PM Issue #1355 (AskedReporter): Multi-thread example: --threads 1 (compile error)
Hello.
Is there a multi-thread example? If I just enable --threads 1 I got a compile error which I cannot go throu...
Danilo Ramos

09/27/2018

04:53 PM Issue #1353 (AskedReporter): Convergence failures, how to debug
Sorry, this isn't usually a problem and when it is it usually is "obvious" from the signal involved what is the probl... Wilson Snyder
12:52 PM Issue #1353 (NoFixNeeded): Convergence failures, how to debug
I'm using 4.002 with a design that has simulated successfully with other compilers.
It is failing with "model didn't...
Al Grant
04:34 PM Issue #1351 (Feature): Support for loading stimulus from VCD file
Wilson Snyder

09/25/2018

07:08 PM Issue #1352 (WillNotFix): Do you have plan to use CMake to replace current autoconf?
Unlikely, as there are many many alternative make systems, and think the old traditional system is the best for porta... Wilson Snyder
11:05 AM Issue #1352 (WillNotFix): Do you have plan to use CMake to replace current autoconf?
Do you have plan to use CMake to replace current autoconf build script? And pre-compile the CPP files into library? Enzo Chi

09/24/2018

02:54 PM Issue #1315: Using an array in a function called from a parameter
Had the same issue too. stefano cappello
08:23 AM Issue #1350: Support for immediate restict
Wilson Snyder wrote:
> Also note this version will add $past.
Awesome! Thanks.
Clifford Wolf

09/23/2018

07:44 PM Issue #1349 (NoFixNeeded): Cygwin verilator_coverage fails due to cygwin bug in getline()
Glad it is working now. Wilson Snyder
07:20 PM Issue #1350 (Resolved): Support for immediate restict
Straightforward enough.
Pushed to git towards 4.004.
Also note this version will add $past.
Wilson Snyder
07:46 AM Issue #1350 (Closed): Support for immediate restict
Verilator has support for immediate assert and assume. Immediate restrict statements should simply be parsed identica... Clifford Wolf
07:50 AM Issue #1351 (Feature): Support for loading stimulus from VCD file
A feature that allows loading a stimulus from a VCD file would be great. One application I am interested in, and coul... Clifford Wolf

09/20/2018

06:44 AM Issue #1349: Cygwin verilator_coverage fails due to cygwin bug in getline()
Thanks, Wilson. 4.002 is working fine on my CentOS 7.3 running inside Oracle VM VirtualBox so I'll just verilate the... Lloyd Gomez
06:05 AM Issue #1349: Cygwin verilator_coverage fails due to cygwin bug in getline()
Try recompiling with -O0 or updating your GCC package, this seems a GCC/Cygwin bug.
https://www.mail-archive.com/c...
Wilson Snyder
05:54 AM Issue #1349: Cygwin verilator_coverage fails due to cygwin bug in getline()
Here's the output from gdb (I apologize, I'm not an expert on Cygwin and gdb in general...):... Lloyd Gomez

09/19/2018

07:26 PM Issue #1349: Cygwin verilator_coverage fails due to cygwin bug in getline()
This looks to be caused by two getline calls in VlcTop.cpp expecting \r\n in Cygwin I believe. A quick fix can be mad... Aria Kraft
08:49 AM Issue #1349 (AskedReporter): Cygwin verilator_coverage fails due to cygwin bug in getline()
If you run the verilator_coverage_dbg executable under gdb then do "bt" get a backtrace, what do you get? Wilson Snyder
06:26 AM Issue #1349 (Closed): Cygwin verilator_coverage fails due to cygwin bug in getline()
Hello,
I am trying to install Verilator 4.002 on Cygwin. Compilation looks ok but I get a failure when running th...
Lloyd Gomez

09/18/2018

01:49 AM Issue #1348: C++ unordered_set hash/comparator requirements
I fixed the std++03 thing, that was a typo, though the macro it sets isn't presently used. At present these flags ar... Wilson Snyder

09/17/2018

11:29 PM Issue #1348: C++ unordered_set hash/comparator requirements
Another possible issue I noticed while working on this - it looks like gcc isn't being called with any -std=XXX even ... Kevin Kiningham
10:41 PM Issue #1348 (Resolved): C++ unordered_set hash/comparator requirements
Great. Strange that cppcheck didn't complain about the missing const, it usually finds those.
Sounds like you're ...
Wilson Snyder
03:47 PM Issue #1348: C++ unordered_set hash/comparator requirements
Ah - found the problem. CmpElems::operator() was declared non const. Attached patch fixes the warning.
Kevin Kiningham
03:39 PM Issue #1348: C++ unordered_set hash/comparator requirements
Here's the full messages.
From Compiling src/V3Scoreboard.cpp:...
Kevin Kiningham
10:42 AM Issue #1348 (Confirmed): C++ unordered_set hash/comparator requirements
I pushed to git your three patches, thanks.
As to the invokable one I wasn't able to get an assertion compiling to...
Wilson Snyder
12:54 AM Issue #1348: C++ unordered_set hash/comparator requirements
I have two other small patches that fix warnings from clang - one fixes a format error and the other fixes an unused ... Kevin Kiningham
12:24 AM Issue #1348: C++ unordered_set hash/comparator requirements
OSX 10.13.6 and apple's version of clang. I'm also using libc++ instead of libstdc++.... Kevin Kiningham

09/16/2018

11:56 PM Issue #1348: C++ unordered_set hash/comparator requirements
Which OS distribution and GCC?
It sounds like you were able to get it working, could you please post the patch tha...
Wilson Snyder
10:07 PM Issue #1348 (Closed): C++ unordered_set hash/comparator requirements
Both the hash and comparator functors provided to std::unordered_set must be copy constructible per the C++ standard.... Kevin Kiningham
09:28 PM Issue #1347 (Closed): Duplicate declaration on generate tristate UDP
In 4.002.
Wilson Snyder
09:28 PM Issue #1345 (Closed): String conditional operation gives compile error
In 4.002.
Wilson Snyder
09:28 PM Issue #1338 (Closed): --trace of SystemVerlog string gives compile error
In 4.002.
Wilson Snyder
09:28 PM Issue #1327 (Closed): Strange initialisation behaviour with "VinpClk" cloned clock variables
In 4.002.
Wilson Snyder
09:28 PM Issue #1316 (Closed): Linear searches exposed by large design (v4.0)
In 4.002, thanks for your work.
Wilson Snyder
09:27 PM Issue #1289 (Closed): scr1 test suite: string.hextoa is not implemented
In 4.002.
Wilson Snyder
09:27 PM Issue #1244 (Closed): V3Split not splitting
In 4.002.
Wilson Snyder
09:27 PM Issue #1333 (Closed): Support LXT2 file format natively
In 4.002, thanks for your work.
Wilson Snyder
09:26 PM Verilator 4.002 Released
Verilator 4.002 2018-09-16
This is a major release. Any patches may require major rework to apply. [Thanks everyo...
Wilson Snyder

09/14/2018

10:57 AM Issue #1347 (Resolved): Duplicate declaration on generate tristate UDP
Thanks for a good testcase.
The tristate removal needed to be after uniqifing generate names.
Fixed in git towa...
Wilson Snyder
07:44 AM Issue #1347 (Closed): Duplicate declaration on generate tristate UDP
... Tomas Dzetkulic

09/13/2018

07:32 AM Issue #1315: Using an array in a function called from a parameter
FWIW, I ran into this issue too just now.
Nathan Clarke

09/12/2018

11:21 PM Issue #1345 (Resolved): String conditional operation gives compile error
The problem is related to conditional ? : operators not propagating the string type.
Fixed in git towards 4.000.
Wilson Snyder
07:10 PM Issue #1345 (Closed): String conditional operation gives compile error
This is an error compiling generated C++ code. I assume it is related to SV string type functionality, but it could b... Iztok Jeras
07:10 PM Issue #1338: --trace of SystemVerlog string gives compile error
https://www.veripool.org/issues/1345-Verilator-compile-error-in-generated-C-files-probably-SV-string-related Iztok Jeras
06:08 PM Issue #1338: --trace of SystemVerlog string gives compile error
Please file a new issue and I'll take a look tonight, thanks.
Wilson Snyder
05:24 PM Issue #1338: --trace of SystemVerlog string gives compile error
I was able to run the test code properly with the fixed Verilator, then I encountered another error compiling generat... Iztok Jeras

09/11/2018

10:01 PM Issue #1342: False(?) UNOPT warning in combinational generate loop operating on MDA
UNOPT is complaining because your "wire t" is inside the loop, and there is a dependency loop through this wire (igno... Wilson Snyder
09:58 PM Issue #1342 (NoFixNeeded): False(?) UNOPT warning in combinational generate loop operating on MDA
Wilson Snyder
01:57 PM Issue #1342 (NoFixNeeded): False(?) UNOPT warning in combinational generate loop operating on MDA
The attached test-code generates @UNOPT@ warnings with Verilator 3.926. This is a distilled test-case that exposes a... Alex Reed

09/08/2018

05:17 AM Issue #1338 (Resolved): --trace of SystemVerlog string gives compile error
Fixed in git towards 4.000. Note the fix is not to trace the string at all, as VCD format isn't speced to have stri... Wilson Snyder
 

Also available in: Atom