SoC Design Verification Engineer
Summary
Verifies InspireSemi's RISC-V-based System-on-Chip: developing verification plans, building UVM/SystemVerilog testbenches, writing constrained-random and directed tests, closing functional coverage, and driving regressions and bug closure before tape-out. Core stack includes Xcelium, Python/Perl/TCL scripting, and AXI/PCIe/DDR protocols.
About Us:
- Make an Impact: Your work will directly contribute to building a high-performance compute accelerator for scientific, AI, and other applications.
- Rewarding Compensation: We offer competitive salaries, benefits, and equity.
- Flexibility: Benefit from a hybrid work environment in our Austin offices, with exceptional candidates considered for fully remote work.
- Grow With Us: Contribute to the development and improvement of verification methodologies, tools, and automation scripts.
- Develop and execute verification plans for complex SoC digital designs.
- Create and maintain UVM/SystemVerilog based testbenches and environments.
- Write, debug, and execute constrained-random and directed test cases.
- Implement RISC-V ISA compliance tests.
- Perform functional coverage analysis and close coverage gaps.
- Perform regression runs, analyze failures, and drive bug closure.
- Connect simulations to real user interfaces, stimulus generators, and checkers.
- Collaborate closely with RTL design engineers, architects, and software teams.
- Contribute to the development and improvement of verification methodologies and automation scripts.
- Perform preliminary debug of discovered issues.
- A Bachelor's or Master's degree in Electrical, Electronics, or Computer Engineering (or related field).
- 5+ years of hands-on experience in ASIC/SoC design verification.
- Strong proficiency in SystemVerilog, UVM, and simulation tools (e.g., Xcelium).
- Solid understanding of digital design fundamentals, RTL design, and synthesis flow.
- Experience with functional coverage, assertions, and scoreboarding.
- Strong scripting and programming skills (Python, Perl, TCL, C/C++).
- Knowledge of common bus protocols (AXI, AHB, PCIe, DDR4/5, etc.).
- Working knowledge of version control and continuous integration tools (e.g., Git, Jenkins, Jira, and Confluence).
- Solid debugging skills, analytical thinking, and attention to detail.
- Experience with Formal verification (Conformal LEC).
- Hands-on experience with emulation systems (Zebu, Palladium) or FPGA prototypes.
- Experience with Cadence EDA tools.
