Job Title: Digital IP Principal Verification Engineer

Primary Location: Austin (Oakhill, Office)

Role Summary:

• Responsible for defining Design Verification strategy, and planning and implementing the verification strategy for an IP or sub-system level.
• Responsible for executing Digital functional verification to guarantee no “functional” fault exist according to Specifications as defined by product architects.
• Author of verification content including Verification-specific documentation, functional simulation models, and verification testbench environment.

Job Responsibility:

• Defining and writing IP verification plans based on requirements documents (industry standards, product requirements, IP architecture and IP implementation specifications).
• Writing stimulus in System Verilog (UVM), random test scenarios, algorithmic and directed testcases.
• Defining and writing System Verilog Assertion (SVA) cover properties to match the verification plan.
• Writing System Verilog (UVM) monitors, drivers, response checkers and SVAs for correctness.
• Developing and maintaining portions of a verification environment including scripts and makefiles.
• Debugging failing testcases to determine source of failure (tool, testcase, checker, verilog RTL) and track resolution.
• Collecting code and functional coverage results from random simulations, and analyzing uncovered events to determine additional test scenarios needed to achieve 100% coverage.
• Performing assertion-based formal verification of blocks and IPs to ensure they meet requirements.
• Using AI to augment generation of work products and boost productivity.

Job Qualification:

• Minimum BSEE/BSCE/BSCS. MSEE/MSCE/MSCS a plus.
• Minimum 6 years of experience in IP or SoC design or verification.
• Verilog, SystemVerilog, UVM coding skills required.
• Verification skills (test planning, testcase, testbench, simulation, debug) required.
• Other programming skills (Python, C/C++, Perl, TCL, etc.) a plus.
• Design skills (design documentation, RTL coding, synthesis, static and formal checkers, etc.) a plus.
• Knowledge of ARM AMBA® protocols a plus.
• Ability to work independently and in small teams without close supervision required.
• Proficiency in efficient use of AI to augment generation of work products.

#LI-6692