Naseer Siddique

About Naseer Siddique

Hardware Verification expert with deep and broad skills required for single-tapeout success of complex, high-performance designs. Developed end-to-end verification strategies at the block, cluster, and system levels, including implementation from scratch of test plans, golden models, drivers, monitors, assertions, and functional coverage instrumentation. Deep expertise with emulation technologies, including optimization of logic design for capacity/speed, memory mapping to block RAMs, debug methodology, in-circuit emulation (ICE), and accelerated testbenches. Passion for verification methodology, where investment in good tools, scripts, and policies can significantly improve team productivity and design confidence.Participate in broader verification community through conferences (DAC, DVCon, Supercomputing), refereeing technical papers (DAC), and EDA vendors meetings. Conducted thorough evaluation of many cutting-edge verification tools, including infrastructure integration, price negotiation, license management, and establishing buy-in from both the technical and management/finance teams for large software deals (>$1MM). Strong technical leadership, project management, and global teaming competencies.Specialties: SystemVerilog, UVM, Python, C++, VMM, verification methodology, formal verification, coverage (line, branch, FSM, condition, toggle), assertions, constrained random simulation, test plan development, linting, FPGA, emulation (Palladium), hardware-software co-simulation, DPI, VPI, cache coherency, automation, continuous integration, regression, gate-level simulationsTools: Synopsys- VCS, SpyGlass, VC Formal, Certitude, DVE, Xprop Cadence- Incisive (NCSim), UXE, VXE, Jasper (lint, fpv), SimVision Mentor Graphics- QuestaSim, Questa CDC/Formal (AutoCheck, PropCheck)

Experience

1. Hardware Engineer

   Waymo

   Aug 2020 — Present · New York, NY, US

Education

• Carnegie Mellon University

  BS, Electrical and Computer Engineering

  1998 — 2002

• Carnegie Mellon University

  MS, Electrical and Computer Engineering

  2001 — 2003

Skills

• Perl
• Microprocessors
• Linux
• Logic Design
• High Performance Computing
• Java
• C
• Debugging
• Hardware
• Functional Verification
• Object Oriented Design
• Computer Architecture
• C++
• Vhdl
• Simulations
• Software Development
• Python
• Systemverilog