44 rtl verification engineer jobs at 22 companies in Bastrop, TX
3w
Save
Mark Applied
Hide
3w
Senior Firmware Verification Engineer
Austin, Texas, United States
OnsiteFull Time
Renesas ElectronicsTokyo Stock Exchange: 6723: Designs and manufactures semiconductors for automotive and industrial systems.
5+ YOEBS/MS in EE or Computer Engineering required; 5+ years firmware verification experience in pre-silicon; SystemVerilog, C, Python/Perl skills; familiarity with RTL, emulation, and lab test equipment.
AMDNASDAQ: AMD: Designs and manufactures computer processors and graphics technology.
Design and implement CPU core RTL, contribute to microarchitecture, collaborate with verification and physical design, and debug pre/post-silicon issues; Bachelor’s+ in EE/CE preferred.
EricssonNasdaq: ERIC: Manufactures telecommunications equipment and provides networking services.
Experience in SoC/IP/SubSystem verification, SystemC/TLM and RTL environments, hardware emulation, knowledge of high-speed interfaces, strong problem-solving and communication;BS required, MS preferred.
Retym: Developing coherent DSP silicon for AI data center infrastructure.
5+ YOE5+ years verification experience, 2+ full block/system verification cycles, deep VLSI verification knowledge, experience with SystemVerilog/UVM/eRM, familiarity with data-paths/protocols (Ethernet preferred), mentoring and cross-team collaboration.
Principal Design Verification Engineer (Silicon Engineering)
Austin or Irvine or Redmond or Sunnyvale
OnsiteFull Time
SpaceX: Designs and launches advanced rockets and satellite internet constellations.
10+ YOEBachelor’s in electrical/computer engineering or CS; 10+ years in design verification/test benches; UVM/OVM/VMM; RTL design; Python scripting; open to extended hours.
NVIDIANASDAQ: NVDA: Designs GPU-accelerated computing and artificial intelligence hardware.
5+ YOE5+ years experience with formal verification of RTL; degree in CS/CE/EE/Mathematics or equivalent experience; experience with Verilog/SystemVerilog, formal tools, abstraction techniques, and scripting (TCL, Perl, Python).
Olix: Developing optical hardware for artificial intelligence inference.
5+ YOE5+ years in digital verification for high-performance ASICs/SoCs; strong SystemVerilog, SVA, UVM, Cocotb, formal verification, CDC/RDC, and algorithm modelling (MATLAB/Simulink or Python/NumPy) skills; experience with high-speed IP (SerDes, DDR/HBM, PCIe).
NXP SemiconductorsNASDAQ: NXPI: Designs and manufactures semiconductors for automotive and IoT applications.
4+ YOEBachelor's in EE/CE/CS required, 4+ years IP/SoC design or verification experience, Verilog/SystemVerilog/UVM skills, SVA and verification (test planning, simulation, debug), familiarity with Python, C/C++, Perl, TCL and AI/ML tools; ARM AMBA knowledge a plus.
Verilog, SystemVerilog, UVM, System Verilog Assertion (SVA), Python, C/C++, Perl, TCL, Makefiles, AI/ML tools, ARM AMBA, RTL
MetaNASDAQ: META: Develops social networking platforms and virtual reality technologies.
2+ YOEBachelor's in CS/CE or equivalent,2+ years SystemVerilog/UVM or C/C++ hardware verification, experience with EDA simulation tools and scripting (Python,TCL,Perl,Shell),and RTL debug/root-cause analysis.
proteanTecs: Deep data analytics for electronics health and performance.
3+ YOEBachelor's or Master's in EE/CE (or related) with 3+ years experience; hands-on DV flow development; SystemVerilog/UVM; advanced testbench and flow automation; RTL and gate-level debugging; strong customer-facing and problem-solving skills.
SystemVerilog, UVM, EDA tools, proteanTecs DV flow
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
7+ YOEBachelor's in CS/EE,7+ years formal verification experience as IP/block owner, expertise in abstraction and end-to-end checking, RTL and microarchitecture comprehension, and coding/scripting skills.
Tenstorrent: Designs and manufactures AI processors and RISC-V CPU solutions.
8+ YOE8+ years in CPU verification and testbench development; deep hands-on experience with high-performance out-of-order RISC-V cores; CVM/UVM experience; cross-functional debug across RTL, logs, and post-silicon environments; familiarity with AI-assisted verification.
BroadcomNASDAQ: AVGO: Designs and sells semiconductors and infrastructure software to enterprises.
6+ YOEDesign and verify RTL/Verilog blocks for ASICs including synthesis, timing closure, formal verification, scripting, and RTL/gate-level power analysis. BS/MS in ECE and 6+ years experience.
Cadence Design SystemsNASDAQ: CDNS: Develops computational software and hardware for electronic system design.
Develop bare-metal firmware in C for DDR5 PHY and microcontrollers; debug RTL simulations and silicon bring-up; knowledge of DDR5 JEDEC spec, scripting (Shell/Perl/Python/TCL), and verification EDA tools required.
Skyworks SolutionsNASDAQ: SWKS: Designs and manufactures analog and mixed-signal semiconductor solutions.
MS with digital IC design experience; ability to develop RTL, work in HDL synthesis environments; scripting (Python, Perl, Tcl, shell); SystemVerilog/UVM and digital verification experience desirable.
ArterisNASDAQ: AIP: Develops semiconductor interconnect intellectual property and integration software.
5+ YOE5+ years SoC design and verification experience with Verilog/VHDL/SystemVerilog, RTL simulation/emulation tools, strong presentation skills, willingness to travel, US citizenship required.