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/19/2017 to 10/18/2017

10/17/2017

02:06 AM Issue #1235: Smoke test fails in Debian build
The attached patch is a workaround (probably a dirty one) to get smoke test to build أحمد المحمودي
02:01 AM Issue #1235 (New): Smoke test fails in Debian build
When building verilator 3.914 on Debian, the smoke test fails. Here is the relevant exerpt of build log:... أحمد المحمودي
01:59 AM Issue #1233 (Closed): Fix spelling errors
Savable is the correct spelling, the other two I merged, thanks.
Wilson Snyder
01:44 AM Issue #1233 (Closed): Fix spelling errors
The attached patch fixes some spelling errors أحمد المحمودي

10/15/2017

03:50 PM Issue #1232: configure check for -faligned-new needs to include header
That fixes it, thanks for the quick turnaround!... Jeff Bush
02:38 PM Issue #1232 (Resolved): configure check for -faligned-new needs to include header
Please give git a try.
Fixed in git (I hope) towards 3.916.
Wilson Snyder
01:05 PM Issue #1232 (Resolved): configure check for -faligned-new needs to include header
There is a check in the configure script to see if -faligned-new works correctly. The test program looks like this:
...
Jeff Bush

10/14/2017

08:22 PM Issue #1220 (Closed): Example Makefile seems to have incorrect paths
In 3.914.
Wilson Snyder
08:22 PM Issue #1231 (Closed): Undefined symbol operator delete(void*, std::align_val_t) on MacOS
In 3.914.
Wilson Snyder
04:59 PM Issue #1231 (Resolved): Undefined symbol operator delete(void*, std::align_val_t) on MacOS
Fixed in git to suppress -faligned-new if a new/delete doesn't link properly.
Wilson Snyder
03:57 PM Issue #1231: Undefined symbol operator delete(void*, std::align_val_t) on MacOS
Thanks for the pointer. Adding -lc++ didn't fix the problem, but removing the -faligned-new compile flag did. My theo... Jeff Bush
01:08 PM Issue #1231 (AskedReporter): Undefined symbol operator delete(void*, std::align_val_t) on MacOS
I'd think if it gets through the compiler it should link, but maybe there's some strange linker flag needed. This doe... Wilson Snyder
11:33 AM Issue #1231 (Closed): Undefined symbol operator delete(void*, std::align_val_t) on MacOS
Using command line tools 9.0 on macOS Sierra 10.12, when I try to compile the latest release build 912, I get a link ... Jeff Bush
08:22 PM Issue #1230 (Closed): Build broken on MacOS due to tv_nsec
In 3.914.
Wilson Snyder
01:03 PM Issue #1230 (Resolved): Build broken on MacOS due to tv_nsec
Thanks. The reliable thing to do is run an experiment in configure, which I should have done in the first place.
F...
Wilson Snyder
11:56 AM Issue #1230: Build broken on MacOS due to tv_nsec
From http://man7.org/linux/man-pages/man2/stat.2.html:
"Nanosecond timestamps were standardized in POSIX.1-2008, a...
Jeff Bush
11:25 AM Issue #1230: Build broken on MacOS due to tv_nsec
Removing that define does fix the build error:... Jeff Bush
11:23 AM Issue #1230: Build broken on MacOS due to tv_nsec
The other thing is that the V3File is checking the 'st_mtime' macro for the presence of the fields st_ctim and st_mti... Jeff Bush
11:05 AM Issue #1230 (Closed): Build broken on MacOS due to tv_nsec
After change 5bc2f87d3ed8765c53d8b0a7a25df39d009b8891, the build fails on MacOS (Command line tools 9.0, macOS Sierra... Jeff Bush
08:22 PM Issue #1226 (Closed): -E repeats output
In 3.914.
Wilson Snyder
08:22 PM Issue #1225 (Closed): `define macro including `", `\`", and `` has issues for empty strings
In 3.914.
Wilson Snyder
08:22 PM Issue #1223 (Closed): V3Inline can create unboundedly large modules
In 3.914.
Wilson Snyder
08:21 PM Issue #1224 (Closed): V3Combine not working, and use of this->
In 3.914.
Wilson Snyder
08:21 PM Verilator 3.914 Released
Verilator 3.914 2017-10-14
** Added new examples/ directory with appropriate examples. This replaces the
...
Wilson Snyder

10/10/2017

02:10 AM Issue #1226 (Resolved): -E repeats output
In your example it looked like the `define was ignored, but really it was repeating the first file's output twice. Th... Wilson Snyder

10/09/2017

10:58 AM Issue #1226 (Closed): -E repeats output
In a verilog project, common structures like defines, macro functions, system verilog functions and tasks may be cont... Odd Magne Reitan

10/07/2017

06:10 PM Issue #1225 (Resolved): `define macro including `", `\`", and `` has issues for empty strings
Thanks for the good report & test.
Fixed in git towards 3.914.
Matching bug in Verilog-Perl, fixed in git towar...
Wilson Snyder

10/05/2017

10:20 PM Issue #1111 (NoFixNeeded): build requires pod2man & creating a recipe for Yoctor
Thanks again for the work on this - but closing as basically informative. Wilson Snyder
10:18 PM Issue #1224 (Resolved): V3Combine not working, and use of this->
Patch looks good, great work.
Pushed to git towards 3.913.
Wilson Snyder
01:58 PM Issue #1224: V3Combine not working, and use of this->
Thanks. Here's another rollup with those fixes and all prior.
John Coiner
02:19 PM Issue #1225: `define macro including `", `\`", and `` has issues for empty strings

A more interesting special-case of issue 2 is the code below. Run as verilator -E -P test.sv and it will output
...
Odd Magne Reitan

10/04/2017

10:35 PM Issue #1224: V3Combine not working, and use of this->
... Wilson Snyder
06:34 PM Issue #1224: V3Combine not working, and use of this->
3rd try at a production-ready patch, this adds an obvious optimization missed in post#16 and also fixes a bug, I was ... John Coiner
03:37 PM Issue #1224: V3Combine not working, and use of this->
My bad, that last patch doesn't pass the regression, it needs this patch on top of it. John Coiner
02:56 PM Issue #1224: V3Combine not working, and use of this->
Here's a maybe production-ready patch.
I've changed the handling of the 'hierThisr' output from descopedName(). Pr...
John Coiner
01:27 AM Issue #1224: V3Combine not working, and use of this->
V3Delayed change pushed to git towards 3.913.
Wilson Snyder
12:57 AM Issue #1224: V3Combine not working, and use of this->
One instance is common - every module has a "top" and any package has just one instance.
Also if you can please ad...
Wilson Snyder
12:33 AM Issue #1224: V3Combine not working, and use of this->
Yes, V3Delayed is merge ready. It is separate.
I guess we can easily test if a scope has no sibling scopes, then i...
John Coiner
01:58 PM Issue #1225 (Closed): `define macro including `", `\`", and `` has issues for empty strings
Run code at bottom as verilator -E -P test.sv
1. The intension is that $display(`ITEM(CPU,)); should produce "CPU"...
Odd Magne Reitan

