Formal Verification Lead Engineer, Silicon Google

8.0 - 12.0 years

0 Lacs

karnataka

On-site

You will be part of a team that is focused on developing custom silicon solutions for Google's direct-to-consumer products. Your work will contribute to the innovation behind products that are loved by millions worldwide. Your expertise will be instrumental in shaping the next generation of hardware experiences, ensuring unparalleled performance, efficiency, and integration. - Collaborate with hardware architects to formalize specifications and verify system-level properties. - Create highly abstract models of different designs and ensure architectural correctness within a model and consistency across models. - Design formal verification strategies, establish properties and constraints for c...

Posted 3 weeks ago

AI Match Score

Apply

Formal Verification Engineer ACL Digital

4.0 - 6.0 years

0 Lacs

bengaluru, karnataka, india

On-site

Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be responsible for developing and executing formal verification strategies to ensure functional correctness of complex IP and SoC designs. Key Responsibilities: Define and implement formal verification strategies and plans. Develop formal properties and assertions for critical design blocks. Apply formal techniques such as property checking, s...

Posted 3 weeks ago

AI Match Score

Apply

Formal Verification Engineer, TPU, Google Cloud Google

1.0 - 3.0 years

0 Lacs

bengaluru, karnataka, india

On-site

Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 1 years of experience with verification methodologies and languages (e.g., Universal Verification Methodology, SystemVerilog). Experience developing and maintaining verification testbenches, test cases, and test environments. Experience working on main interconnects, Direct Memory Access (DMA), controllers, power management, and capturing design specifications in a temporal assertion language (e.g., System Verilog Assertions (SVA) or Property Specification Language (PSL)). Preferred qualifications: Master's degree or PhD in Electrical Engineering or Computer Science. Exp...

Posted 3 weeks ago

AI Match Score

Apply

Staff Formal Verification Engineer Mulya Consulting

7 - 12 years

40 - 75 Lacs

Bengaluru

Work from Office

Staff Silicon Formal Verification Engineer :- Bangalore Founded in 2023,by Industry veterans HQ in California,US We are revolutionizing sustainable AI compute through intuitive software with composable silicon Silicon Formal Verification Engineer Job Description In this role you will be responsible for developing and applying formal verification techniques to ensure functional correctness and completeness of high performance AI/ML Chiplet and SiP products. You will collaborate with a team of highly skilled team Architects and RTL Design engineers to identify, define, and verify components suited for formal analysis. Create robust formal abstract models to verify system-level properties, such...

Posted 5 months ago

AI Match Score

Apply

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.