Skip to content

Compare only W0 bank hashes in BTrace - #24

Merged
daiyongyuan merged 1 commit into
mainfrom
fix/bank-hash-w0-only
Sep 25, 2026
Merged

daiyongyuan merged 1 commit into
mainfrom
fix/bank-hash-w0-only

Conversation

@daiyongyuan

@daiyongyuan daiyongyuan commented Sep 25, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • Change BTrace records and RTL DPI callbacks to carry only the W0 logical bank ID and hash.
  • Emit BEMU records only for eligible write-bank instructions, retaining instruction IDs and multi-group hash combination.
  • Compare by (hart_id, inst_id) and W0; reject legacy three-slot records and duplicate offline records.

Verification

  • cargo test --offline -p bebop-bank-hash (4 tests passed)
  • cargo check --offline -p bebop-rtl-trace
  • Pebble generated BEMU manifest: cargo check --offline
  • cargo fmt --all --check

This is the Bebop half of the W0-only bank-hash diff change in DangoSys/buckyball#125. End-to-end RTL/BEMU workload simulation was not run in this change.

@daiyongyuan
daiyongyuan merged commit 5e42bc6 into main Sep 25, 2026
1 check passed
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