TY - RPRT TI - Extend IVerilog to Support Batch RTL Fault Simulation AU - Jiaping Tang AU - Jianan Mu AU - Zizhen Liu AU - Zhiteng Chao AU - Jing Ye AU - Huawei Li PY - 2025 UR - https://arxiv.org/abs/2505.06687 ID - 2505.06687 ER -