Siddarth Goyal

Software Engineer

Delhi, India5 yrs 9 mos experience

Most Likely To SwitchAI ML Practitioner

Key Highlights

Expert in Formal Verification methodologies.
Developed AI applications to enhance EDA tools.
Proven track record in data analysis and process improvement.

Stackforce AI infers this person is a Design Verification Engineer with a strong focus on AI-enhanced EDA methodologies.

Contact

Skills

Core Skills

Formal VerificationProperty CheckingData AnalysisProcess ImprovementMachine Learning

Other Skills

AnalyticsArtificial Intelligence (AI)Assertion-based VerificationAutoCADAutodesk InventorCC++CommunicationData AnalyticsData MiningData ScienceData StructuresData VisualizationDeep LearningETL Pipeline

About

Experienced Design Verification Engineer with a specialization in Formal Verification methodologies. Skilled in property checking, assertion-based verification , and tools such as JasperGold and VC Formal. Proven ability to collaborate with RTL and DV teams to ensure functional correctness at the IP and SoC level. Passionate about leveraging AI and large language models (LLMs) to enhance EDA tools and methodologies. I research and develop applications of Transformer-based models, retrieval augmented generation (RAG), and other AI techniques to accelerate the hardware design and verification process. I stay up-to-date on the latest AI research from NVIDIA and the broader community, and enjoy applying state-of-the-art techniques to solve challenging problems in hardware design and verification. Always eager to connect with other researchers and engineers working at the intersection of AI and EDA.

Experience

5 yrs 9 mos

Total Experience

2 yrs 10 mos

Average Tenure

3 yrs 11 mos

Current Experience

Nvidia

ASIC Design Engineer

Jul 2022 – Present · 3 yrs 11 mos

Plan the formal verification strategy, and create the properties and constraints for digital design blocks.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
Contribute improvements to methodologies to enhance formal verification results.

Formal VerificationProperty CheckingAssertion-based VerificationJasperGoldVC Formal

Apollo 24|7

Product Intern

Feb 2022 – Jun 2022 · 4 mos

Designed an Excel dashboard with advanced tools for data analysis and visualization, enabling data-driven decisions and improving product strategy.
Developed a Python-based ETL pipeline that automated data processing, reduced processing time by 80%, and enhanced data integrity for accurate product metrics and reporting.
Analyzed data to identify inventory management disparities, reducing average delivery time by 50% and improving customer satisfaction. Awarded Pre-Placement Offer (PPO) for exceptional work.

Data AnalysisData VisualizationPythonETL PipelineProcess Improvement

Dhani

Software Developer

Feb 2022 – Mar 2022 · 1 mo

Jocata

Machine Learning Engineer

Jul 2021 – Aug 2021 · 1 mo

Developed a deep learning-based system for automatic OCR capture of PAN card data, achieving 90% accuracy on 50+ test images; Implemented techniques like transfer learning and data augmentation to enhance model robustness
Built the machine learning pipeline in Python using OpenCV, TensorFlow and Keras; Performed extensive data preprocessing and experimented with CNN architectures to optimize performance
Collaborated with senior engineers to make the OCR system mobile-compatible; Employed regularization and cross-validation to mitigate overfitting and improve generalization

Machine LearningPythonOpenCVTensorFlowKeras

Couture.ai

Data Analyst

Jun 2021 – Jul 2021 · 1 mo

Process ImprovementPython

Rendezvous iitd

Event Executive

Sep 2019 – Oct 2019 · 1 mo

Hosted and Managed three Big Events in Rendezvous spread throughout the Fest.
Managed a team of 4 students and conducted events with them

Edc iit delhi(entrepreneurship development cell)

Administrative Executive

Jul 2019 – May 2021 · 1 yr 10 mos

iit delhi alumni association & international programmes

International Affairs Executive

Jul 2019 – Jun 2020 · 11 mos

Hosted a student conference with the Secretary Gen of UNSC during his India visit.
Orchestrated the signing of research and student exchange MOUs for the institute with more than 20 internationally-recognized universities.
Managed the ground-work in alumni events of the institute having the likes of personalities like Mr. Vinod Khosla, Mr. Binny Bansal and Mr. Chetan Bhagat.
Conducted tours and activities for Foreign Officers and Students