-
Notifications
You must be signed in to change notification settings - Fork 75
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
RV_ASSERT_ON is always enabled #58
Comments
VERILATOR is a simulator automatic define, predefined by Verilator |
The following are generic and subject to contention: common_defines.vh el2_param.vh |
I've opened a unique case to discuss defines uniquification: This thread should continue to focus specifically on the the issue of RV_ASSERT_ON always on. |
this is dupe of #49 ? |
@nstewart-amd Please take a look at this PR #55. Does it solve the issue? |
RISCV core has assertions guarded by `ifdef RV_ASSERT_ON
RV_ASSERT_ON is always enabled in src/rtl/riscv_core/rtl/common_defines.sv
ifndef VERILATOR
define RV_ASSERT_ON `endif
Recommendation:
Add `ifndef VEEREL2_SYNTHESIS or similar in addition to VERILATOR blocker.
Additionally -
Recommend all macro defines have VEEREL2 or similar prefix.
Example: VERILATOR -> VEEREL2_VERILATOR
Note that macro defines are global namespace. We must avoid simple names with reasonable opportunity for collision at integration level.
The text was updated successfully, but these errors were encountered: