BLOG Nov 15, 2021/6 min read BLOG Formal Chip Design Verification in the Cloud: EDA Tools By Pratik Mahajan, Ahmed Elzeftawi Tags: Cloud, About Synopsys, 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, About Synopsys, Verification, Formal Verification
EDA
System
IP
SolvNetPlus
Training & Education
