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 05/19/2019 to 06/17/2019

06/17/2019

10:38 PM Issue #1468 (Closed): Add Continuous Integration
This builds Verilator and runs the entire test suite within Travis-CI:
https://github.com/toddstrader/verilator-dev/...
Todd Strader
10:11 AM Issue #1462: signal redeclaration is not reported
I tried the first example with version 4.016 but it did not worked. Verilator did not raise warning or error on dupli... Peter Gerst

06/16/2019

01:59 PM Issue #1467 (Closed): Constant function evaluator incorrect on return of function var
In 4.016.
Wilson Snyder
01:59 PM Issue #1465 (Closed): --savable generates invalid c++ for some packed arrays
In 4.016.
Wilson Snyder
01:59 PM Issue #1462 (Closed): signal redeclaration is not reported
In 4.016.
Wilson Snyder
01:59 PM Issue #1460 (Closed): fstapi.c compile errors.
In 4.016.
Wilson Snyder
01:59 PM Issue #1458 (Closed): Dotted references to type parameters do not have the correct size
In 4.016.
Wilson Snyder
01:59 PM Issue #1456 (Closed): sameHash error on type parameters after 4.014
In 4.016.
Wilson Snyder
01:59 PM Issue #1427 (Closed): Incorrect real parameter assignment
In 4.016.
Wilson Snyder
01:59 PM Issue #1455 (Closed): Multi-threaded verilated simulation on single-core
In 4.016.
Wilson Snyder
01:59 PM Issue #1444 (Closed): Invalid xml output generated when code contains functions with string argum...
In 4.016.
Wilson Snyder
01:58 PM Issue #1441 (Closed): incorrect handling of strings in display and sformatf
In 4.016.
Wilson Snyder
01:58 PM Issue #1443 (Closed): Calling $display with real %t argument causes segfault in _vl_vsformat
In 4.016.
Wilson Snyder
01:58 PM Issue #1437 (Closed): -Wsign-compare warning in verilated.cpp
In 4.016.
Wilson Snyder
01:58 PM Issue #1449 (Closed): deferred assertion support
In 4.016.
Wilson Snyder
01:58 PM Issue #1433 (Closed): Warnings from unused parameters in verilated_fst_c.h
In 4.016.
Wilson Snyder
01:58 PM Issue #1436 (Closed): Add an option to silence the command-failed message
In 4.016.
Wilson Snyder
01:57 PM Verilator 4.016 Released
Verilator 4.016 2016-06-16
*** Add --quiet-exit, bug1436. [Todd Strader]
**** Error continuation lines no lo...
Wilson Snyder
01:39 PM Verilator Extended Tests
A new repository has been created to host large external tests of Verilator. Please see https://github.com/verilator... Wilson Snyder

06/15/2019

01:38 PM Issue #1414 (Duplicate): Multi dimensional variable in function causing issues
Sorry, forgot to reply to this when filed. This is duplicate of bug1315, basically at present you can't have unpacked... Wilson Snyder
01:35 PM Issue #1429 (Feature): Feature request: elaboration tasks
Did some poking on this, will add it to the soon-to-work on list. If you or someone has time to create a patch it wo... Wilson Snyder
12:10 PM Issue #1467 (Resolved): Constant function evaluator incorrect on return of function var
Thanks for the good test case.
Fixed in git towards 4.015.
Wilson Snyder
02:56 AM Issue #1467 (Confirmed): Constant function evaluator incorrect on return of function var
Well, this one is entertaining. Basically this:
return index_calc;
The function is already using index_ca...
Wilson Snyder
12:11 AM Issue #1467 (Closed): Constant function evaluator incorrect on return of function var
Trying to debug the root cause of multiple errors. Here is a minimal example I've managed to extract:... Roman Popov

06/14/2019

