Verilator

06/19/2019

08:58 PM Issue #1305: Error messages do not contain hierarchical information

Clarification on AstNode clean up:
Will AstNodes ever be destroyed without calling deleteNode()? Or is that always ... Todd Strader

12:45 PM Issue #1468: Add Continuous Integration

I would hope that the ccache is persistent across their farm, or at least it should, otherwise I don't see why they w... Wilson Snyder

06/18/2019

10:19 PM Issue #1468: Add Continuous Integration

> https://github.com/verilator/verilator can be now used instead of git.veripool.org/git/verilator, they are identica... Todd Strader

05:47 PM Issue #1468 (Feature): Add Continuous Integration

https://github.com/verilator/verilator can be now used instead of git.veripool.org/git/verilator, they are identical.... Wilson Snyder

02:55 PM Issue #1468: Add Continuous Integration

Aaaand, I just noticed:
https://github.com/verilator/verilator_ext_tests
That's pretty timely. I had originally ... Todd Strader

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