@misc{indiciae4fce28ae17df,
  title = {ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism},
  author = {Jialin Sun and Yuchen Hu and Dean You and Yushu Du and Hui Wang and Xinwei Fang and Weiwei Shan and Nan Guan and Zhe Jiang},
  year = {2025},
  url = {https://arxiv.org/abs/2510.10225},
  note = {Source identifier: 2510.10225}
}