11:17 PM Issue #364: blocking & non-blocking assigns -- verilator issues error when no logical conflict ex...
I wonder if some simple fix can be invented here, like splitting array into 2 arrays internally, one modeling a regis... Roman Popov
10:42 PM Issue #1465 (Resolved): --savable generates invalid c++ for some packed arrays
Thanks much.
Pushed to git towards 4.015.
Wilson Snyder
01:39 PM Issue #1465: --savable generates invalid c++ for some packed arrays
Changes made, please find the new patch attached. Alex Chadwick
12:44 PM Issue #1465: --savable generates invalid c++ for some packed arrays
Strings can't be packed arrays, so we're probably ok there. If you're ambitious try adding an array of strings to th... Wilson Snyder
11:34 AM Issue #1465: --savable generates invalid c++ for some packed arrays
I see yes, I never bothered to look at the definition of @isWide@ etc, I was just mirroring the code in @emitVarDecl@... Alex Chadwick
11:11 AM Issue #1465 (AskedReporter): --savable generates invalid c++ for some packed arrays
First thanks for making a patch and improving the tests. The patch seems reasonably close, just a few little things.... Wilson Snyder
08:58 AM Issue #1465 (Closed): --savable generates invalid c++ for some packed arrays
When trying to use @--savable@ I noticed compiler errors in the generated C++ code for the save/restore routines. Thi... Alex Chadwick

06/12/2019

11:17 PM Issue #1462 (Resolved): signal redeclaration is not reported
Yes, some duplicates weren't reported.
Fixed in git towards 4.015.
Wilson Snyder
01:38 PM Issue #1462 (Closed): signal redeclaration is not reported
I am using verilator to lint verilog modules which will be then synthesized by Xilinx tools. Prior to synthesis veril... Peter Gerst
01:38 AM Issue #1460 (Resolved): fstapi.c compile errors.
Looks good, thanks for the efforts.
Pushed to git towards 4.015.
Wilson Snyder
12:47 AM Issue #1460: fstapi.c compile errors.
Hi,
Yes, did it. Here's the new and improved patch that hopefully has a minimal effect on everyone else. I added...
Richard Myers

06/11/2019

