Advanced Microdevices Pvt. Ltd. (India) · 11 hours ago
Formal Verification Engineer
Austin, TX
Full-time
Hybrid
New Grad, Entry LevelAdvanced Micro Devices, Inc. is a company focused on building innovative products that enhance computing experiences. They are seeking a passionate Formal Verification Engineer to join their GFXIP team, where the role involves applying formal techniques to verify complex GPU designs and collaborating with design teams to ensure high-quality verification.
BiopharmaBiotechnologyIndustrialManufacturing
No H1B
Responsibilities
Drive formal verification execution with support from FV tech leads for GFX-IP blocks
Collaborate with design and architecture teams to understand design specifications and develop verification requirements
Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof
Debug testbench and/or design issues using formal tools and provide feedback for design improvements
Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence
Document formal verification processes, findings, and best practices
Continuously learn and stay abreast of advancements in formal verification and related technologies
Qualification
Required
Passion for modern, complex processor architecture, digital design, and verification
Excellent communication skills
Strong analytical and problem-solving skills
Willingness to learn and take on problems
Drive formal verification execution with support from FV tech leads for GFX-IP blocks
Collaborate with design and architecture teams to understand design specifications and develop verification requirements
Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof
Debug testbench and/or design issues using formal tools and provide feedback for design improvements
Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence
Document formal verification processes, findings, and best practices
Continuously learn and stay abreast of advancements in formal verification and related technologies
Undergrad degree required
Preferred
Good understanding of computer organization/architecture
Knowledge of scripting languages such as Python or TCL
Internship or project experience in digital design or verification
Experience or familiarity with formal tools and/or functional verification tools from Synopsys, Cadence or Mentor Graphics
Bachelors or Masters degree in computer engineering/Electrical Engineering preferred
Benefits
AMD benefits at a glance.
Company
Advanced Microdevices Pvt. Ltd. (India)
Advanced Microdevices (mdi) is a leader in innovative membrane technologies.
Founded in 1976
501-1000 employees
Funding
Current Stage
Late StageLeadership Team
Nalini Kant Gupta
Founder & Managing Director
Recent News
2024-10-18
2024-10-16
Company data provided by crunchbase