Feb 23, 2021/5 min read Verifying Complex Datapath Designs with HECTOR By Kiran Vittal, Alfred Koelbl, Pratik Mahajan Tags: AI & Machine Learning, Debug, Chip Design Insights, Verification, Formal Verification