11:00 PM Issue #1458 (Resolved): Dotted references to type parameters do not have the correct size
Wilson Snyder
11:00 PM Issue #1458: Dotted references to type parameters do not have the correct size
Golden, thanks. Looks like one of those sort of patches which requires hours of thought to result in just one patche... Wilson Snyder
11:01 AM Issue #1458: Dotted references to type parameters do not have the correct size
OK, so I actually ran all the tests this time:
https://github.com/toddstrader/verilator-dev/tree/samehash-test
Th...
Todd Strader
10:52 PM Issue #1460 (AskedReporter): fstapi.c compile errors.
Thanks for debugging.
_WORDSIZE is defined in sys/types.h and your patch moves the test above this include, so I t...
Wilson Snyder
06:20 AM Issue #1460 (Closed): fstapi.c compile errors.
Hi,
I get many errors like the following with Verilator 4.014 (and before) when compiling fstapi using mingw32 (un...
Richard Myers

06/08/2019

11:06 PM Issue #1458: Dotted references to type parameters do not have the correct size
Sigh, this issue isn't working out well for me. So #1456 isn't totally fixed then. I'm getting AstBasicDTypes in pa... Todd Strader
10:01 PM Issue #1458: Dotted references to type parameters do not have the correct size
Um, now t_type_param.pl looks good but t_type_param_collision.pl fails.
Wilson Snyder
12:25 PM Issue #1458: Dotted references to type parameters do not have the correct size
Ugh, yup. I think I started with $bits(foo_inst.bar) before I added baz. In any case, this fixes the commented port... Todd Strader
03:18 AM Issue #1458 (AskedReporter): Dotted references to type parameters do not have the correct size
For the second commented section, it refers to baz is a parameter set to a $bits. $bits is by IEEE a 32-bit return v... Wilson Snyder

06/07/2019

03:22 PM Issue #1458 (Closed): Dotted references to type parameters do not have the correct size
See the commented out portions of t_type_param.v. Perhaps this shouldn't even be allowed since it can cause elaborat... Todd Strader

06/06/2019

11:57 PM Issue #1456: sameHash error on type parameters after 4.014
Pushed, thanks. Wilson Snyder
01:40 PM Issue #1456: sameHash error on type parameters after 4.014
Sorry, what do you think is missing? This commit hash the additional --debug-collision test:
https://github.com/tod...
Todd Strader
09:48 AM Issue #1456: sameHash error on type parameters after 4.014
Suspect you forgot to push samehash-fix.
Wilson Snyder
02:42 AM Issue #1456: sameHash error on type parameters after 4.014
Sorry, one more update to the same branch:
https://github.com/toddstrader/verilator-dev/tree/samehash-fix
It dawn...
Todd Strader
12:46 AM Issue #1456 (Resolved): sameHash error on type parameters after 4.014
Todd, great patch, thanks. Merged that, please file another bug if you can't look at #2, as I can't look immediately... Wilson Snyder
12:27 AM Issue #1456: sameHash error on type parameters after 4.014
I re-ran the test suite with this fix and everything passes. I also rewound to just before the #1427 fix and tried o... Todd Strader
02:45 PM Issue #1445: simple sample doesn't poduce trace when using systemc 2.3
Wilson Snyder wrote:
> As the SystemC building is outside of Verilator, don't think Verilator itself has anything he...
Martin Zaun
12:49 AM Issue #1445 (NoFixNeeded): simple sample doesn't poduce trace when using systemc 2.3
Thanks for debugging. Not sure who gave the code to set SC_SIMCONTEXT_TRACING, recommend you feed that back upstream ... Wilson Snyder

06/05/2019

02:54 PM Issue #1445: simple sample doesn't poduce trace when using systemc 2.3
*Simple workaround*
With make edit_cache I set...
Martin Zaun
10:48 AM Issue #1456: sameHash error on type parameters after 4.014
This fixes the Ariane build, but my new test still has issues:
https://github.com/toddstrader/verilator-dev/tree/bug...
Todd Strader
12:35 AM Issue #1456: sameHash error on type parameters after 4.014
Looks like I broke something with parameter types:
https://github.com/toddstrader/verilator-dev/tree/samehash-fix
...
Todd Strader

06/04/2019

08:11 PM Issue #1456: sameHash error on type parameters after 4.014
Ugh, smells like this guy:
https://www.veripool.org/issues/1427-Verilator-Incorrect-real-parameter-assignment
I p...
Todd Strader
07:48 PM Issue #1456 (Closed): sameHash error on type parameters after 4.014
Hi,
when building the ariane core (https://github.com/pulp-platform/ariane) with the current master, I get the fol...
Stefan Wallentowitz
11:05 AM Issue #1454: Support for loop index into generated arrays
Verilator will unroll both kinds of loops. Generate loops are unrolled at a different stage, elaboration, which is a... Wilson Snyder
09:22 AM Issue #1454: Support for loop index into generated arrays
Ok, then the issue is even deeper - why the synthesisable (i.e., constant-bound) behavioural for loops in Verilator a... X Yyy
04:44 AM Issue #1455: Multi-threaded verilated simulation on single-core
Thanks, Wilson! I will try asap.
It seems to me that it is deadlocked or livelocked somehow, it did not terminate ...
Stefan Wallentowitz

06/03/2019

11:17 PM Issue #1455 (Resolved): Multi-threaded verilated simulation on single-core
Yes, there was a missing yield, so should be much better. Fixed in git towards 4.016.
Is there a reason why you're...
Wilson Snyder
05:28 PM Issue #1455 (Closed): Multi-threaded verilated simulation on single-core
Hi,
I found an issue and before I dig deeper into it and try to solve it, I was wondering if you observed the issu...
Stefan Wallentowitz
10:32 PM Issue #1454 (Feature): Support for loop index into generated arrays
Verilator doesn't presently support runtime indexing into cells or named blocks. It does support generated indexing.... Wilson Snyder
05:10 PM Issue #1454 (Feature): Support for loop index into generated arrays
... X Yyy
11:29 AM Issue #1445: simple sample doesn't poduce trace when using systemc 2.3
Note this is waiting for a patch from someone, as CMAKE isn't the standard flow.
Wilson Snyder
08:44 AM Issue #1445: simple sample doesn't poduce trace when using systemc 2.3
Martin Zaun wrote:
> * Verilator version used: 4.015
same behavior reproduced with verilator *4.014* (stable bran...
Martin Zaun

05/31/2019

11:35 AM Issue #1449 (Resolved): deferred assertion support
Realized all that was needed was parser code pulled from Verilog-Perl.
Fixed in git towards 4.016.
Wilson Snyder
09:28 AM Issue #1451: t_dist_whitespace.pl fails with --golden
Yeah, my only concern with deleting branches is breaking all the URLs I'm depositing here (also mentioned in the arti... Todd Strader
12:41 AM Issue #1451 (Closed): t_dist_whitespace.pl fails with --golden
Perfect, pushed to git towards 4.015.
BTW if you'd find it useful to see what of your branches have outstanding wo...
Wilson Snyder
12:25 AM Issue #1451 (Closed): t_dist_whitespace.pl fails with --golden
... Todd Strader
12:33 AM Issue #1305: Error messages do not contain hierarchical information
I committed the error spacing change.
For option B I was assuming we'd clone filelines for each hier. Note we do ...
Wilson Snyder

05/30/2019

12:02 PM Issue #1305: Error messages do not contain hierarchical information
1 + 2: This sounds good to me. I'll change to warnMore() and look for your commit.
3: This commit just made my da...
Todd Strader
01:01 AM Issue #1305: Error messages do not contain hierarchical information
1. First the trivial:
string locationMsg = msgPrefix()+locationStr;
Should be
string locatio...
Wilson Snyder
01:00 AM Issue #1305: Error messages do not contain hierarchical information
1. First the trivial:
string locationMsg = msgPrefix()+locationStr;
Should be
string locatio...
Wilson Snyder
03:14 AM Issue #1449: deferred assertion support
I mean might you be able to come up with a patch that fixes the sources yourself, and/or provide a test_regress style... Wilson Snyder
02:58 AM Issue #1449: deferred assertion support
Yeah, I'm not the best with linux, but given instructions, I would be happy to apply the patch and test it out. I'm u... Charles Eddleston

05/29/2019

10:45 PM Issue #1444 (Resolved): Invalid xml output generated when code contains functions with string arg...
Great, thanks for the effort on this.
Pushed to git towards 4.016.
Wilson Snyder
04:05 PM Issue #1444: Invalid xml output generated when code contains functions with string arguments
Apologies for the delay. I have attached the latest patch for the fix.
The change now handles all ascii values (exce...
Kanad Kanhere
10:31 PM Issue #1449 (Feature): deferred assertion support
Seems straight forward to add this. Might you be willing to attempt a patch, or at least a self-checking test checke... Wilson Snyder
07:54 PM Issue #1449: deferred assertion support
Error message:
syntax error, unexpected final, expecting '(' or property
code:
assert final ( !intf_data_in_64_4...
Charles Eddleston
07:53 PM Issue #1449 (Closed): deferred assertion support
System verilog deferred assertions are treated as syntax errors:
http://systemverilog.us/vf/deferred_assertion.pdf
Charles Eddleston
05:26 PM Issue #1305: Error messages do not contain hierarchical information
I updated the branch based on my musings about the presentation in #24:
https://github.com/toddstrader/verilator-dev...
Todd Strader

05/28/2019

11:08 AM Issue #1445: simple sample doesn't poduce trace when using systemc 2.3
Looks like you've made some good progress debugging, can you please continue and get it to a patch to fix the issue?
Wilson Snyder

05/24/2019

08:03 AM Issue #1307: Can not dump trace with CMAKE compiled SystemC library
Another example which reproduces this issue with SystemC 2.3.3 is reported with bug1445. Example data available at ht... Martin Zaun

05/22/2019

02:07 AM Issue #1439 (Feature): Add "included from" and macro expansion information in error messages
Wilson Snyder
02:06 AM Issue #1430: Broken node on indexed interface modport
Tracked this down to an issue that indexed interfaces with modports are broken in LinkDot. Stay tuned.
Wilson Snyder
02:02 AM Issue #1443: Calling $display with real %t argument causes segfault in _vl_vsformat
Re time format:
IEEE does not say to print "ns" by default. I suspect what you have is a call to $timeformat speci...
Wilson Snyder

05/21/2019

02:14 PM Issue #1443: Calling $display with real %t argument causes segfault in _vl_vsformat
Great, fix confirmed, thanks.
One very minor observation. For consistency with other simulators, could we suffix %...
Julien Margetts
 

Also available in: Atom