Formal Verification Engineer

hace 2 semanas

guadalajara, México AheadComputing Inc. A tiempo completo

We are seeking a Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification techniques to ensure the correctness and performance of high-end RISC-V cores. You will collaborate closely with architects and RTL engineers, employing cutting-edge formal tools and methodologies to build innovative verification solutions. This position offers a unique opportunity to shape the development of high-quality CPU designs and optimize the CPU verification process through rigorous formal analysis and bug detection methods. ResponsibilitiesEngage in formal verification of architecture and microarchitecture for high-performance RISC-V core. Collaborate with architects and RTL design engineers to identify, specify, and verify components suitable for formal analysis. Use formal tools and methodologies focused on ensuring the correctness of arithmetic, logical, and data transfer operations. Develop formal abstract models to verify system-level properties such as deadlock freedom and non-starvation. Create innovative verification flows, integrating formal techniques with simulation-based methods for effective bug detection. Build reusable and scalable proof techniques to enhance the formal verification process. Qualifications & Skills:Bachelor’s (BS) or Master’s (MS) degree in Computer Engineering, Computer Science, Electrical Engineering, or a related field. Hands-on experience with data path and control path formal techniques. Familiarity with model checking tools for formal verification. Strong problem-solving skills with excellent written and verbal communication abilities. Exceptional organizational skills and high self-motivation. Proven ability to collaborate effectively with diverse design teams. Exceptional problem-solving skills with the ability to identify and troubleshoot complex CPU design issues. Familiarity with UVM (Universal Verification Methodology) or similar frameworks. Strong understanding of microarchitectural concepts and CPU pipeline verification. Experience in creating reusable test environments and verification infrastructure. What We Offer:Competitive salary and benefits package. Opportunities for professional growth in an innovative startup environment. Collaboration with talented engineers passionate about cutting-edge CPU technologies. A flexible and inclusive work culture based in Guadalajara, Mexico #J-18808-Ljbffr

  • Verification Engineer

    hace 3 semanas

    Guadalajara, México Synopsys A tiempo completo

    *****BRMEXICO-Guadalajara**Job Description and Requirements**At Synopsys, we are at the heart of the innovations that change the way we work and play.Self-driving cars.Artificial Intelligence.The cloud.5G.The Internet of Things.These breakthroughs are ushering in the Era of Smart Everything.In addition to the traditional EDA tools and IP we also provide...

  • Verification Engineer

    hace 7 días

    Guadalajara, Jalisco, México Micron A tiempo completo

    Our vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever.For more than 45 years, Micron Technology, Inc. has...

  • Verification Engineer

    hace 4 semanas

    Guadalajara, México Synopsys A tiempo completo

    33580BRMEXICO-Guadalajara**Job Description and Requirements**At FirstPass (a Synopsys subsidiary), we are at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. In addition to the traditional EDA...

  • Verification Engineer

    hace 9 horas

    Guadalajara, México Synopsys A tiempo completo

    33580BR MEXICO-Guadalajara **Job Description and Requirements** At FirstPass (a Synopsys subsidiary), we are at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. In addition to the traditional...

  • Cpu Verification Engineer

    hace 3 semanas

    Guadalajara, México Intel A tiempo completo

    The world is transforming and so is Intel.Here at Intel, we believe the world needs technology that can enrich the lives of every person on Earth.The Advanced Architecture Development Group (AADG - GDC) is a CPU Core development team in Guadalajara, Mexico.We believe that developing these technologies takes a team of exceptionally talented individuals who...

  • Pre-silicon Verification Engineer

    hace 3 semanas

    Guadalajara, México Synopsys A tiempo completo

    42788BR- MEXICO-Guadalajara**Job Description and Requirements**Verification Engineer- At Synopsys, we are at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. In addition to the traditional EDA...

  • Staff CPU DFx Verification Engineer

    hace 2 semanas

    guadalajara, México AheadComputing Inc. A tiempo completo

    We are seeking an experienced Staff CPU DFx Verification Engineer to lead efforts in ensuring the correctness and efficiency of our advanced CPU designs. In this role, you will leverage innovative tools and methodologies to detect and resolve complex logic bugs, drive verification strategies, and collaborate across teams to optimize the design verification...

  • Staff CPU DFx Verification Engineer

    hace 7 días

    Guadalajara, México AheadComputing Inc. A tiempo completo

    We are seeking an experienced Staff CPU DFx Verification Engineer to lead efforts in ensuring the correctness and efficiency of our advanced CPU designs. In this role, you will leverage innovative tools and methodologies to detect and resolve complex logic bugs, drive verification strategies, and collaborate across teams to optimize the design verification...

  • Sr. Verification Engineer

    hace 2 semanas

    Guadalajara, México Synopsys A tiempo completo

    41420BR- MEXICO-Guadalajara**Job Description and Requirements**- At Synopsys, we are at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. In addition to the traditional EDA tools and IP we also...

  • Sr Verification Engineer

    hace 1 semana

    Guadalajara, México Synopsys A tiempo completo

    37458BR MEXICO-Guadalajara **Job Description and Requirements** At Synopsys, we are at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. In addition to the traditional EDA tools and IP we also...