Skip to content

Add Comprehensive Safety Assertions for Illegal Instruction Handling in Decoder#2391

Open
Anubhav-30 wants to merge 1 commit intolowRISC:masterfrom
Anubhav-30:verification/decoder-safety-assertions
Open

Add Comprehensive Safety Assertions for Illegal Instruction Handling in Decoder#2391
Anubhav-30 wants to merge 1 commit intolowRISC:masterfrom
Anubhav-30:verification/decoder-safety-assertions

Conversation

@Anubhav-30
Copy link
Copy Markdown

This PR enhances decoder robustness by adding assertion-based safety checks.

The assertions ensure that no unintended side effects occur when an illegal
instruction is detected, including:

  • No register file reads
  • No memory access requests
  • No control flow changes
  • No CSR access

A SystemVerilog testbench is also added to validate these safety conditions.

This improves verification coverage and aligns with formal verification practices.

@azure-pipelines
Copy link
Copy Markdown

Azure Pipelines:
1 pipeline(s) were filtered out due to trigger conditions.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant