Arun Kumar

Software Engineer

Hapur, Uttar Pradesh, India5 yrs 6 mos experience

AI EnabledAI ML Practitioner

Key Highlights

Achieved 35% process efficiency boost through algorithm optimization.
Expert in C++ and formal verification methodologies.
Strong foundation in data engineering and CI/CD practices.

Stackforce AI infers this person is a Software Engineer specializing in algorithm optimization and verification in the semiconductor industry.

Contact

Skills

Core Skills

C++Algorithm OptimizationObject-oriented ProgrammingVerificationDebugging

Other Skills

AlgorithmsAmazon Web Services (AWS)Artificial Intelligence (AI)Automated ProcessesAutomationC (Programming Language)Code ReviewCommunicationCompilersComputer ScienceContinuous Integration and Continuous Delivery (CI/CD)CryptographyCuda parallel programming(Basics)DDR SDRAMDDR5

About

At Cadence Design System, my role as a Lead Software Engineer hinges on leveraging advanced C++ programming to optimize algorithms, achieving a 35% process efficiency boost. My expertise in Xcelium Tool / Formal Verification / VCS Tool assertion-based property verification principles supports the creation of scalable and maintainable code for complex design simulations. With a strong foundation in data engineering from the Indian Institute Of Information Technology, I integrate scripting with CI/CD practices to enhance high-level design work. My technical skills are complemented by a proven ability to thrive in both independent and collaborative settings, consistently delivering solutions that meet the rigorous demands of multi-core and distributed computing environments.

Experience

Cadence

Lead Software Engineer

Dec 2024 – Present · 1 yr 3 mos · Noida, Uttar Pradesh, India · On-site

Xcelium™ Software Team.
Implemented performance optimization technology to speed up elaboration time and automate parallel builds.
Enhanced design model processing through parsing, design elaboration, optimizations, and functional verification.

C++Xcelium ToolFormal VerificationVCS ToolAlgorithm Optimization

Synopsys inc

Senior Software Engineer

Jul 2022 – Dec 2024 · 2 yrs 5 mos · Noida, Uttar Pradesh, India · On-site

Software Domain:
Created an advanced object-oriented programming module in C++ that optimized critical algorithms, enhancing process efficiency by 35% and allowing for real-time data processing in complex design simulations.
Actively engaged with customers for various phases including requirement gathering, bug fixing, and refactoring.
Resolved issues in regression cases and wrote unit tests to meet customer requirements and improve suite efficiency.
Delivers code that is efficient, scalable, maintainable, extensible, robust and easy to understand.
Knowledge of optimizing computing tasks for multi-core systems or distributed computing, likely used for tasks like large-scale simulations or machine learning training.
Experience with both simulation-based and formal verification methodologies, used for validating hardware designs and ensuring correctness before manufacturing.
Verification Domain:
DDR5 MRDIMM IP 12.8 Gbps and DDR5 DRAM 9.2 Gbps support is added.
VC Verification IP for JEDEC DDR5 provides a comprehensive set of protocol, methodology, verification, and productivity features, enabling users to achieve accelerated verification closure of DDR5 based designs.
Performing Regression and Debugging.
Coding UVM sequences and test cases ensure 100% test plan coverage.
Analyze and debug test failures with designers to deliver functionally correct design.
Identify and write functional coverage for stimulus and corner cases.
Optimized the size of Testbenches by algorithmic improvements.
Debugged & Automated various Testbenches of Synopsys Scan Test IP’s.
Create script Automated generation of varied part numbers.
Create script Automated created test cases those are generated from trace files.
Specialty: Software development, product engineering, C/C++, Python, Tcl/Tk, Perl scripting, Automation.
Tools - Verdi & VCS, Perforce, Eclipse, Automated Coverage Tool.
Addl. - Python, IP-DDR, Makefiles, UGE, Debuggers, Jira

C++Object-Oriented ProgrammingReal-time Data ProcessingRegression TestingUVMDebugging+1

Niki

Software Engineer

Jun 2018 – Apr 2020 · 1 yr 10 mos · India · Hybrid

Managed payments, promotions, and convenience fees at Niki, integrating with Freecharge, YesPay, and ConfirmTkt.
Designed and implemented features for Niki promotions, running campaigns and offers with end-to-end ownership.
Utilized latest technologies to enhance user experience and drive business growth.