FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

Published in DATE, 2026