> Markdown version of [/jobs/ext/2937573-digital-design-verification-engineer](https://www.wearedevelopers.com/jobs/ext/2937573-digital-design-verification-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Digital Design Verification Engineer - **Company:** Renesas Electronics America Inc. - **Location:** United States - **Experience:** Expert - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Bash Shell, Communications Protocols, Computer Engineering, Data Centers, Software Debugging, Linux, Logic Synthesis of Circuits, Perl (Programming Language), Firmware, Formal Verification, Python (Programming Language), Software Tools, SystemVerilog, Tcl (Programming Language), Scripting, State Machines, Peripherals, Information Technology - **Published:** September 16, 2026 - **Apply:** https://www.thejobnetwork.com/job/db4d0a2d-9498-48a2-ada4-0e61e085859c/senior-digital-design-verification-engineer ## About the Role * Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field. * 4 or more years of relevant digital design verification experience, or equivalent directly applicable experience. * Demonstrated ownership of a complex block, subsystem, or major feature from verification planning through closure. * Strong proficiency in SystemVerilog, UVM, constrained random verification, functional coverage, and SystemVerilog Assertions. * Experience translating specifications into test plans, test scenarios, checkers, scoreboards, assertions, coverage models, and closure criteria. * Hands-on experience developing and debugging reusable UVM environments and analyzing complex regression failures. * Strong RTL and testbench debug skills, with the ability to distinguish design, environment, test, firmware, and specification issues. * Working knowledge of digital design fundamentals, including state machines, clocks and resets, interrupts, register interfaces, memories, and clock-domain crossings. * Proficiency in Linux and at least one scripting language such as Python, Bash, Perl, or Tcl. * Ability to work independently and collaborate effectively across architecture, design, firmware, analog, validation, and systems teams. Preferred Qualifications * Experience verifying complex SoCs, power management ICs, voltage regulators, digital controllers, or mixed-signal products. * Experience verifying RTL interfaces to embedded processors, memory-mapped peripherals, and firmware-controlled hardware features. * Familiarity with PMBus, AVSBus, SVID or SVI3, I2C, SPI, or similar control and communication protocols. * Understanding of telemetry, fault and alert handling, power sequencing, multiphase regulation, or digital control loops. * Experience with Cadence Xcelium, SimVision, vManager, JasperGold, Synopsys VCS, Verdi, or comparable tools. * Experience with formal verification, gate-level simulation, silicon bring-up, or pre-silicon-to-silicon correlation. * Experience improving regression infrastructure, coverage analytics, failure triage, or verification automation. What You Bring * Strong technical ownership and a disciplined approach to verification completeness. * Ability to reason beyond directed requirements and identify meaningful corner cases and feature interactions. * Clear communication of technical risk, progress, and signoff evidence. * A collaborative mindset and interest in improving verification methodology and productivity. ## Description Renesas is seeking a Senior Digital Design Verification Engineer to join our team developing complex power management SoCs. These products integrate digital control, telemetry, fault management, communication interfaces, configurable peripherals, and advanced power-control functions for AI, datacenter, enterprise computing, networking, and high-performance power delivery applications. You will independently own verification of significant blocks and features from planning through closure. The role combines hands-on UVM development, coverage-driven verification, complex debug, and close collaboration with architecture, RTL design, firmware, analog, validation, and systems teams. Responsibilities * Own verification of complex digital blocks or major SoC features from requirements analysis through coverage closure. * Develop feature-based verification plans from product, architecture, and microarchitecture specifications; identify gaps, ambiguities, corner cases, and risks. * Build and extend reusable SystemVerilog/UVM environments, including sequences, monitors, scoreboards, checkers, assertions, and coverage models. * Develop constrained random and targeted tests for normal operation, error handling, recovery, and system-level interactions. * Drive functional, code, toggle, FSM, and assertion coverage closure using regression and coverage data. * Debug RTL, testbench, assertion, integration, and regression failures; collaborate with design and firmware teams to isolate issues and verify fixes. * Automate regression, triage, reporting, and analysis workflows using scripting and modern engineering tools. * Communicate status, risks, dependencies, and closure evidence clearly; provide technical guidance to less-experienced engineers. ## Related Videos - [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker) - [Playing Pong on a shoulder press machine](https://www.wearedevelopers.com/videos/100140-playing-pong-on-a-shoulder-press-machine) - [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Intermediate Bitcoin Script](https://www.wearedevelopers.com/videos/25-intermediate-bitcoin-script) - [Agent Smith Gets Hardware: Autonomous IoT Hacking From Debug Port to Cloud API](https://www.wearedevelopers.com/videos/100258-agent-smith-gets-hardware-autonomous-iot-hacking-from-debug-port-to-cloud-api) ## Related Articles - [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first) - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering) - [Why Attend a Developer Event in 2026?](https://www.wearedevelopers.com/magazine/688-why-attend-a-developer-event-in-2026) - [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers) - [What’s the Difference between a Junior, Mid, and Senior Developer?](https://www.wearedevelopers.com/magazine/238-what-s-the-difference-between-a-junior-mid-and-senior-developer)