Greg Chadwick
Greg Chadwick
Add support to cosim for internal interrupts (documented at https://ibex-core.readthedocs.io/en/latest/03_reference/exception_interrupts.html#internal-interrupts) > estimate 8
@hcallahan-lowrisc assigned to all of these The following debug related coverpoints are not yet being hit: - [ ] Some categories for single stepping over each instruction category - `cp_single_step_instr`...
Verify the ICache integrity and scrambling features For integrity create a testbench component to corrupt icache data and icache tags. Ensure corruptions triggered the required alert. This will require targeting...
Document and add coverage points then ensure they're getting hit for: - [ ] Data independent timing enabled whilst executing all instruction categories - Estimate 2 - [ ] Random...
Ensure CSR writes that will enable and disable the random instruction generator are emitted for some tests. This is mostly dealt with via on-going CSR work. The task here is...
Ibex has a double fault detector. A checker should be created to ensure this functions correctly and double faults should be stimulated in some tests. > estimate 4
Verify the fetch enable signal. Write a sequence that can toggle it for the new sequence library. Use this sequence to randomly toggle fetch enable in some tests. It should...
Build a testbench component to corrupt outputs from both the lockstep and main cores and corrupt inputs into the lockstep core and ensure suitable alerts are triggered. This will be...
Verify the PC Integrity checking countermeasure. This will involve corrupting the PC and checking the appropriate alert occurs. Ideally we will not disable the co-simulation checking around this which should...