Skip to content
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

Merge from CV32E40X #512

Conversation

silabs-oysteink
Copy link
Contributor

SEC clean.

silabs-krdosvik and others added 30 commits September 7, 2023 10:21
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
… rvfi_mem

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
…mem_err logic

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Halfdan Bechmann Dolva <halfdan.bechmann@silabs.com>
Signed-off-by: Halfdan Bechmann Dolva <halfdan.bechmann@silabs.com>
…emory operations

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
- Refactored branch_in_ex / branch_taken ex. SEC clean.
- Not allowing async debug, interrupts or NMI when csr_flush_ack_q == 1. NOT SEC clean.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Halfdan Bechmann Dolva <halfdan.bechmann@silabs.com>
…hanges

Fixes after running SEC vs cv32e40s with SECURE=0.
…s fully non-bufferable

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Oivind Ekelund <oivind.ekelund@silabs.com>
Rewrite assertion to avoid unreachable cover
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
…ype and rvfi_mem_err.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
…err-exokay2

Updated description of rvfi_mem_rdata, rvfi_mem_exokay, rvfi_mem_memt…
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Silabs-ArjanB and others added 18 commits September 27, 2023 08:04
…ec-11-sept-23

Updated debug spec version to 1.0-STABLE as of September 11th 2023.
SEC clean.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Robin Pedersen <Robin.Pedersen@silabs.com>
…nstead of logic.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Added note about how AMO instructions are reported on RVFI.
…ed sections to integration chapter about tieoffs.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
- xif_offloading_o in id_stage was not driven when X_EXT==0
- core_resp_o.wpt_match was not driven in the align checker in the LSU
- MSB of sel_nodes within ff_one was not driven. Also fixed on cv32e40p with commit ab162975a52b79e2f2bd5dc7511a9e849485c22d.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
…ieoff

Updated list of unused OBI signals for instruction and data OBI.
…k_merge-w40.23-1

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
…bout RVFI and AMOs.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
@Silabs-ArjanB Silabs-ArjanB added the Component:RTL For issues in the RTL (e.g. for files in the rtl directory) label Oct 4, 2023
@Silabs-ArjanB Silabs-ArjanB merged commit 67cd27a into openhwgroup:master Oct 4, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants