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 08/26/2018 to 09/24/2018

Today

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): Verilator 4.002 install on Cygwin fails during "make test"
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 (Resolved): 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 (New): 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: Verilator 4.002 install on Cygwin fails during "make test"
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: Verilator 4.002 install on Cygwin fails during "make test"
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: Verilator 4.002 install on Cygwin fails during "make test"
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: Verilator 4.002 install on Cygwin fails during "make test"
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): Verilator 4.002 install on Cygwin fails during "make test"
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 (NoFixNeeded): Verilator 4.002 install on Cygwin fails during "make test"
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 (Resolved): 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

09/05/2018

07:53 PM Issue #1338: --trace of SystemVerlog string gives compile error
I will attach a tarball containing my build with all generated files, so you would be able to see if there are errors... Iztok Jeras
06:53 PM Issue #1338: --trace of SystemVerlog string gives compile error
Hi, I updated the string regression test and run "make test", and there was no error, but I am unsure if the test was... Iztok Jeras

09/04/2018

04:55 PM Issue #1338: --trace of SystemVerlog string gives compile error
I was able to strip the test down to the basics, but I have not yet created a test_regress unit. I should be able to,... Iztok Jeras

09/03/2018

12:20 PM Issue #1339 (Closed): Verilator v4.0 is not compatible with SystemC 2.3.2
I suspect other 2017 issues will arise too, given it's newness. Removed from config, thanks for debugging.
Wilson Snyder
12:13 PM Issue #1339 (Closed): Verilator v4.0 is not compatible with SystemC 2.3.2
The title is a little bit misleading, it is actually due to a C++ standard mismatch.
Under GCC 7.3.0, SystemC 2.3....
Frederic Requin
11:55 AM Issue #1333: Support LXT2 file format natively
Yep, it works. Thank you. Frederic Requin
12:53 AM Issue #1338 (AskedReporter): --trace of SystemVerlog string gives compile error
Your rp32.git seemed to pass on my current master, can you try using the latest code, and if it doesn't pass make a m... Wilson Snyder

09/02/2018

05:30 PM Issue #1338: --trace of SystemVerlog string gives compile error
The offending code (if I comment it out it compiles properly) is a function returning a SV string:
https://github....
Iztok Jeras
04:20 PM Issue #1338 (Closed): --trace of SystemVerlog string gives compile error
Using Verilator Verilator 3.924 2018-06-12 (an Ubuntu build hosted as launchpad PPA), and the latest systemC from the... Iztok Jeras

08/31/2018

10:53 AM Issue #1333: Support LXT2 file format natively
Thanks for debugging! I added a sys/types include, this seems to set __WORDSIZE. It has to be conditional on the OS... Wilson Snyder
08:59 AM Issue #1333: Support LXT2 file format natively
Solved by including <sys/types.h> in verilatedos.h.
It looks like an old bug that never got caught.
Frederic
Frederic Requin
08:42 AM Issue #1333: Support LXT2 file format natively
By putting warning pragmas in verilatedos.h, I can see that Vecp5_jtag_spi_top__ALLsup.cpp got compiled with "typedef... Frederic Requin
07:57 AM Issue #1333: Support LXT2 file format natively
Hello,
I have got :...
Frederic Requin
12:06 AM Issue #1327 (Resolved): Strange initialisation behaviour with "VinpClk" cloned clock variables
Fixed in git towards 4.000.
As suspected randomization of VinpClk confused it. Note BTW that not getting edges at...
Wilson Snyder

08/30/2018

