From Silicon To Software

Author Archive
Pratik Mahajan

Posts by Pratik Mahajan:


Formal Verification on the Cloud: Getting the Compute Resources You Need at the Cost You Want

EDA tools are moving to the cloud; we explore the cost/performance benefits of applying cloud compute resources to formal chip design verification workloads.

Continue Reading...

Posted in Cloud, Verification


Why Datapath Validation Is Important—and How HECTOR Technology Can Help

With DVCon 2021 on the horizon we share a primer on our datapath verification technology HECTOR, exploring its impact on machine learning & AI chip design.

Continue Reading...

Posted in Artificial Intelligence, Machine Learning, Verification