TY  - RPRT
TI  - SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification
AU  - Liangtao Dai
AU  - Yimin Gao
AU  - Melika Morsali
AU  - Mircea Stan
PY  - 2026
UR  - https://arxiv.org/abs/2609.25637
ID  - 2609.25637
ER  -