Veripool

10/25/2011

11:50 am Verilator Issue #401 (Closed): verilator 3.823 segfaults on make test

While building verilator 3.823 on Debian unstable, it seg faulted on 'make test' with the following error:...

08/23/2011

02:35 pm Verilator Issue #288: Verilator does not pass tests on sparc

Wonderful ! Thanks a lot.

08/21/2011

03:08 pm Verilator Issue #288: Verilator does not pass tests on sparc

Here's the link to the PowerPC image: http://people.ubuntu.com/~aelmahmoudy/ppc.img

08/20/2011

08:46 am Verilator Issue #288: Verilator does not pass tests on sparc

I've prepared a Qemu powerpc image (size is 1GB !), I intend upload it during this week and put the link when the upl...

07/07/2011

12:09 pm Verilog-Perl Issue #309: Test failures on mips & mipsel archs

It seems the bug was in the toolchain, as the build now passes on this mips & mipsel architectures. Please close this...

05/20/2011

06:10 pm Verilator Issue #288: Verilator does not pass tests on sparc

That's normal, because there aren't any security/updates/backports for the unstable release.
Anyways, I beleive th...

06:07 pm Verilog-Perl Issue #309: Test failures on mips & mipsel archs

Ahmed El-Mahmoudy wrote:
> Ok, so you need to setup networking on the virtual machine image. Probably that's what wh...

05:57 pm Verilog-Perl Issue #309: Test failures on mips & mipsel archs

Ok, so you need to setup networking on the virtual machine image. Probably that's what why you can't get updates on #288

05:49 pm Verilator Issue #288: Verilator does not pass tests on sparc

Wierd, are you sure that you first ran: apt-get update

04:44 pm Verilog-Perl Issue #309: Test failures on mips & mipsel archs

Debian uses apt-get.
So to install gdb for example you would run: apt-get install gdb