L&T Technology Services
Formal Verification Engineer
L&T Technology Services, Sunnyvale, California, United States, 94087
Overview
Senior Executive @ L&T Technology Services | Driving Hi-Tech Talent Acquisition | Space & Automobile Enthusiast. Get AI-powered advice on this job and more exclusive features. Direct message the job poster from L&T Technology Services Job Description & Skill Requirement
Key Skills: Design verification, Formal DV, Jasper, Formality, SV/UVM, SoC, IP, Code coverage, Functional Coverages Role responsibilities As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: Working with Silicon's world-class design engineers to develop a formal micro-architecture specification Developing comprehensive formal verification test plan that includes unique verification requirements Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture Crafting novel and creative solutions for modelling and proving robustness of complex design micro-architectures Developing and implementing reusable and optimized formal models and verification code base Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity Understanding of temporal logic assertions Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal) Experience with complex verification projects that used formal techniques for closure Skills in Python, Perl, or Shell scripting (a plus) Salary The expected salary range for this position is between $120K - $250K annually. The actual salary may vary based upon several factors including, but not limited to, relevant skills/experience, time in role, base salary of internal peers, prior performance, business line, and geographic/office location. Seniority & Employment
Seniority level: Mid-Senior level Employment type: Full-time Job function
Referrals increase your chances of interviewing at L&T Technology Services by 2x Benefits / Inferred from the description for this job
Medical insurance Vision insurance 401(k) Disability insurance Additional postings
Get notified when a new job is posted.
#J-18808-Ljbffr
Senior Executive @ L&T Technology Services | Driving Hi-Tech Talent Acquisition | Space & Automobile Enthusiast. Get AI-powered advice on this job and more exclusive features. Direct message the job poster from L&T Technology Services Job Description & Skill Requirement
Key Skills: Design verification, Formal DV, Jasper, Formality, SV/UVM, SoC, IP, Code coverage, Functional Coverages Role responsibilities As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: Working with Silicon's world-class design engineers to develop a formal micro-architecture specification Developing comprehensive formal verification test plan that includes unique verification requirements Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture Crafting novel and creative solutions for modelling and proving robustness of complex design micro-architectures Developing and implementing reusable and optimized formal models and verification code base Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity Understanding of temporal logic assertions Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal) Experience with complex verification projects that used formal techniques for closure Skills in Python, Perl, or Shell scripting (a plus) Salary The expected salary range for this position is between $120K - $250K annually. The actual salary may vary based upon several factors including, but not limited to, relevant skills/experience, time in role, base salary of internal peers, prior performance, business line, and geographic/office location. Seniority & Employment
Seniority level: Mid-Senior level Employment type: Full-time Job function
Referrals increase your chances of interviewing at L&T Technology Services by 2x Benefits / Inferred from the description for this job
Medical insurance Vision insurance 401(k) Disability insurance Additional postings
Get notified when a new job is posted.
#J-18808-Ljbffr