Principal Formal Verification Engineer
Core
Lead formal verification efforts for complex semiconductor and silicon designs, driving strategy, improving design quality, and mentoring engineers.
Role type
Principal IC formal verification engineer (semiconductor)
Builds
Verified block-level and subsystem-level digital designs for AI infrastructure connectivity
Domain
Semiconductor hardware design and verification
Required skills
formal verification, SystemVerilog, assertions, RTL design, digital design fundamentals, bug triage, root-cause analysis, verification strategy, automation, mentoring
Preferred skills
JasperGold, VC Formal, AMBA protocols (AXI, AHB, APB), low-power verification, CDC, RDC, equivalence checking, Python, Perl, Tcl, shell scripting, emulation, simulation, high-speed interconnects (PCIe, CXL, DDR)
