Verify RTL and integrated blocks using System Verilog and traffic generators as per the architecture requirements which includes reviewing architecture and micro-architecture specs, reporting bugs, closing coverage and improvements to the verification process.
Application Engineer
Synopsys
Bangalore, India
03.2023 - 08.2024
Provided expert field support to market-leading customers such as Qualcomm, Nvidia, Broadcom and SiFive, ensuring the seamless adoption and integration of Synopsys VC Formal and VCS tools.
Played a key role in securing key customer requirements and helped in the deployment of the VCS Unreachability Analysis feature at Cisco and Broadcom.
Analyzed and optimized formal convergence techniques using helper assertions, and creation of abstraction models for FIFO memories reducing the runtime by 10 hours.
Assisted multiple customer projects in achieving formal signoff using COI (Cone of Influence) analysis, over constrained analysis and formal core coverage ensuring 90% functional coverage.
Delivered training sessions on Formal Verification at customer sites covering topics such as assertions, counterexample generation and advanced debugging techniques which included failure traces, root cause analysis using waveforms, and abstractions to simplify debugging.
Worked with 50+ clients globally including Micron, Broadcom, Ansys, and Qualcomm, utilizing VCS and Verdi to optimize compile and runtime performances and improve coverage scores for IP and block-level designs.
Involved in constrained-random and directed test generation for various digital and mixed-signal designs, resulting in 40% improvement in functional coverage and code coverage results.
Worked on debugging various design bugs in the customer environment, including race conditions, zero-delay loops, timing violations and eliminating combinational loops.
Worked as a backend engineer in a B2B and Agile ecosystem at a fintech startup specialized in providing instrument strategies for users availing bank instruments and derivatives.
Implemented and maintained key backend features using Ruby on Rails and Django, ensuring smooth integration with third-party APIs and external financial platforms.
Performed database management tasks using SQL, including query optimization and schema design, which improved data retrieval efficiency and reduced latency by 15%.
Skills: Ruby, Python, Git, MakeFile, Linux, SQL.
Tools: Ruby On Rails, Django, MySQL.
Education
Computer Engineering -
Arizona State University
Tempe, AZ
05.2026
Information Science and Engineering -
Visvesvaraya Technological University
Bangalore, India
08.2021
Certification
Design and Verification Certification, Maven Silicon, 08/01/21, 02/01/22
Introduction to VLSI Design, IIT Madras, edX, 05/01/22, 07/01/22
SystemVerilog Assertions and Functional Coverage, Udemy, 08/01/22, 10/01/22
Introduction to VLSI Design, IIT Kharagpur, Coursera, 06/01/23, 09/01/23
Training
Maven Silicon Training Centre, Advanced VLSI Design and Verification, Bangalore, India.
Developed a strong foundation in advanced Verilog for RTL design, together with SystemVerilog and UVM for verification.
Acquired skills in Assertion-Based Verification, using SystemVerilog Assertions (SVA) for robust code and functional coverage.
Learned key concepts in Digital Electronics, Static Timing Analysis and ASIC design and verification methodologies.
Selected Projects
RTL Design and Verification of a 1x3 Router
Designed a router that routes data packets to three output channels using Verilog.
Developed components: FIFO (3), FSM, Synchronizer, and register blocks, Developed testbench using System Verilog and UVM methodology from scratch.
Verification of an adder module via UVM
Using UVM methodology, completely verify an adder module that takes in 2-bit serial inputs and 3-bit serial outputs ensuring 100 percent coverage reached on input vectors.