Formal Verification Engineer - New College Graduate
Core
Verify the design and implementation of industry-leading GPUs using formal verification algorithms to prove the correctness of complex logic problems.
Role type
Formal Verification Engineer (Hardware)
Builds
Bug-free silicon products for consumer graphics, self-driving cars, and AI
Domain
Semiconductor hardware design and verification
Required skills
formal verification algorithms, testplan development, formal techniques, tool optimization, automation scripting, Verilog/System Verilog HDL, SVA assertions, RTL code analysis
Preferred skills
Jasper, C, Perl, Python
Technologies
Jasper, Verilog, System Verilog, SVA, C, Perl, Python
Responsibilities
Use formal verification algorithms to prove correctness of logic problems; identify key behaviors for verification and write testplans; implement testplans using formal techniques; drive tools for best performance; develop flow and scripts to automate team efficiency; collaborate with teams to produce bug-free silicon products.
