Skip to content

Commit

Permalink
Update difftest/doc/organization.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 b2a972d commit 672b5de
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion difftest/doc/organization.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
- `dpi_t1/` and `dpi_t1rocket/`: Contain the TestBench code for `t1` and `t1rocket`, respectively. Each directory includes source files providing the DPI library linked by emulator(vcs or verilator), these DPIs will be called by corresponding Testbench.

3. **Difftest Directories**
- `offline_t1/` and `offline_t1rocket/`: Correspond to the verification projects for `t1` and `t1rocket`, respectively. These directories include the main test code files, used for executing verification and testing.
- `offline_t1/` and `offline_t1rocket/`: Correspond to the verification projects for `t1` and `t1rocket`, respectively. These directories include the difftest code files, used for the difftest verification framework.
- `spike_interfaces/`: Contains C++ code files for interface definitions.
- `spike_rs/`: Source files include `lib.rs`, `runner.rs`, and `spike_event.rs`, which provide the methods and tools needed during the verification phase.

Expand Down

0 comments on commit 672b5de

Please sign in to comment.