TY - RPRT TI - Formal Foundations for Known Good Reliable Die Screening in Chiplet-Based AI Systems-on-Chip AU - Prashanthi Metku AU - Chandra Gandu PY - 2026 UR - https://arxiv.org/abs/2607.20141 ID - 2607.20141 ER -