TY - RPRT TI - ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism AU - Jialin Sun AU - Yuchen Hu AU - Dean You AU - Yushu Du AU - Hui Wang AU - Xinwei Fang AU - Weiwei Shan AU - Nan Guan AU - Zhe Jiang PY - 2025 UR - https://arxiv.org/abs/2510.10225 ID - 2510.10225 ER -