Define and implement IP/subsystem-level verification strategy. Write SystemVerilog/UVM testbenches, assertions, random and directed tests. Perform simulation, debug failures, collect/analyze coverage, and run assertion-based formal verification. Develop verification infrastructure, scripts, and use AI to augment productivity.
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.
More information about NXP in the United States...
NXP is an Equal Opportunity/Affirmative Action Employer regardless of age, color, national origin, race, religion, creed, gender, sex, sexual orientation, gender identity and/or expression, marital status, status as a disabled veteran and/or veteran of the Vietnam Era or any other characteristic protected by federal, state or local law. In addition, NXP will provide reasonable accommodations for otherwise qualified disabled individuals.
#LI-6692NXP Semiconductors Austin, Texas, USA Office
Austin, United States, 0
Similar Jobs
Automotive • Internet of Things • Mobile • Semiconductor • Industrial
Lead development and execution of verification plans and testbenches for digital IP. Create UVM/OVM testbench components, constrained-random and directed tests, SVA assertions, functional coverage models, and apply formal methods. Debug RTL, analyze coverage results, mentor engineers, and collaborate with global SoC/IP teams to drive zero-defect quality and productivity improvements.
Top Skills:
AceAi/LlmAxiChiCpfDdrFormal VerificationHapsOvmPalladiumPciePerlPythonSvaSystemverilogUnix/LinuxUpfUvmVerilogVhdlZebu
AdTech • eCommerce • Information Technology • Software • Travel • Generative AI
Design, develop, and deploy end-to-end ML models and systems for pricing and revenue optimization. Build data pipelines, feature engineering, model training, evaluation, and production monitoring. Partner with product, engineering, and analytics to define success metrics and run experiments. Apply causal inference and optimization techniques to improve business outcomes and enable scalable model-serving and reuse.
Top Skills:
A/B TestingCausal InferenceData Processing FrameworksMixed-Integer ProgrammingModel Training LibrariesModel-Serving ApisPython
AdTech • eCommerce • Information Technology • Software • Travel • Generative AI
Build and maintain Expedia Group's core GraphQL platform, including routers, schema workflows, and infrastructure. Collaborate across teams to improve developer productivity, optimize observability, support platform users, perform code reviews, drive CI/CD and delivery improvements, and apply AI to modernize tooling for high-throughput, scalable systems.
Top Skills:
AIAWSCi/CdDockerGithub ActionsGraphQLJenkinsKotlinKubernetesRustSpinnaker
What you need to know about the Austin Tech Scene
Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.
Key Facts About Austin Tech
- Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
- Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
- Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
- Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center

.png)