Nitin Ahuja
Formal Verification Manager @ Google Cloud
- Role
- Tpc Member at Dac, The Chips To Systems Conference
- Location
- Bengaluru, KA, IN
- LinkedIn followers
- 500 followers
Finance & AccountingView LinkedIn profile
Experience
Tpc Member
Dac, The Chips To Systems Conference
Oct 2025 — Present
Education
Maharshi Dayanand University
BE, ECE
2006 — 2010
Skills
- Formal Verification
- Xilinx
- Systemverilog
- Debugging
- Gate Level Simulation
- Static Timing Analysis
- Arm
- Rtl Design
- Application-Specific Integrated Circuits (Asic)
- Perl
- Eda
- Very-Large-Scale Integration (Vlsi)
- Verilog
- Semiconductors
- Processors
- Cmos
- Rtl Coding
- Vhdl
- Simulations
- Fpga
- Asic
- Functional Verification
- Cadence
- Soc
- Uvm
- Assertion Based Verification
- Arm Architecture
- Amba Ahb
- Vmm
- Tcl
- Ncsim
- Universal Verification Methodology (Uvm)
- Modelsim
- C
- Vlsi
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.