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 672b5de commit c5b7115
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 @@ -6,7 +6,7 @@ In existing online difftest solutions, step-by-step implementations often lack g
#### Objective
The goal of offline difftest is to ensure the correctness of each instruction’s observed behavior during processor execution, while providing a flexible validation mechanism for handling undefined behavior. The validation process involves three steps:

1. Running the driver to generate the DUT (Device Under Test) trace.
1. Running the driver to generate the DUT (Design Under Test) trace.
2. Using the DUT trace to generate the model trace.
3. Detecting instruction differences by comparing the DUT trace and model trace using the difftest algorithm.

Expand Down

0 comments on commit c5b7115

Please sign in to comment.