全职 Senior Design Verification Engineer-IP-Level - Formal Verification 工作, 薪水, ThunderSoft Pulau Pinang 公司招聘中 - Ricebowl

We are looking for a Design Verification Engineer – IP-Level & Formal Verification to join our semiconductor engineering team and take ownership of block/IP-level verification, formal property verification, and UVM-based verification.

The ideal candidate will have strong hands-on experience with Synopsys VC Formal and/or Cadence JasperGold, combined with solid expertise in SystemVerilog Assertions (SVA), formal property specification, SystemVerilog, and UVM.

You will work closely with RTL designers and verification teams to identify corner-case design issues, develop formal verification strategies, achieve proof convergence, and drive IP/block-level verification closure.

Key Responsibilities:

• Own IP/block-level verification planning and methodology.
• Develop SVA properties and perform formal proof.
• Drive FPV, connectivity, register and equivalence verification.
• Build and maintain UVM-based verification environments.
• Optimize assumptions, constraints and abstractions for proof convergence.
• Analyze counterexamples and debug RTL issues.
• Drive code, functional, assertion and formal coverage closure.
• Automate verification flows and regression using scripting.

Must-Have Skills:

• Hands-on Synopsys VC Formal and/or Cadence JasperGold
• 3 - 6 years of experience in digital design verification for ASICs, SoCs, or IP blocks
• Strong SystemVerilog Assertions (SVA) and formal property development
• Experience in FPV, connectivity checking, register verification, equivalence checking & formal coverage
• Strong SystemVerilog knowledge
• Experience with UVM-based verification
• Proficiency in TCL / Python / Perl scripting
• Strong understanding of CDC, asynchronous FIFO, arbiters, state machines and digital design fundamentals

Good to Have:

• AMBA AXI/AHB/APB or TileLink verification
• Formal scoreboarding / data integrity verification
• UPF / power-management verification
• Experience combining formal and simulation-based verification