Aditya Arya

DevOps Engineer

Panchkula, Haryana, India3 yrs experience

Key Highlights

Expert in Formal Verification and SystemVerilog.
Strong foundation in Electronics and Instrumentation.
Proficient in Python and Computer Architecture.

Stackforce AI infers this person is a Formal Verification Engineer with a strong background in Electronics and Software Development.

Contact

Skills

Core Skills

Formal Verification

Other Skills

SystemVerilogUniversal Verification Methodology (UVM)PerlsmmuPython (Programming Language)Computer ArchitectureRegression TestingAnalytical SkillsMATLABVerilogMicrocontrollersDigital Hardware Design

Experience

3 yrs

Total Experience

Average Tenure

Current Experience

Sifive

Formal Verification Engineer

Sep 2024 – Present · 1 yr 9 mos · Bengaluru, Karnataka, India · On-site

SystemVerilogUniversal Verification Methodology (UVM)Formal Verification

Nvidia

ASIC Intern

Jan 2024 – Jul 2024 · 6 mos · Bengaluru, Karnataka, India · On-site

Perlsmmu

Prama instrument pvt ltd

Research And Development Intern

Jul 2021 – Sep 2021 · 2 mos · Mumbai, Maharashtra, India · Remote

Python (Programming Language)Computer Architecture

Nirmaan organization

Project Leader

Jun 2020 – Sep 2021 · 1 yr 3 mos · Pilani, Rajasthan, India

Education

Birla Institute of Technology and Science, Pilani

Bachelor of Engineering - BE — Electronics and Instrumentation Engineering

Aug 2019 – Jul 2024

Stackforce found 100+ more professionals with Formal Verification

Explore similar profiles based on matching skills and experience

Shiva Kumar Bhavanari

Senior Engineer

at Qualcomm

Hyderabad, India8 yrs 10 mos exp

FPGAsASIC Verification

Rahul Ranjan Kumar

Lead Design Engineer

at Cadence

Bengaluru, India5 yrs 2 mos exp

Yajuvendra Dhavalikar

Pre-Silicon Validation Engineer

at Intel Corporation

Bengaluru, India14 yrs 5 mos exp

Akshay Kaushik

Silicon Design Engineer - 2

at AMD

Bengaluru, India3 yrs 8 mos exp

Functional VerificationSystem on a Chip (SoC)Cloud ServicesMobile Application DevelopmentTesting and Validation

Nishant Parihar

Human Resources Business Partner

at 3i Infotech Ltd.

Jhansi, India5 yrs 6 mos exp

Human Resources Business PartneringPayroll ManagementHuman Resources ManagementRecruitment

Anil Deshpande

Director of Engineering

at Samsung Semiconductor India Research

Bengaluru, India20 yrs 8 mos exp

Engineering ManagementSystem Verification

Rohit Narkhede

Verification Director

at Pico2Femto ("P2F") Semiconductor

Pune, India18 yrs 10 mos exp

Hari Krishna Vinjamoori

Asic implementation Engineer

at Sintegra Inc.

Bengaluru, India6 yrs 7 mos exp