Asic Implementation Engineer - Static Verification

Meta Meta · Big Tech · Sunnyvale, CA +1

Meta is seeking an ASIC Implementation Engineer specializing in Static Verification for their Infrastructure organization. The role involves front-end implementation from RTL to netlist, including RTL Lint, CDC analysis, timing constraints, and synthesis for data center SoCs and IPs. Responsibilities include performing clock and reset domain crossing analysis, RTL Lint, DFT analysis, logic/physical synthesis, developing automation scripts, and collaborating with design, DV, and physical design teams. Qualifications include a relevant Bachelor's degree, experience with static verification tools, Lint, CDC/RDC, SOC integration, front-end ASIC flows, RTL design (SystemVerilog), and scripting languages (Perl/Python, TCL).

What you'd actually do

  1. Perform Flat and Hierarchical Clock Domain Crossing and work with the designers to analyze the complex clock domain crossings and sign off the CDC
  2. Perform Flat and Hierarchical Reset Domain crossing Checks.
  3. Perform RTL Lint and work with the Designers to create waivers
  4. Run Logic/Physical Synthesis using advanced optimization techniques and generate optimized Gate Level Netlist for Timing, Area, Power
  5. Developing Automation scripts and Methodology for all FE-tools including (Lint, CDC, RDC,)

Skills

Required

  • Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
  • 2 years of experience in static verification tools
  • Experience with Lint, Clock Domain & Reset Domain crossing
  • Experience with SOC CDC signoff
  • Knowledge of SOC Integration (Clocking, Reset, PLL, etc)
  • Knowledge of front-end ASIC flows
  • Experience with RTL design using SystemVerilog or other HDL
  • Experience with communicating across functional internal teams and vendors
  • Experience with Design Compiler, Spyglass, PrimeTime, Formality or equivalent tools
  • Scripting and programming experience using Perl/Python, TCL, and Make
  • Experience with Netlist-CDC Analysis and improving MTBF
  • Experience with developing structural rule based checks for RTL & Netlist
  • Knowledge of Timing/physical libraries, SRAM Memories
  • Experience with SOC Design Integration and Front-End Implementation