Nov 15, 2021/6 min read Formal Chip Design Verification in the Cloud: EDA Tools By Pratik Mahajan, Ahmed Elzeftawi Tags: Cloud, Chip Design Insights, Verification, Formal Verification
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