10/03/2017

10:42 PM Issue #1224: V3Combine not working, and use of this->
V3Delayed seems reasonable. This seems separate, is it merge ready?
V3Descope seems easy enough - esp as there was...
Wilson Snyder
06:45 PM Issue #1224: V3Combine not working, and use of this->
Here's a prospective patch. It passes the regression and works well on the repeating-cpus dummy design.
If you tes...
John Coiner
03:21 PM Issue #1224: V3Combine not working, and use of this->
A couple more data points.
* On gcc 7.2.0, restrict4 produces same object code for bad() and better().
* On gcc 4...
John Coiner
01:07 PM Issue #1224: V3Combine not working, and use of this->
It's best if every compiler works in terms of source code compatibility, but optimization-wise about 5 years of suppo... Wilson Snyder
12:55 PM Issue #1224: V3Combine not working, and use of this->
Oh awesome! That's great to have the original testcase.
What's the oldest GCC version that Verilator should suppor...
John Coiner
03:22 AM Issue #1224: V3Combine not working, and use of this->
I found my original broken case, and the assembler from that GCC way back in 3.2 land. I now get identical code for ... Wilson Snyder
03:07 AM Issue #1224: V3Combine not working, and use of this->
Some data points.
First I tried removing the 'restrict' keyword everywhere that verilator emits it, to see if GCC ...
John Coiner
02:17 AM Issue #1224: V3Combine not working, and use of this->
Here's a contrived example. I took the verilog sim benchmarks and added a few modules:
* k68_cpu_multi instances two...
John Coiner
12:36 AM Issue #1224: V3Combine not working, and use of this->
Unfortunately GCC when I last looked at this did not do at all well with using "this" versus a single pointer, which ... Wilson Snyder
11:12 AM Issue #1222: Verilator behaviour of driving DUT inputs
FYI, it didn't have tracing hence the issue you found, but the t_leak test checks there aren't any leaks.
Wilson Snyder
09:16 AM Issue #1222: Verilator behaviour of driving DUT inputs
Hi,
thanks for the info. Will create a top level wrapper that only includes the inout.
I think we're deleting ...
Shareef Jalloq

