@misc{indiciae828f685f258c,
  title = {A Type System for Communication-Safe Hardware Design},
  author = {Aditya Ranjan Jha and Jason Zhijingcheng Yu and Umang Mathur and Prateek Saxena},
  year = {2026},
  url = {https://arxiv.org/abs/2610.26599},
  note = {Source identifier: 2610.26599}
}