Browse tech roles

SystemVerilog UVM Python Perl C++ VHDL Verilog SystemC AI ML GenAI 4G/5G 3GPP Formal verification Simulation acceleration Unix/Linux Makefiles XML OOP HW/SW co-verification +15 more Show less

Verilog System Verilog UVM Git Vivado Palladium Zebu Veloce Perl Python Linux +6 more Show less

C C++ Python Computer Architecture Embedded Systems Video Codec Computer Vision HW and FW Development KPI Analysis System Performance Metrics Problem Triaging Customer Requirements Analysis Technical Documentation Feature Description Writing +9 more Show less

SystemVerilog UVM IEEE 802.11 Bluetooth Cellular DPIs Transaction-Level Modeling Packet-Based Approaches Scoreboarding Assertions Constrained Random Testing Functional Coverage Implementation DSP Algorithms Verification Bit/Cycle Matching ASIC Verification Flows +10 more Show less

UVM Python Perl Bash SystemC DPI UPF RTL SV Linux +5 more Show less

SystemVerilog UVM OVM Python UPF FunctionalCoverage PowerAwareVerification EmulationVerification HardwareSoftwareCoVerification GPU CPU DDR Bus +8 more Show less

UVM SystemVerilog Python C/C++ Perl LLMs MCPs SVA CI/CD Docker Git JIRA Confluence 4G/5G cellular physical layer operation 3GPP AHB AXI NOC Bus Fabric +14 more Show less

SystemVerilog UVM Python Perl LLMs MCPs C C++ SVA Coverage-driven verification RTL simulation Constraint random testing AHB AXI NOC Bus Fabric +11 more Show less

SystemVerilog UVM C/C++ Python Veloce Palladium Zebu FPGA Vulkan DX11 DX12 Make Airflow GNU Toolchain Visual Studio Formal verification FPV DPV QEMU Embedded FW Development Linux Kernel Architecture C/C++ Debugging gdb uboot uefi kernel-mode drivers +21 more Show less

Verilog SystemVerilog UVM Git Vivado Palladium Zebu Veloce C++ Python Perl Linux AXI4-x DDRx PCIe JTAG DPI Simulation Emulation Formal Verification Static Verification +16 more Show less

SystemVerilog UVM VMM OVM Synopsys VCS Cadence IES AXI3/4 DDR4/5 HBM PCIe ASIC FPGA SOC NetWork on Chip (NOC) verification gate level simulation power verification reset verification contention checking abstraction techniques formal property checking tools Cadence IEV Jasper Synopsys VC-Formal Synopsys Magellan +19 more Show less