From 99c88542caf54a73d47df490ca3964ef99af37c0 Mon Sep 17 00:00:00 2001 From: Clo91eaf Date: Mon, 30 Sep 2024 10:36:33 +0800 Subject: [PATCH] Update difftest/doc/rational.md Co-authored-by: Jiuyang Liu --- difftest/doc/rational.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/difftest/doc/rational.md b/difftest/doc/rational.md index 61693d824..0077c3373 100644 --- a/difftest/doc/rational.md +++ b/difftest/doc/rational.md @@ -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.