AWS for Industries

Ahmed Elzeftawi

Author: Ahmed Elzeftawi

Ahmed Elzeftawi is a Semiconductor and EDA Partner Solutions Architect at Amazon Web Services. Prior to joining AWS, he was a Cloud Product Management Director at Cadence Design Systems where he architected and deployed multiple compute clusters for EDA workloads on AWS. He has 20 years of experience in Electronic Design Automation, chip design, and High Performance Compute clusters. Ahmed holds a Bachelor of Science in electrical and communications engineering from Cairo University and an MBA from Santa Clara University.

Using Cadence’s Pegasus Physical Verification with TrueCloud, customers benefit from 2X walltime savings using Amazon EC2 X2iezn Instances

Introduction Silicon designers are creating increasingly complex designs to address ever-increasing demand from customers. Increased complexity poses challenges to electronic design automation (EDA) applications that help with manufacturability and functionality of the designs on silicon. Physical verification is an integral part of the silicon design system that identifies design layout issues prior to its production […]

Driving High Performance and Efficient Physical Verification with Synopsys IC Validator on Amazon EC2 X2iezn Instances

Introduction Chip designs are increasing in complexity and size, which has resulted in additional transistors driving a need for greater processing power and memory. Greater silicon complexity makes physical verification with electronic design automation (EDA) applications more essential as any delays close to tape-out significantly impact production timelines. Silicon designers now require increased CPU and […]

Running Cadence JasperGold formal verification on AWS at scale

Introduction As the size and complexity of modern integrated circuits grow, semiconductor development teams are challenged to provide verification coverage for these larger, more complex chips with the same tight schedules. Formal Verification is an Electronic Design Automation (EDA) application commonly used by development teams to achieve this end. However, verification of modern Systems-on-Chip (SoC) designs increases […]

Scaling Synopsys Proteus optical proximity correction on AWS

Introduction Photolithography is a key step in the manufacturing of semiconductor chips. Photolithography works by shining light (laser) through a pattern (mask) onto a silicon wafer with photosensitive coating (resist). This changes the properties of the coating allowing manufactures to chemically remove the parts of the coating based on the exposure or lack of exposure […]

Scaling EDA Workloads using Scale-Out Computing on AWS

  Introduction Semiconductor and electronics companies using electronic design automation (EDA) applications can significantly accelerate their product development lifecycle and time to market by taking advantage of the near infinite compute, storage, and other resources available on AWS. In this workload enablement blog post, I provide architectural and system-level guidance to build out an environment […]