04:53 PM Issue #1333: Support LXT2 file format natively
Quad-word dumping is tested correctly in @t_trace_complex_lxt2@ (acf4a3).
The function is in @verilated_lxt2_c.cpp@....
Yu Sheng Lin
04:11 PM Issue #1333: Support LXT2 file format natively
Hello, the linker fails if I trace a vector with more than 32 bits.
I have an undefined reference to "VerilatedLxt...
Frederic Requin
11:16 AM Issue #1327: Strange initialisation behaviour with "VinpClk" cloned clock variables
Hi there,
Sorry for the slow reply. I've written a silly test that shows this. I suspect it's a little flaky (beca...
Rupert Swarbrick

08/29/2018

12:08 AM Issue #1329: Compile error "expected unqualified-id before numeric constant"
Note on a hunch I tried using SEL 6.9 which is generally the same as RHEL 6.9, and it worked without issues, so you'r... Wilson Snyder

08/28/2018

06:55 PM Issue #1329: Compile error "expected unqualified-id before numeric constant"
This make error is also seen with the following version of Linux:
Red Hat Enterprise Linux Server release 6.9 (Santi...
S Bagchi
06:40 PM Issue #1336 (Duplicate): Verilator installation make error
Seems like bug1329. Please post followups there, namely update that bug with the distribution you are using (RedHat ... Wilson Snyder
05:47 PM Issue #1336 (Duplicate): Verilator installation make error
Using verilator-3.926, I was able to run ./configure, but get an error with 'make', as shown below. The Linux version... S Bagchi
10:44 AM Issue #1303 (NoFixNeeded): VCD Filter Files
LXT2 format added in bug1333, so think this isn't needed?
Wilson Snyder
10:43 AM Issue #1333 (Resolved): Support LXT2 file format natively
Excellent, made a few more minor cleanups and pushed to git towards 4.000.
Thanks for your good work.
Wilson Snyder
09:16 AM Issue #1333: Support LXT2 file format natively
Hello, the new version is updated to "this branch":https://github.com/johnjohnlin/verilator_fork/tree/bug1333_lxt2 .
...
Yu Sheng Lin

08/27/2018

11:38 PM Issue #1333: Support LXT2 file format natively
Please pull from the bug1333_lxt2 branch of the http://git.veripool.org/git/verilator repository as I made some clean... Wilson Snyder
05:01 PM Issue #1333: Support LXT2 file format natively
Thanks for reviewing this patch. I just pushed a new version and fixed most of the problems except for these two:
...
Yu Sheng Lin
10:55 AM Issue #1333 (Feature): Support LXT2 file format natively
I used this repo rather than the patch: https://github.com/johnjohnlin/verilator_fork/tree/lxt2
no need to attach p...
Wilson Snyder
11:36 PM Issue #1329: Compile error "expected unqualified-id before numeric constant"
You must in a big company to use an almost 10 year old distribution ;) Do they know that SuSE 11 general supports e... Wilson Snyder
11:24 PM Issue #1329: Compile error "expected unqualified-id before numeric constant"
Does this help?... Shawn Boshart
10:14 PM Issue #1329: Compile error "expected unqualified-id before numeric constant"
What distribution, e.g. Ubuntu 18.04, etc. (uname is the kernel version which doesn't say the distro.)
Wilson Snyder
05:16 PM Issue #1329: Compile error "expected unqualified-id before numeric constant"
OS:
sccj017209:10:04am:sdg74_MDWA0P10_SETUP~/axx_0022/sboshart/MDWA0> uname -a
Linux sccj017209 3.0.101-108.13.1.1...
Shawn Boshart
10:16 AM Issue #1332 (Closed): Verilator 4.00 multi-threading on OS X
All set then, thanks for your work.
Wilson Snyder
01:55 AM Issue #1332: Verilator 4.00 multi-threading on OS X
Almost:... Florian Zaruba

08/26/2018

11:55 PM Issue #1332: Verilator 4.00 multi-threading on OS X
Try, try again please. Wilson Snyder
06:48 PM Issue #1332: Verilator 4.00 multi-threading on OS X
The random number problem is solved. You forgot to add the macro and the include which is needed on OS X:... Florian Zaruba
11:07 AM Issue #1332: Verilator 4.00 multi-threading on OS X
In git, I updated the random code to use its own algorithm, please try it.
Wilson Snyder
04:26 PM Issue #1333 (Closed): Support LXT2 file format natively
I make a issue about "this development thread":https://www.veripool.org/boards/3/topics/2601-Verilator-A-way-to-suppo... Yu Sheng Lin
 

Also available in: Atom