issues Search Results · repo:microsoft/cheriot-ibex language:SystemVerilog
Filter by
50 results
(49 ms)50 results
inmicrosoft/cheriot-ibex (press backspace or delete to remove)There is a combinational path from data_rvalid_i input to data_wdata_o output in ibex_core. Synthesis has been run with
commit 5c75fe7f. Potentially this path could cause timing closure issues.
There ...
tisannai
- 5
- Opened 13 days ago
- #76
cheriot_instr_csethigh_cross1 and cheriot_instr_cgethigh_cross1 involve cross-products of capability {exponent, top,
bottom, correction factor} and address population count. These are, mm, let s say interesting ...
nwf
- Opened 23 days ago
- #75
Starting from commit 31dbab1f, I generated this list of unused parameters and ports. An initial set were generated by
verilator-lint. These were removed, and the process repeated until lint clean. Can ...
malcolm-sci
- Opened 24 days ago
- #73
https://github.com/microsoft/cheriot-ibex/blob/a95abc1c50759ba1007d2bdb0aa42b13053455fd/dv/cheriot/fcov/core_ibex_fcov_if.sv#L505-L509
shows that fcov_seal_bound_cases is defined in terms of cheri_ls_chkaddr, ...
nwf
- 1
- Opened 26 days ago
- #69
The coverpoints cp_cs1_sealed and cp_cs2_sealed are defined as nonzero otype and asserted tag . That s fine, except that
they get used AFAICT exclusively in crosses along with the corresponding tag, resulting ...
nwf
- 3
- Opened 29 days ago
- #68
Can the bin16to31 bins in cp_rs1_regaddr, cp_rs2_regaddr, and cp_rd_regaddr be marked as ignore for builds with the
RV32E top-level parameter?
nwf
- 3
- Opened 29 days ago
- #67
@kliuMsft and I spent a while looking and eventually remembered that the cp_cd_pcc_repr_cases component of this cross
product is describing whether the result is in bounds of PCC.
This implies that, for ...
nwf
- 1
- Opened 29 days ago
- #66
I believe that bound_check_cases has more impossible outcomes than just those already captured. In particular, I
think...
- in_cap.base32 is always = in_cap.top33, and so 0b?_????_?1?1, 0b?_????_?11?, ...
nwf
- 1
- Opened on Jan 15
- #64
This is not a bug, as there is no specification besides that which I have written for this behaviour as far as I know.
When taking an NMI Ibex stores mepc in mstack_epc to allow for easy recovery. Upon ...
mndstrmr
- 2
- Opened on Jan 6
- #60
The Bug
Suppose a CLC has already run, writing to x1, and now a second CLC will run, also writing to x1. The second CLC will not
stalled while the TRVK pipeline for the first runs.
This leads to a situation ...
mndstrmr
- 4
- Opened on Jan 6
- #59
![Issue origami icon](/images/modules/search/issues.png)
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.![Issue origami icon](/images/modules/search/issues.png)
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.