Formal Foundations for Known Good Reliable Die Screening in Chiplet-Based AI Systems-on-Chip | Digital Library | PAMCET | PAMCET