Arib Faisal

Software Engineer

Bengaluru, Karnataka, India4 yrs 10 mos experience

Highly StableAI Enabled

Key Highlights

Expert in formal verification for GPUs and AI processors.
Proven track record in datapath validation and connectivity checks.
Strong foundation in microelectronics with a Master's degree.

Stackforce AI infers this person is a Semiconductor Verification Specialist with expertise in formal verification and reliability testing.

Contact

Skills

Core Skills

Formal VerificationGpuDatapath ValidationReliability Testing

Other Skills

HPCAI processorsAssertion Based VerificationFormal Property VerificationForward Progress ChecksFormal Connectivity ChecksCPythonConnectivity CheckFPVPerlTCLPython scriptingAlgorithm Correctness : C2RTLVerdiRDA

About

AMD benefits from my contributions as a Senior Silicon Design Engineer, focusing on GPU and high-performance compute formal verification. Leveraging expertise in formal property verification, I ensure design integrity and reliability for advanced architectures in GPUs, HPC, and AI processors. With a Master of Engineering in Microelectronics from BITS Pilani, my technical foundation is complemented by skills in datapath validation, assertion-based verification, and connectivity checks. My goal is to drive innovation in semiconductor design, fostering precision and collaboration to advance cutting-edge technology.

Experience

4 yrs 10 mos

Total Experience

2 yrs 2 mos

Average Tenure

5 mos

Current Experience

Amd

Sr. Silicon Design Engineer

Dec 2025 – Present · 5 mos · Bengaluru · Hybrid

GPU, HPC, AI processors Formal Verification

GPUHPCAI processorsFormal Verification

Mediatek

Senior Formal Verification Engineer

Jul 2022 – Nov 2025 · 3 yrs 4 mos · Bengaluru, Karnataka, India

Formal Property Verification of complex blocks inside SNoC Subsystem like Arbiters, Cache Funtions etc
Data Path Validation (Hector - DPV) of Encryption Algorithms and Complex FFT Algorithms
Assertion Based Verification using Vendor ABVIPs
Forward Progress Checks in SNoC Subsystem
Formal Connectivity Checks in TV SoC for Resets, Clock, GPIO, Interrupt Controllers, Analog Macros etc

Assertion Based VerificationDatapath ValidationFormal Property VerificationForward Progress ChecksFormal Connectivity ChecksFormal Verification

Western digital

Research Development Engineering Intern

Jan 2022 – Jul 2022 · 6 mos · Bangalore Urban, Karnataka, India

Working in the 3D Nand Flash Memory Reliability and Qualification Team.
Have to run different reliability test to qualify a Nand Die .
Helping other product specific team to have their Nand die as per the design specifications.
Currently having hands on the WDC in house tester for reliability checks.
Working with C language for UDA development and Python for Data Processing.
Involved in new and fast tester's validation required for new generation Nand flash memories.

CPythonReliability Testing