3 of 3 Remote/Hybrid SystemVerilog Jobs in London

Design Verification Engineer

Hiring Organisation
IC Resources
Location
London Area, United Kingdom
based verification at IP and subsystem levels Proven experience building UVM testbenches from scratch Proficiency in Python for verification automation Solid experience with SystemVerilog Assertions (SVA) A minimum of 4 years experience. What’s on offer Competitive base salary plus share options Opportunity to help build something from the ground ...

Formal Verification Engineer

Hiring Organisation
microTECH Global LTD
Location
London Area, United Kingdom
chiplet-based designs featuring multi-processors and high-speed I/Os, working closely with RTL and DV teams. Key Responsibilities Develop and optimize SystemVerilog Assertions (SVA) and formal properties Perform formal verification at block, subsystem, and full-chip levels Create abstractions, assumptions, and constraints for proofs Identify bugs, dead … teams to achieve verification coverage closure Required Qualifications BSc or MSc in EE, CE, CS, Mathematics, or Physics Strong knowledge of SystemVerilog/Verilog and digital design Hands-on experience with formal verification methodologies Proficiency with SVA (PSL a plus) Experience with at least one formal tool ( JasperGold, VC Formal ...

Digital IC Design Verification Engineer (All Levels)

Hiring Organisation
microTECH Global LTD
Location
London, UK
Employment Type
Full-time
Design Verification Engineers to join the team and help ensure first-silicon success. What You'll Do Verify AI accelerator and SoC designs Build SystemVerilog/UVM testbenches and verification environments Perform coverage-driven and assertion-based verification Debug hardware-software interactions and collaborate with architecture, RTL, and software teams … Develop scalable verification frameworks from simulation to post-silicon What We're Looking For Experience in digital IC design verification (SystemVerilog/UVM) Knowledge of Python/C++ (Perl/TCL a plus) Understanding of computer architecture, memory hierarchies, and bus protocols (AMBA/AXI, NoC) Bachelor's or Master ...