@misc{indiciae41e7c690ac89,
  title = {Rhea: a Framework for Fast Design and Validation of RTL Cache-Coherent Memory Subsystems},
  author = {Davide Zoni and Andrea Galimberti and Adriano Guarisco},
  year = {2026},
  doi = {10.1109/iccad66269.2025.11240659},
  url = {https://arxiv.org/abs/2508.03837},
  note = {Source identifier: 2508.03837}
}