hardware model checking 1ic3 algorithm 1inductive generalization 1machine learning 1multi-armed bandit 1
From the 1 of 7 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
Xiaofeng Zhou, Guangyu Hu, Hongce Zhang +1
The paper introduces a lightweight machine‑learning framework that uses a multi‑armed bandit to dynamically select inductive generalization strategies within the IC3 hardware model…
cs.LO2025
FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
Ziyi Yang, Guangyu Hu, Xiaofeng Zhou +4
Modern circuit design process increasingly adopts high-level hardware construction languages and parameterized design methodologies to shorten development cycles and maintain high…