Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  IPC::Locker
  Parallel::Forker
  Voneline
General Info
  Papers

Activity

From 10/15/2019 to 11/13/2019

11/13/2019

10:56 PM Issue #1596: Travis tweaks
That example isn't terribly important. I suggest I just only run it if python is new enough, rather than take the 3 ... Wilson Snyder
09:38 PM Issue #1596: Travis tweaks
The other option here is to install Python 3.5 on the Trusty image. This is the latest version of Python3 that Ubunt... Todd Strader
01:28 PM Issue #1596: Travis tweaks
I think we should aim to allow 14.04, or at least plan to until we find something painful.
Thanks for diagnosing e...
Wilson Snyder
01:24 PM Issue #1596: Travis tweaks
Great, I'll keep that in mind. I've gone down a bit of a rabbit hole here and am cleaning up a few more things. One... Todd Strader
09:39 PM Issue #364: blocking & non-blocking assigns -- verilator issues error when no logical conflict ex...
I'm not sure if you mean that the warning can be disabled for my case or the fundamental issue can be fixed for my ca... Paul Donahue
12:34 AM Issue #364: blocking & non-blocking assigns -- verilator issues error when no logical conflict ex...
Good point, raised to normal. Perhaps if I provide some pointers you could attempt a patch to the warning (which sho... Wilson Snyder
02:15 PM Issue #1597 (AskedReporter): building verilator from source package
By setting VERILATOR_ROOT that overrides the default you set for prefix, just don't set that and it should work, let ... Wilson Snyder
01:59 PM Issue #1597 (AskedReporter): building verilator from source package
Dear Community,
I've compiled the Verilator from scratch.
Untar the verilator-4.016.tgz.
cd /home/myhome/myloc...
thomas arndt

11/12/2019

10:17 PM Issue #364: blocking & non-blocking assigns -- verilator issues error when no logical conflict ex...
I am running into this problem very frequently with RTL that extensively uses packed structs. For instance this does... Paul Donahue
11:29 AM Issue #1596: Travis tweaks
Looks good. Feel free to continue to ask, but also feel free to push any travis or other changes you feel reasonably... Wilson Snyder
10:38 AM Issue #1596 (Closed): Travis tweaks
See:
https://github.com/toddstrader/verilator-dev/tree/travis-tweaks
and:
https://github.com/toddstrader/verilator...
Todd Strader

11/11/2019

01:34 PM Issue #1595: Fix interface reference tracing
The scopes are known once V3Scope completes, so yes they are known.
I'm not sure what the easiest way to know from...
Wilson Snyder
01:08 PM Issue #1595 (Closed): Fix interface reference tracing
I discovered that my commit for bug1594 is not yet working (and unfortunately escaped into 4.022). The problem is th... Todd Strader

11/10/2019

07:30 PM Issue #1519 (Closed): Benchmark --protect-lib runtime
In 4.022.
(& thanks for all your work in this release)
Wilson Snyder
07:29 PM Issue #1581 (Closed): Ranges starting with zero result in unsigned/constant warning
In 4.022.
Wilson Snyder
07:28 PM Issue #1490 (Closed): Add an option to create a DPI protected library
In 4.022.
Wilson Snyder
07:28 PM Issue #1363 (Closed): CMake support
In 4.022.
Wilson Snyder
07:28 PM Issue #1521 (Closed): Add --protect-ids to enhance --protect-lib obfuscation
In 4.022.
Wilson Snyder
07:28 PM Issue #1315 (Closed): Using an array in a function called from a parameter
In 4.022.
Wilson Snyder
12:27 AM Issue #1315: Using an array in a function called from a parameter
Could you look again at bug1484 and maybe add it to the regression? It doesn't work with the basic support that was c... John Martin
07:28 PM Issue #1594 (Closed): Add interface port visibility in traces
In 4.022.
Wilson Snyder
07:28 PM Issue #1535 (Closed): Double quotes in -f option file
In 4.022.
Wilson Snyder
07:28 PM Issue #1570 (Closed): Verilog 2001: verilator does not issue a warning on missing 'reg', Webpack ...
In 4.022.
Wilson Snyder
07:27 PM Verilator 4.022 Released
Verilator 4.022 2019-11-10
** Add --protect-lib, bug1490. [Todd Strader]
** Add cmake support, bug1363. [...
Wilson Snyder
01:43 AM Issue #1484: Parameter of an array of enumeration values breaks conditionals inside a generate block
Silly mistake :( Thank you for looking at it! John Martin
01:32 AM Issue #1484: Parameter of an array of enumeration values breaks conditionals inside a generate block
Note bug1315 is fixed in git, now this example fails with
%Error: t/t_param_array6.v:58: Illegal assignment of ...
Wilson Snyder

11/09/2019

11:37 PM Issue #1578: Support unpacked array function constantization
bug1315 has been fixed in git towards eventual 4.022 release.
This example passes when:
parameter MASK = ma...
Wilson Snyder
11:33 PM Issue #1315 (Resolved): Using an array in a function called from a parameter
Basic support for parameter arrays is committed to git towards eventual 4.022 release.
Note the example provided n...
Wilson Snyder

11/08/2019

02:02 PM Issue #1594 (Resolved): Add interface port visibility in traces
Done. Todd Strader
12:06 PM Issue #1594 (Assigned): Add interface port visibility in traces
Good idea.
Only nit is to put braces around the iteration and reorder a bit to clarify how you are save/restoring ...
Wilson Snyder
11:52 AM Issue #1594 (Closed): Add interface port visibility in traces
See:
https://github.com/toddstrader/verilator-dev/tree/iface-vcd
Users should not have to know where an interface...
Todd Strader
01:13 PM Issue #1523: Add waveform replay tool
> I'd suggest instead to look at using the gtkwave libraries.
Good point, I'll check out that codebase too. I'll ...
Todd Strader
03:34 AM Issue #1544 (Closed): Improve readme
Rewrote readme, install, and updated URLs.
Wilson Snyder

11/07/2019

11:43 PM Issue #1523: Add waveform replay tool
>https://github.com/ben-marshall/verilog-vcd-parser
>Before I go to much further down this path, I wanted to discuss...
Wilson Snyder
04:21 PM Issue #1523: Add waveform replay tool
You are correct that this should not be tied to --protect-lib. I've updated the subject accordingly.
I have somet...
Todd Strader
11:17 PM Issue #1593 (Confirmed): Parameter-resolved constants from interface components
I think it's also a bug that the workaround works, any reference into a child (which an interface is) should have had... Wilson Snyder
04:39 PM Issue #1593: Parameter-resolved constants from interface components
Yeah, I keep bumping into this one too. Verilator should be able to take $bits() of that signal in the same way that... Todd Strader
04:22 PM Issue #1593 (Confirmed): Parameter-resolved constants from interface components
When doing something like this:
localparam MY_WIDTH = $bits({my_intf.signal1, my_intf.signal2});
We get the follo...
Ahmed Qureshi
12:48 AM Issue #1556 (Closed): More informative did not converge message
Not perfect (still not great line number), but a lot more trail to follow now.
Wilson Snyder
12:18 AM Issue #1590: Fuzzer: Segfault on parameter as generate condition
Perhaps I'm missing some detail, but can't you just tweak actual_fail to not be interesting if there was %Error printed? Wilson Snyder

11/06/2019

11:10 PM Issue #1590: Fuzzer: Segfault on parameter as generate condition
Regarding only crashes with no output, that's easier said than done. I don't know of any fuzzer capable of doing tha... Eric Rippey
02:15 AM Issue #1570 (Resolved): Verilog 2001: verilator does not issue a warning on missing 'reg', Webpac...
Fixed in git towards eventual 4.022 release.
Wilson Snyder
12:35 AM Issue #1589: Fuzzer: Segfault on genvar out of scope
Regarding the scope: that's interesting. I think you're right but it took me longer to confirm that than I expected.... Eric Rippey

11/05/2019

01:51 PM Issue #1580 (Closed): test_regress/t_prot_lib is unstable
Done. Todd Strader
01:43 PM Issue #1580: test_regress/t_prot_lib is unstable
Thanks, feel free to push and close, no need for a Changes update.
Wilson Snyder
12:43 PM Issue #1580: test_regress/t_prot_lib is unstable
This should resolve the issue and make the tests self-contained:
https://github.com/toddstrader/verilator-dev/tree/p...
Todd Strader
03:10 AM Issue #1554 (AskedReporter): There is a problem when Handling variables forced type conversion
Waiting on standalone test case.
Wilson Snyder
03:10 AM Issue #1555 (NoFixNeeded): Asynchronous reset logic is inconsistent with rtl
Wilson Snyder
03:09 AM Issue #1524 (Assigned): Support sensitivity to DPI function outputs
Wilson Snyder
03:00 AM Issue #1579 (Closed): Fuzzer: Segfault on initialization from invalid expression
Fixed in git by adding Internal error.
Wilson Snyder
02:51 AM Issue #1586 (Closed): Fuzzer: Segfault on sliced compare with different shapes
Fixed in git towards 4.022.
Wilson Snyder
02:41 AM Issue #1587 (Duplicate): Fuzzer: Segfault with no diagnostic with "--coverage" and different widths
Same root cause as bug1586.
Wilson Snyder
02:21 AM Issue #1588 (Closed): Fuzzer: Segfault on interface index out of range
Fixed in git and __DOT cleaned up.
Wilson Snyder
02:16 AM Issue #1589 (Closed): Fuzzer: Segfault on genvar out of scope
Generate dosn't make a scope, begin/end does. Basically generate was a Verilog 2001 thing now not needed.
Cleaned...
Wilson Snyder
12:33 AM Issue #1590 (Closed): Fuzzer: Segfault on parameter as generate condition
Fixed in git towards 4.022.
Wilson Snyder
12:29 AM Issue #1591 (Closed): Fuzzer: Segfault on $left of non-scalar
Fixed in git towards 4.022.
Wilson Snyder
12:11 AM Issue #1583 (Closed): Fuzzer: Segfault on illegal pattern assignment
Fixed in git towards 4.022.
Basically just added an internal error. As noted elsewhere we probably should focus m...
Wilson Snyder
12:11 AM Issue #1585 (Closed): Fuzzer: Segfault on illegal port use
Fixed in git towards 4.022.
Basically just added an internal error. As noted elsewhere we probably should focus m...
Wilson Snyder
12:05 AM Issue #1584 (Duplicate): Fuzzer: Segfault on pattern assignment
Same issue as bug1583. Wilson Snyder
12:00 AM Issue #1592 (Confirmed): $value_plusargs compile error for [1..16]-bit signals
Great, love getting bugs with fixes included!
Two minor things to add to your patch so I can merge it and make sur...
Wilson Snyder

11/04/2019

11:51 PM Issue #1582 (Closed): Fuzzer: Out of memory on enum with self value
Thanks, fixed in git towards 4.022.
Wilson Snyder
04:45 PM Issue #1582 (Closed): Fuzzer: Out of memory on enum with self value
Running the attached testcase with:
verilator_bin --lint-only 2.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
11:26 PM Issue #1592 (Closed): $value_plusargs compile error for [1..16]-bit signals
Passing signals of length <= 16 bits to $value$plusargs results in compiler errors due to missing overloads for CData... Garrett Smith
08:27 PM Issue #1591 (Closed): Fuzzer: Segfault on $left of non-scalar
Running the attached testcase with:
verilator_bin --lint-only 9.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
08:04 PM Issue #1590: Fuzzer: Segfault on parameter as generate condition
I'll look at this and the others starting tonight.
In the interest of best use of time, I'd recommend we only look...
Wilson Snyder
07:49 PM Issue #1590 (Closed): Fuzzer: Segfault on parameter as generate condition
Running the attached testcase with:
verilator_bin --lint-only 8.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
07:32 PM Issue #1589 (Closed): Fuzzer: Segfault on genvar out of scope
Running the attached testcase with:
verilator_bin --lint-only 7.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
06:54 PM Issue #1588 (Closed): Fuzzer: Segfault on interface index out of range
Running the attached testcase with:
verilator_bin --lint-only 6.sv
on version:
Verilator 4.020 devel rev v4....
Eric Rippey
06:34 PM Issue #1587 (Duplicate): Fuzzer: Segfault with no diagnostic with "--coverage" and different widths
Running the attached testcase with:
verilator_bin --lint-only --coverage 5.sv
On version:
Verilator 4.020 de...
Eric Rippey
06:15 PM Issue #1586 (Closed): Fuzzer: Segfault on sliced compare with different shapes
Running the attached testcase with:
verilator_bin --lint-only 4.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
05:47 PM Issue #1584: Fuzzer: Segfault on pattern assignment
It seems that I missed uploading the testcase here. Eric Rippey
05:25 PM Issue #1584 (Duplicate): Fuzzer: Segfault on pattern assignment
Running the attached testcase with:
verilator_bin --lint-only 2.sv
Produces:...
Eric Rippey
05:46 PM Issue #1583: Fuzzer: Segfault on illegal pattern assignment
Much harder to reproduce without the testcase. Eric Rippey
05:03 PM Issue #1583 (Closed): Fuzzer: Segfault on illegal pattern assignment
Running the attached testcase with:
verilator_bin --lint-only 1.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey
05:45 PM Issue #1585 (Closed): Fuzzer: Segfault on illegal port use
With the attached testcase, runing:
verilator_bin --lint-only 3.sv
with version:
Verilator 4.020 devel rev v...
Eric Rippey

11/02/2019

08:56 PM Issue #1581 (Resolved): Ranges starting with zero result in unsigned/constant warning
Thanks for the good report. Verilator internally converts the inside to <= or >=, which normally give those warnings,... Wilson Snyder
06:49 PM Issue #1581: Ranges starting with zero result in unsigned/constant warning
Note: It also seems to have a range issue issue if the range extends to the end of the range (8'hff). Works if I spl... Mitch Hayenga
06:28 PM Issue #1581 (Closed): Ranges starting with zero result in unsigned/constant warning
Trying to use the inside operator with a range, had multiple functions fail on warnings and realized it was all that ... Mitch Hayenga
04:46 PM Issue #1580: test_regress/t_prot_lib is unstable
Todd wrote it originally...
Wilson Snyder
03:24 PM Issue #1580 (Closed): test_regress/t_prot_lib is unstable
Debugging a test makefile cleanup, I realized why t_prot_lib and t_noprot_lib seem to fail occasionally for me, but t... Wilson Snyder
03:27 PM Issue #1578 (Duplicate): Support unpacked array function constantization
Thanks for your report. Using arrays in constifications is unsupported at present. There's been some recent work but ... Wilson Snyder

11/01/2019

10:38 PM Issue #1579 (Closed): Fuzzer: Segfault on initialization from invalid expression
Running the attached testcase with:
verilator_bin --lint-only 1.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey

10/31/2019

01:24 PM Issue #1578 (Duplicate): Support unpacked array function constantization
If I write something like:... Graham Gobieski
01:49 AM Issue #1577 (Closed): Fuzzer: Segfault on undeclared in sensitivity list
Fixed in git.
Wilson Snyder

10/30/2019

11:34 PM Issue #1577 (Closed): Fuzzer: Segfault on undeclared in sensitivity list
Running the attached testcase with:
verilator_bin --lint-only 2a.sv
On version:
Verilator 4.020 devel rev v4...
Eric Rippey
10:19 PM Issue #1576 (Closed): Fuzzer: Missing error when parameter assigned to type "realtime"
bug1575's fix wasn't quite in the right spot.
Fixed in git.
Wilson Snyder
05:06 PM Issue #1576 (Closed): Fuzzer: Missing error when parameter assigned to type "realtime"
Running the attached testcase with:
verilator_bin --cc --trace 1.sv
with version:
Verilator 4.020 devel rev ...
Eric Rippey

10/29/2019

10:39 PM Issue #1575 (Closed): Fuzzer: Missing error when parameter assigned to type
Should have thought of that test case earlier, error added.
Wilson Snyder
08:21 PM Issue #1575 (Closed): Fuzzer: Missing error when parameter assigned to type
Running the attached testcase with
verilator_bin --lint-only --trace 1.sv
with version:
Verilator 4.020 dev...
Eric Rippey
07:04 PM Issue #1574: Fuzzer: Hang on inifinite define expansion
I'm glad this one was useful. I don't have a great procedure for figuring out what a minimal testcase looks like for... Eric Rippey
02:35 AM Issue #1574 (Closed): Fuzzer: Hang on inifinite define expansion
Good & relevant one. It's basically this... Wilson Snyder
02:46 AM Issue #1547 (Closed): Refactor Verilator building in Travis
Wilson Snyder

10/28/2019

11:35 PM Issue #1572 (Feature): Extend --protect-lib for foreign/embedded module use
Wilson Snyder
11:34 PM Issue #1573 (Closed): Fuzzer: Segfault after unsupported struct/union
Fixed in git, thanks for the test.
Wilson Snyder
07:53 PM Issue #1573 (Closed): Fuzzer: Segfault after unsupported struct/union
Running the attached testcase with:
verilator_bin --lint-only 1.sv
With version:
Verilator 4.020 devel rev v...
Eric Rippey
08:00 PM Issue #1574 (Closed): Fuzzer: Hang on inifinite define expansion
Running the attached testcase with:
verilator_bin --lint-only 2.sv
On version:
Verilator 4.020 devel rev v4....
Eric Rippey

10/25/2019

12:11 PM Issue #1522: Support mutable top-level parameters for --protect-lib
Agreed, I'm not going to dive into anything here before we have a well baked plan.
But in the interest of writing ...
Todd Strader

10/24/2019

12:21 PM Issue #1572: Extend --protect-lib for foreign/embedded module use
One more for the list:
* Add parameters from the embedded module in the SV wrapper and (assuming one was built) use ...
Todd Strader
11:50 AM Issue #1572 (Feature): Extend --protect-lib for foreign/embedded module use
See:
https://www.veripool.org/boards/3/topics/2348
--protect-lib can be used for foreign modules/incremental comp...
Todd Strader
11:33 AM Issue #1535 (Resolved): Double quotes in -f option file
Great, thanks for the work.
Pushed to git towards eventual 4.022 release.
Wilson Snyder
11:17 AM Issue #1535: Double quotes in -f option file
Wilson Snyder wrote:
> I think good to go (with a few trivial space issues I'll fix). May I use the email you regis...
Yves Mathieu
11:14 AM Issue #1535: Double quotes in -f option file
I think good to go (with a few trivial space issues I'll fix). May I use the email you registered under for the git ... Wilson Snyder
10:56 AM Issue #1535: Double quotes in -f option file
Wilson Snyder wrote:
> Looking good.
>
> 1. You don't check for escaped chars inside single quotes. I might have ...
Yves Mathieu

10/23/2019

05:06 PM Issue #1519 (Resolved): Benchmark --protect-lib runtime
Yeah, sorry. The intent is to push this. I'm sure we'll want to evolve the benchmarking over time, but focusing on ... Todd Strader
12:26 PM Issue #1535: Double quotes in -f option file
Looking good.
1. You don't check for escaped chars inside single quotes. I might have missed it but didn't see tha...
Wilson Snyder
07:18 AM Issue #1535: Double quotes in -f option file
New proposal updated taking into account your last post.
* fixed style, upercase, ...
* removed parsing of '='
*...
Yves Mathieu

10/22/2019

10:26 PM Issue #1519: Benchmark --protect-lib runtime
Not sure if you are proposing to merge this...
1. Some tabs got into t_prot*, please squash them.
2. You should...
Wilson Snyder
10:01 PM Issue #1519: Benchmark --protect-lib runtime
See:
https://github.com/toddstrader/verilator-dev/tree/prot-lib-benchmark
This adds t_noprot_lib which is the sam...
Todd Strader

10/20/2019

06:52 PM Issue #1571 (NoFixNeeded): Memory definition triggers the error "Signal unoptimizable: Feedback t...
The problem isn't that line per-se, but rather the places where it's used. In the case you provided this is a behavi... Wilson Snyder
06:37 PM Issue #1571: Memory definition triggers the error "Signal unoptimizable: Feedback to clock or cir...
Here they declare the memory in essentially the same way: http://www.asic-world.com/verilog/memory_fsm1.html
Yuri Z
06:34 PM Issue #1571 (NoFixNeeded): Memory definition triggers the error "Signal unoptimizable: Feedback t...
I have this statement defining the memory that triggers this error:... Yuri Z
01:21 PM Issue #1570 (Confirmed): Verilog 2001: verilator does not issue a warning on missing 'reg', Webpa...
Yes, it should warn, will look into it.
Wilson Snyder
12:06 PM Issue #1570: Verilog 2001: verilator does not issue a warning on missing 'reg', Webpack ISE 14.7 ...
I am sorry for the Webpack layout, this is the first time. And I also do not know how to fix it.
The verilator co...
Jacko Dirks
12:04 PM Issue #1570 (Closed): Verilog 2001: verilator does not issue a warning on missing 'reg', Webpack ...
I used the most recent master commit of verilator to show this problem exists in the current master branch.
Take t...
Jacko Dirks
12:00 PM Issue #1569 (WillNotFix): $monitor statement isn't supported
Thanks for your report.
At this time Verilator doesn't have a time wheel, so doesn't really have a way to properly...
Wilson Snyder
08:59 AM Issue #1569 (WillNotFix): $monitor statement isn't supported
Here the $monitor statement is described: http://www.referencedesigner.com/tutorials/verilog/verilog_09.php
Here is ...
Yuri Z

10/19/2019

12:23 PM Issue #1489: Python support for Verilated designs
Review comments:
+++ b/bin/verilator
+=item --python
+
+This generates a file wraps the toplevel mo...
Wilson Snyder
11:09 AM Issue #1568 (Closed): Spelling mistakes fixes
Thanks, pushed along with a few other fixes.
Note you need only change bin/verilator as the HTML/tex/pdf is auto-g...
Wilson Snyder
05:58 AM Issue #1568 (Closed): Spelling mistakes fixes
The attached patch fix some spelling mistakes in verilator أحمد المحمودي
01:31 AM Issue #1563 (Closed): Fuzzer: Unterminated block comment gives flex scanner internal error--end o...
Thanks for the test, some user would have hit this too, likely. Fixed in git.
Wilson Snyder

10/18/2019

10:30 PM Issue #1535: Double quotes in -f option file
Thanks for the great analysis. I don't see that there's anything at all
special about numbers, they are just normal...
Wilson Snyder
04:22 PM Issue #1535: Double quotes in -f option file
Please find here an updated proposal based on further investigations on the big-3 simulators.
First of all the "s...
Yves Mathieu
12:58 PM Issue #1489: Python support for Verilated designs
I've updated the pull request on top of master now that CMake is merged. I think I've addressed the outstanding issue... Patrick Stewart
12:06 AM Issue #850: Find UNUSED and UNDRIVEN components in structs
Not currently being worked on.
Wilson Snyder
12:06 AM Issue #678: Missing initial positive edge when using --x-initial-edge
Not currently being worked on.
Wilson Snyder
12:06 AM Issue #487: Support short-circuiting of bitswise AND and OR
Not currently being worked on.
Wilson Snyder
12:06 AM Issue #449: Using public accessor tasks/functions to read and write registers causes BLKANDNBLK e...
Not currently being worked on.
Wilson Snyder
12:06 AM Issue #364: blocking & non-blocking assigns -- verilator issues error when no logical conflict ex...
Not currently being worked on.
Wilson Snyder

10/17/2019

11:54 PM Issue #1363 (Resolved): CMake support
Thanks for all your work on this.
This is pushed to git towards eventual 4.022 release.
I'm sure you'll have tw...
Wilson Snyder
09:57 AM Issue #1363: CMake support
As in you ran "make test_regress" in the main directory and got that error? Any more context for it? Did CMake print ... Patrick Stewart
02:56 AM Issue #1363: CMake support
1. Please make the .pl files you are adding executable.
$ v4make test_regress/t/t_flag_make_cmake.pl --vlt
...
Wilson Snyder
10:43 PM Issue #1567 (Feature): Cocotb Integration
Tracking issue for integrating Verilator with Cocotb - which is currently under development.
Wilson Snyder
10:39 PM Issue #1566 (Confirmed): FST dumping is slow
From https://www.veripool.org/boards/2/topics/2831-Verilator-FST-dumping-100x-slower-than-VCD
1. Time is being was...
Wilson Snyder
09:40 AM Issue #1547 (Resolved): Refactor Verilator building in Travis
Ugh, thanks. I was only testing with --dist which appears to be why I didn't notice this. Also, I was going for a l... Todd Strader
03:18 AM Issue #1547: Refactor Verilator building in Travis
Note I tweaked the driver timeout logic to look more like previous - your change meant it printed the running tests e... Wilson Snyder
02:20 AM Issue #1534 (Closed): Fuzzer script
Scripts pushed to git.
Know there will be minor changes to e.g. ignore some internal errors, feel free to send as ...
Wilson Snyder
12:05 AM Issue #1558 (Closed): Fuzzer: Segfault on unexpected function use
Fixed in git towards 4.022.
Wilson Snyder
12:05 AM Issue #1557 (Closed): Fuzzer: Define expansion gives Internal Error: Column numbers backwards
Fixed in git towards 4.022.
Wilson Snyder
12:05 AM Issue #1560 (Closed): Fuzzer: Internal error after empty {} error
Fixed in git towards 4.022.
Wilson Snyder
12:01 AM Issue #1563 (Confirmed): Fuzzer: Unterminated block comment gives flex scanner internal error--en...
Wilson Snyder

10/16/2019

11:54 PM Issue #1565 (Duplicate): Fuzzer: After '{}, Internal Error: ../V3Ast.cpp:359: Null item passed to...
Same problem/fix as bug1560.
Wilson Snyder
11:02 PM Issue #1565 (Duplicate): Fuzzer: After '{}, Internal Error: ../V3Ast.cpp:359: Null item passed to...
Running the attached testcase with:
verilator_bin --lint-only
Produces:...
Eric Rippey
11:53 PM Issue #1564 (WillNotFix): Fuzzer: Internal Error: ../V3Number.cpp:740 after other error
Not going to fix internal errors after normal errors at present.
Wilson Snyder
10:49 PM Issue #1564 (WillNotFix): Fuzzer: Internal Error: ../V3Number.cpp:740 after other error
Running the attached testcase with:
verilator_bin --lint-only 2.sv
Produces:...
Eric Rippey
11:43 PM Issue #1562 (WillNotFix): Fuzzer: Internal Error on unterminated interface
Going to ignore internal errors after normal errors. Wilson Snyder
10:20 PM Issue #1562: Fuzzer: Internal Error on unterminated interface
This is not specific to interfaces. The attached testcase does this with a function and union:... Eric Rippey
10:09 PM Issue #1562 (WillNotFix): Fuzzer: Internal Error on unterminated interface
Running the attached testcase with:
verilator_bin --lint-only 4.sv
using version:
Verilator 4.020 devel rev ...
Eric Rippey
11:43 PM Issue #1561 (WillNotFix): Fuizzer: Internal Error Unlinked interface after unsupported interface ...
Going to ignore internal errors after normal errors.
Wilson Snyder
09:59 PM Issue #1561 (WillNotFix): Fuizzer: Internal Error Unlinked interface after unsupported interface ...
With the attached testcase, running:
verilator_bin --lint-only 3.sv
with version:
Verilator 4.020 devel rev ...
Eric Rippey
11:37 PM Issue #1560 (Confirmed): Fuzzer: Internal error after empty {} error
Wilson Snyder
11:37 PM Issue #1560 (WillNotFix): Fuzzer: Internal error after empty {} error
Wilson Snyder
09:44 PM Issue #1560 (Closed): Fuzzer: Internal error after empty {} error
With the attached file, running:
verilator_bin --lint-only 2.sv
with version:
Verilator 4.020 devel rev v4.0...
Eric Rippey
11:33 PM Issue #1559 (WillNotFix): Fuzzer: Internal error after other error on existing testcase
In general as long as there is an %Error printed *first* then I'm going to consider a later internal error as being a... Wilson Snyder
09:34 PM Issue #1559 (WillNotFix): Fuzzer: Internal error after other error on existing testcase
Running:
verilator_bin --lint-only
with test existing testcase at "test_regress/t/t_order_loop_bad.v", which i...
Eric Rippey
10:32 PM Issue #1563 (Closed): Fuzzer: Unterminated block comment gives flex scanner internal error--end o...
Running the attached testcase with:
verilator_bin --lint-only 1.sv
produces:...
Eric Rippey
08:23 PM Issue #1558 (Closed): Fuzzer: Segfault on unexpected function use
Running the attached testcase with:
verilator_bin --lint-only 1.sv
Using version:
Verilator 4.020 devel rev ...
Eric Rippey
08:19 PM Issue #1557 (Closed): Fuzzer: Define expansion gives Internal Error: Column numbers backwards
The attached testcase with:
verilator_bin --lint-only 1.sv
On version:
Verilator 4.020 devel rev v4.020-19-g...
Eric Rippey
06:26 PM Issue #1363: CMake support
I've added two trivial documentation changes after discussion with Maarten on github. Patrick Stewart
02:08 PM Issue #1363: CMake support
I've pushed another version that defaults to just building a static lib, that should work with older versions of CMak... Patrick Stewart
01:41 PM Issue #1363: CMake support
It's just the specific way I've used to build both simultaneously here that needs >=3.12. Building one or the other i... Patrick Stewart
01:28 PM Issue #1363: CMake support
Sorry, I'm not completely up to date on this thread. But regarding static/shared libraries for --protect-lib, this i... Todd Strader
01:11 PM Issue #1363: CMake support
Well it's only the protect_lib example. How about I flip the default of that file so it only builds a static library ... Patrick Stewart
01:03 PM Issue #1363: CMake support
I am using Ubuntu 18.04 LTS which is the most recent LTS of Ubuntu. This has CMake 3.10.2 out-of-the-box.
I don't ...
Wilson Snyder
12:58 PM Issue #1363: CMake support
Yes, I think so.
I thought I'd changed that to be compatible with earlier versions of cmake, but the bit that buil...
Patrick Stewart
01:55 AM Issue #1363: CMake support
Do you think this is ready to merge to master?
Took PATSTEW/cmake, merged master (which shouldn't affect this thou...
Wilson Snyder
02:05 AM Issue #1554: There is a problem when Handling variables forced type conversion
Please give a ASCII file which is a few lines long which prints e.g. pass or fail. And runs standalone.
Wilson Snyder
01:37 AM Issue #1554: There is a problem when Handling variables forced type conversion
this is the test code,maybe you can use fore reference. w z
12:49 AM Issue #1554: There is a problem when Handling variables forced type conversion
Can you submit a self-checking test, ideally in the test_regress format (see the manual), and ideally passing against... Wilson Snyder
01:05 AM Issue #1555: Asynchronous reset logic is inconsistent with rtl
great,thanks very much for your help w z
12:45 AM Issue #1556 (Feature): More informative did not converge message
Looked at this briefly. Currently where V3Emit prints __FILE__ for the "can't converge" error message, there's no goo... Wilson Snyder

10/15/2019

11:14 PM Issue #1553 (Closed): Fuzzer: Segfault on enum with no diagnostic
Thanks, some user would have hit this, basically the error message it was trying to print was broken.
Fixed in git...
Wilson Snyder
11:13 PM Issue #1552 (Closed): Fuzzer: Hang on unusual preparser include concats
Thanks. Basically the double ticks means concatenate and as there's no following token it comes from the auto-insert... Wilson Snyder
11:11 PM Issue #1551 (Closed): Fuzzer: Segfault on empty '{}
Thanks, fixed this error case.
Fixed in git towards eventual 4.022 release.
Wilson Snyder
11:10 PM Issue #1550 (Closed): Fuzzer: Segfault with "program" empty statement
Thanks, this would have hit a user at some point, any empty statement in a program caused it.
Fixed in git towards...
Wilson Snyder
11:09 PM Issue #1548 (Closed): Fuzzer: Segfault when table has error
Thanks for the case, occurred on some table errors.
Fixed in git towards eventual 4.022 release.
Wilson Snyder
10:09 PM Issue #1547 (Assigned): Refactor Verilator building in Travis
These look good. Only nit I would suggest is in the new shell scripts indent the # comments to match the block they ... Wilson Snyder
11:55 AM Issue #1554: There is a problem when Handling variables forced type conversion
we also use CARBON's CMS tool,the result in line with expectations, it can correctly do type conversion with width va... w z
11:14 AM Issue #1554: There is a problem when Handling variables forced type conversion
See the WIDTH section of the manual. I'd provide some examples from other simulators but EDA Playground seems to be ... Todd Strader
08:38 AM Issue #1554 (AskedReporter): There is a problem when Handling variables forced type conversion

The result of this shift should be related to the bit width of the operation. For example, the previous operation v...
w z
11:21 AM Issue #1549 (NoFixNeeded): Verilated Model did not DC converge
Wilson Snyder
09:54 AM Issue #1549: Verilated Model did not DC converge
thank you but the issue has been solved
hamza shabbir
09:49 AM Issue #1549: Verilated Model did not DC converge
Couple things here:
I'd really suggest properly indenting your designs. I couldn't make sense of SAP.v until I di...
Todd Strader
04:54 AM Issue #1549: Verilated Model did not DC converge
The below files contain the code, Make file and test file. i still cant figure out how to solve the Dc converge issue. hamza shabbir
11:00 AM Issue #1555: Asynchronous reset logic is inconsistent with rtl
See --x-initial-edge. I think that may resolve your problem. Todd Strader
08:46 AM Issue #1555 (NoFixNeeded): Asynchronous reset logic is inconsistent with rtl

hi,
On RTL, asynchronous reset does not require a falling edge to trigger the initial value.verilaror is inconsist...
w z
10:03 AM Issue #1556 (Closed): More informative did not converge message
See bug1549. I think it would be better to have some kind of breadcrumb when Verilator says "Verilated Model did not... Todd Strader
 

Also available in: Atom