Skip to content

Commit

Permalink
Update difftest/doc/rational.md
Browse files Browse the repository at this point in the history
Co-authored-by: Jiuyang Liu <[email protected]>
  • Loading branch information
Clo91eaf and sequencer authored Sep 30, 2024
1 parent 07248f0 commit 99c8854
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion difftest/doc/rational.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ The goal of offline difftest is to ensure the correctness of each instruction’
#### Potential Challenges and Solutions

##### 1. **Memory Behavior Issues**
- When memory access order differs, it may lead to processor behavior discrepancies. In such cases, alignment strategies and memory model simulation may be needed to reduce the impact of memory ordering on the behavior.
- When memory access order differs, it may lead to processor behavior discrepancies. In such cases, alignment strategies and memory model simulation may be needed.

##### 2. **Handling Undefined Behavior**
- Defining and simulating undefined behavior is a complex task. A flexible interface is needed to allow the simulator to inject undefined behavior when detected, and to record related traces for further analysis.
Expand Down

0 comments on commit 99c8854

Please sign in to comment.