This is a fully remote position, open to applicants in California.

📋 Description

• Ensure the accuracy of next-generation high-performance RISC-V CPUs and AI computing platforms.

• Utilize formal methods to validate intricate hardware behaviors and reveal edge cases that simulations might overlook.

• Collaborate closely with CPU architects, RTL designers, and design verification engineers.

• Create properties and establish formal verification environments.

• Investigate failures and drive resolutions to completion.

• Implement formal techniques to address challenging issues in contemporary processor design.

• Distinguish hardware behaviors that are best verified through formal methods as opposed to simulation, emulation, and other verification strategies.

• Create scalable properties and proofs for intricate control logic and interacting microarchitectural components.

⛳️ Requirements

• Over 6 years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs.

• Practical experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis.

• Proficient in SystemVerilog, with experience in writing and debugging SystemVerilog Assertions (SVA).

• Strong foundational knowledge of digital design and computer architecture.

• Experience with CPU pipelines, caches, interfaces, control logic, or other intricate microarchitectures is highly desirable.

• Strong programming and scripting expertise in Python, Tcl, C/C++, or similar languages.

• Exceptional debugging and problem-solving skills.

• Must be eligible to access U.S. export-controlled technology, which includes compliance with relevant export laws and potential citizenship/permanent residency or licensing requirements.