TY - RPRT TI - Static Communication Analysis for Hardware Design AU - Mads Rosendahl AU - Maja H. Kirkeby PY - 2025 DO - 10.4204/eptcs.420.4 UR - https://arxiv.org/abs/2505.20849 ID - 2505.20849 ER -