Fix/verilator v4.228 upgrade#136
Open
ping-long-github wants to merge 2 commits intopulp-platform:mainfrom
Open
Fix/verilator v4.228 upgrade#136ping-long-github wants to merge 2 commits intopulp-platform:mainfrom
ping-long-github wants to merge 2 commits intopulp-platform:mainfrom
Conversation
Add BUILD_GUIDE.md documenting a complete from-source build and simulation workflow on Ubuntu 24.04 without sudo access, covering: - Host dependency builds (m4, bison, flex, texinfo, GMP/MPFR/MPC, autoconf, dtc, libelf) into ~/.local - RISC-V GCC cross-compiler build and known issues with GCC 13 - Verilator build (v4.228 upgrade to fix v4.218 internal fault on fpnew RTL) - Successful hello_world run on the minpool (16-core) configuration - Summary table of all 14 issues encountered and their resolutions Add a 'Simulation Performance and Resource Considerations' section to README.md documenting that the default 256-core Verilator simulation can exhaust host memory due to serialized mempool_barrier synchronization and per-hart tracing I/O, with recommendations to use minpool for interactive work or provision 64 GB+ RAM for full-scale runs.
Verilator v4.218 (e6554e0) crashes with an internal fault in the V3AssertPre pass when elaborating the fpnew FPU RTL, specifically on LITENDIAN vector constructs. The error manifests as: %Error: Internal Error: ... V3AssertPre.cpp ... This is a known bug fixed in later Verilator releases. Bump the submodule to v4.228 (746c7ea) which resolves the issue and includes ~20 additional bug fixes and improvements. Tested with config=minpool (16-core) hello_world — simulation completes successfully with retval=0.
ping-long-github
requested review from
mbertuletti,
sermazz and
yichao-zh
as code owners
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summarize the changes concisely
Changelog
Added
Changed
Fixed
(Reference to issues, labels, and related merge requests)
Checklist
Please check our contributing guidelines before opening a Pull Request.