10/02/2017

10:52 PM Issue #1222: Verilator behaviour of driving DUT inputs
Thanks for the VCD leak fix, I pushed that change. As for catName, I suspect you aren't deleting the model you new()... Wilson Snyder
04:16 PM Issue #1222: Verilator behaviour of driving DUT inputs
OK, so we stepped through the sim and found the issue. Do you support tri-state buses? My CPU input is an inout and... Shareef Jalloq
04:00 PM Issue #1222: Verilator behaviour of driving DUT inputs
So we fixed one unitialised variable in my TB and my colleague fixed another issue with your VCD callbacks, patch att... Shareef Jalloq
02:53 PM Issue #1222: Verilator behaviour of driving DUT inputs
When you compile the verilator output with GCC, use "-O0 -g". Also link with "-g".
Wilson Snyder
02:45 PM Issue #1222: Verilator behaviour of driving DUT inputs
Have you got any recommendations for debug options? We've tried running with valgrind, and there are warnings about ... Shareef Jalloq
10:43 PM Issue #1224: V3Combine not working, and use of this->
It looks like verilator used to work just this way. And it's pretty easy to reenable this latent behavior, the attach... John Coiner
07:09 PM Issue #1224: V3Combine not working, and use of this->
Thanks, whoops, I missed those tests on first grep.
In the tests V3Combine is only combining 'settle' routines wit...
John Coiner
03:55 PM Issue #1224 (Assigned): V3Combine not working, and use of this->
Undoubtedly V3Combine can be improved. There are at least 3 tests for it, grep for "Combined" in the test_regress di... Wilson Snyder
03:36 PM Issue #1224 (Closed): V3Combine not working, and use of this->
To reproduce:
* Start with the verilog-sim-benchmarks design (the m68 toy cpu and its testbench from http://git.ver...
John Coiner

10/01/2017

10:02 PM Issue #1223 (Resolved): V3Inline can create unboundedly large modules
Great, I made a few trivial additional style edits not worth complaining about. Pushed to git towards 3.913.
Wilson Snyder
09:45 PM Issue #1223: V3Inline can create unboundedly large modules
Thanks. This patch applies atop the previous one for V3Inline.
John Coiner
08:26 PM Issue #1223: V3Inline can create unboundedly large modules
Pushed the line fix, thanks.
Inlining is nicely done. Just a few nits, if you can please clean these then I'll me...
Wilson Snyder
04:21 PM Issue #1223: V3Inline can create unboundedly large modules
Wilson, here's a new V3Inline patch that does not add a new pass as you suggest. It's shorter too.
Also here's a b...
John Coiner

09/30/2017

05:39 PM Issue #1223: V3Inline can create unboundedly large modules
I pushed the compiler fixes, thanks for that. BTW its easier to track if you file a separate bug as that's a separat... Wilson Snyder
04:39 PM Issue #1223: V3Inline can create unboundedly large modules
Attached is a patch for V3Inline.cpp. It splits the old InlineMarkVisitor into two passes:
* InlineStatsVisitor g...
John Coiner
02:25 PM Issue #1223 (AskedReporter): V3Inline can create unboundedly large modules
>When deciding which modules to inline, visit modules in bottom-up order (in the instance hierarchy)
>* Let's assume...
Wilson Snyder

09/29/2017

04:43 PM Issue #1223 (Closed): V3Inline can create unboundedly large modules
Scenario:
Module TOP instances two of module B.
Module B instances two of module C.
(and so on until...)
Modu...
John Coiner

09/28/2017

10:23 PM Issue #1221: Verilator is unfriendly to cross compiling verilated output. Simple fix.
Configure sets up both the compile options for the host, and for the target and assumes at present both are the same.... Wilson Snyder
05:30 PM Issue #1221: Verilator is unfriendly to cross compiling verilated output. Simple fix.
I'm thinking you're thinking about ./configure for building Verilator itself, however, I'm talking about the verilate... Rob Stoddard
11:37 AM Issue #1221 (AskedReporter): Verilator is unfriendly to cross compiling verilated output. Simpl...
Those are setup by configure (for the most part), so your patch would only work in very limited cases.
For now, wh...
Wilson Snyder
10:21 PM Issue #1222 (AskedReporter): Verilator behaviour of driving DUT inputs
Try running with valgrind memcheck or similar. Perhaps there's a wide signal input adjacent to the reset where your ... Wilson Snyder
06:00 PM Issue #1222 (AskedReporter): Verilator behaviour of driving DUT inputs
Perhaps this is by design, but it feels like a bug to me. I'm seeing that having driven a top level input pin to a k... Shareef Jalloq

09/26/2017

07:48 PM Issue #1221 (AskedReporter): Verilator is unfriendly to cross compiling verilated output. Simpl...
In verilated.mk the following change should be made...
From:...
Rob Stoddard

09/24/2017

01:34 AM Issue #1220 (Resolved): Example Makefile seems to have incorrect paths
I redid all the examples in git, they are replaced by a new examples/ directory. Please give it a try.
Fixed in gi...
Wilson Snyder

09/23/2017

02:17 PM Issue #1210 (Closed): Add support for built-in array methods
In 3.912.
Wilson Snyder
02:17 PM Issue #1217 (Closed): 26.6 Exporting imported names from packages
Wilson Snyder
02:17 PM Issue #1217: 26.6 Exporting imported names from packages
In 3.912.
Wilson Snyder
02:15 PM Issue #1204 (Closed): Fix enum constant ranges without colons
In 3.912.
Wilson Snyder
02:15 PM Issue #1209 (Closed): v3errorEndFatal marked noreturn but GCC thinks it returns
In 3.912.
Wilson Snyder
02:14 PM Issue #1211 (Closed): Support more constants for function parameter default values
In 3.912.
Wilson Snyder
02:14 PM Issue #1212 (Closed): Fix non-colon array of interface modports in port list
In 3.912.
Wilson Snyder
02:14 PM Issue #1214 (Closed): Allow implicit pin connections to connect to interfaces
In 3.912.
Wilson Snyder
02:14 PM Issue #1202 (Closed): Don't warn about little endian ordering for arrays of cells
In 3.912.
Wilson Snyder
02:14 PM Issue #1213 (Closed): Allow modules port parameters to not have a default in their declaration
In 3.912.
Wilson Snyder
02:13 PM Verilator 3.912 Released
Verilator 3.912 2017-09-23
** Verilated headers no longer "use namespace std;"
User's code without "std:...
Wilson Snyder
02:13 PM Verilator 3.910 Released
Verilator 3.910 2017-09-07
*** SystemPerl mode (-sp-deprecated) has been removed.
**** Update keyword warnin...
Wilson Snyder
02:02 PM Issue #1220: Example Makefile seems to have incorrect paths
When I use "./configure --prefix /foo ; make ; make install" I properly get:
/foo/bin/verilator
/foo/bin/ver...
Wilson Snyder
10:12 AM Issue #1220: Example Makefile seems to have incorrect paths
Hmmm, and there are two bin/ directories too:... Shareef Jalloq
09:55 AM Issue #1220 (Closed): Example Makefile seems to have incorrect paths
Hi there,
I've copied the example Makefile, verilator/3.900/share/verilator/examples/test_c/Makefile, to a test be...
Shareef Jalloq

09/22/2017

10:46 PM Issue #1219 (NoFixNeeded): flex error building verilator under SLES
configure --datadir says what to use for includes, but prefix should default that. You can always set VERILATOR_ROOT ... Wilson Snyder
12:39 PM Issue #1219: flex error building verilator under SLES
Thanks Wilson, an upgrade to versions of flex and bison fixed the compilation problems.
Could you help me out with...
Moira Richmond

09/21/2017

05:56 PM Issue #1218: module instance named clocking, expecting identifier
Thanks for the reply, Wilson. I'll keep the above in mind. Edmond Cote
12:35 AM Issue #1218 (NoFixNeeded): module instance named clocking, expecting identifier
Ask your vendor why they haven't fixed it in the 12 years since it became a IEEE keyword :)
Anyhow use "--language...
Wilson Snyder
01:32 PM Issue #1219: flex error building verilator under SLES
It's only included from V3ParseGrammer, not an error in V3Parse grammar.
Not sure why it isn't posting; you could ...
Wilson Snyder
12:28 PM Issue #1219: flex error building verilator under SLES
In file incldued from ../V3ParseGrammar.cpp:25:0:
verilog.cL In function 'int yyparse()':
verilog.c:19828:3: error:...
Moira Richmond
12:18 PM Issue #1219: flex error building verilator under SLES
V3Lexer_pregen.yy.cpp was not attached. What errors do you get from V3ParseGrammar? Wilson Snyder
12:10 PM Issue #1219: flex error building verilator under SLES
Please find attached V3Lexer_pregen.yy.cpp and V3ParseGrammar.cpp which are both giving me errors under above tool ve... Moira Richmond
10:34 AM Issue #1219 (AskedReporter): flex error building verilator under SLES
Wilson Snyder
10:34 AM Issue #1219: flex error building verilator under SLES
Sorry, this should just work. It's probably a bug in the "flex" package, which has been buggy in the past. The file w... Wilson Snyder
08:42 AM Issue #1219 (NoFixNeeded): flex error building verilator under SLES
Hi,
My system is using the following OS and tool versions:...
Moira Richmond
10:31 AM Issue #1217 (Resolved): 26.6 Exporting imported names from packages
It is fixed in git and called 3.911 while in development, when released it will be called 3.912. (Even numbers are re... Wilson Snyder
08:11 AM Issue #1217: 26.6 Exporting imported names from packages
I see that the git tag `verilator_3_911' is not published (only up to version `verilator_3_910'). Is it possible that... Usuario Eda
07:55 AM Issue #1217: 26.6 Exporting imported names from packages
It is working now after commit 89c8449. Thank you very much for the quick action.
Usuario Eda wrote:
> Inside a Sys...
Usuario Eda
01:05 AM Issue #1217 (Feature): 26.6 Exporting imported names from packages
Note some vendors don't seem to support ... Wilson Snyder

09/20/2017

11:11 PM Issue #1218: module instance named clocking, expecting identifier
Here's the test case:... Edmond Cote
11:08 PM Issue #1218 (NoFixNeeded): module instance named clocking, expecting identifier
I'm compiling some IP and the vendor chose to name the module instance as "clocking".
Here is the error :...
Edmond Cote
12:23 PM Issue #1217 (Closed): 26.6 Exporting imported names from packages
Inside a System Verilog package using `import somepackage::*' works fine. The problem arises when using `export somep... Usuario Eda
02:40 AM Issue #1216: multicore support
Thanks.
I wasn't aware of Xavier's work, it's a coincidence. Encryption was the exact stumbling block I ran into w...
John Coiner
01:40 AM Issue #1216: multicore support
As to previous splitting work "topic 412: modules into objects":https://www.veripool.org/boards/2/topics/412-Verilato... Wilson Snyder
12:50 AM Issue #1216: multicore support
Wilson could you check your first link after "previous research done on this"?
John Coiner

09/19/2017

11:06 PM Issue #1216 (Feature): multicore support
First, disclaimer for others that may come across this bug wanting to get their code to go faster: before considering... Wilson Snyder
06:41 PM Issue #1216: multicore support
Here's my thinking about how this could be done. This is likely to change. Does it seem reasonable? What else should ... John Coiner
02:00 PM Issue #1216 (Feature): multicore support
I'm planning to modify Verilator so that its output will be able to execute in parallel on multicore CPUs efficiently... John Coiner
 

Also available in: Atom