BLOG Nov 15, 2021/6 min read BLOG Formal Chip Design Verification in the Cloud: EDA Tools? By Pratik Mahajan, Ahmed Elzeftawi Tags: Cloud, Chip Design Insights, Verification, Formal Verification
BLOG Feb 23, 2021/5 min read BLOG Verifying Complex Datapath Designs with HECTOR? By Kiran Vittal, Alfred Koelbl, Pratik Mahajan Tags: AI & Machine Learning, Debug, Chip Design Insights, Verification, Formal Verification