Raffaele Signoriello

This is not meant to be an issue, just asking clarification about a feature improvement if feasible. I was essentially thinking about the concept of systemverilog properties and how this...

Currently seems like the feature is supported but I'm not able to use it at all, any clue on how to dump it ?

python3.9 error in finding the pyboolector module in constraint model

17

After running I always get the following error: I checked the requirement and ran the pip update along with the pip instal PyBoolector again with no success the error is...

ICELINK open Fail on MAC M1 with ICESUGAR

1

Hello, Currently using the Icesugar on MAC M1, is there any support for it ? I initially thought yes since the iceprog and icesprog are supported under rosetta. Anyway seems...

First off thanks so much for getting time to explore and fix Verilator build UHDM on Mac M1. I tried to run tests and I got library error (arm64): rm...

UHDM_VERILATOR support for Mailbox and Custom class constructor

1

Hello all, As mentioned probably in a previous conversation I tried this code: ``` // timescale 1ns/1ns class driver; mailbox d; string name; int sent; function new(string n, mailbox mbox);...

build_binaries.sh fails while creating UVM precompiled PKG

12

Consolidate compiler generated dependencies of target surelog-bin [ 97%] Built target surelog-bin [ 97%] Generating bin/pkg/work/uvm_pkg.sv.slpa Creating UVM precompiled package... make[3]: *** [bin/pkg/work/uvm_pkg.sv.slpa] Error 3 make[3]: *** Deleting file `bin/pkg/work/uvm_pkg.sv.slpa'...

rsignori@raffrasppi:~/verilator $ ./build_binaries.sh + cd Surelog ++ nproc + make PREFIX=/home/pi/verilator/Surelog/../image/ release install -j4 ARCH=armv7 'LDFLAGS=-latomic -lpthread -lgcov' cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/home/pi/verilator/Surelog/../image/ -S . -B build -- CMAKE_CXX_FLAGS: -latomic -std=c++0x -Wall...