FORWORD: Accelerating Formal Datapath Verification via Word-Level SweepingPublished in DATE, 2026Share on Twitter Facebook LinkedIn Previous Next