TY - RPRT TI - Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification AU - Antonino Armato AU - Christian Kehl AU - Sebastian Fischer PY - 2026 UR - https://arxiv.org/abs/2603.21770 ID - 2603.21770 ER -