TY  - RPRT
TI  - A Type System for Communication-Safe Hardware Design
AU  - Aditya Ranjan Jha
AU  - Jason Zhijingcheng Yu
AU  - Umang Mathur
AU  - Prateek Saxena
PY  - 2026
UR  - https://arxiv.org/abs/2610.26599
ID  - 2610.26599
ER  -