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…