All Stories

  1. ZK-Tracer: A High-Performance Heterogeneous Accelerator for Zero-Knowledge VM Trace Generation

    Article • July 2026, ACM (Association for Computing Machinery)

    Jia Xiong

  2. ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs

    Article • July 2026, ACM (Association for Computing Machinery)

    Zhe Jiang, Jia Xiong

  3. Using AI to Find Better Hardware Designs Faster

    Article • July 2026, ACM (Association for Computing Machinery)

    Zhe Jiang, Jia Xiong