Silicon Logic Formal Verification

4 weeks ago


Austin, United States Rivos Full time

Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design

Responsibilities

    • As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.

      In this position, you will:

    • Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
    • Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
    • Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
    • Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
    • Develop reusable and scalable proof techniques.
Requirements
    • Solid understanding of formally specifying and analyzing temporal assertion properties.
    • Hands-on experience using model checking tools.
    • Experience with interactive theorem provers is a plus.
    • Excellent problem-solving skills, along with strong written and verbal communication abilities.
    • Excellent organizational skills and high self-motivation.
    • Ability to communicate and work well with different design teams.


PhD, Master's Degree, or Bachelor's Degree in a technical subject area.

  • Austin, United States Correct Designs Full time

    Senior Formal Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest...


  • Austin, United States Cirrus Logic Full time

    For nearly four decades, Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our rockstar team thrives on solving complex challenges with innovative end-user solutions for the world's top consumer brands. Cirrus Logic is also known for an award-winning culture, which was built on a foundation of inclusion and fairness, meaningful...


  • Austin, United States Tenstorrent Inc Full time

    This role is hybrid,based out of Austin, TX or Santa Clara, CA. CPU Formal Verification Engineer will be responsible for applying various formal verification techniques to source bugs in specifications and RTL implementation for a high performance data center class CPU Responsibilities Drive formal verification for multiple CPU blocks by putting together...


  • Austin, United States Tenstorrent Full time

    Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high...


  • Austin, United States Oho Group Ltd Full time

    Silicon Validation EngineerWe're looking for a Silicon Validation Engineer at an exciting RISC-V start-up! The Silicon Validation Engineer holds the responsibility for bringing up and validating the SOC subsystems within the SOC design. This role demands an extensive comprehension of cutting-edge SOC design across diverse domains, encompassing physical...


  • Austin, United States Oho Group Ltd Full time

    Silicon Validation Engineer We're looking for a Silicon Validation Engineer at an exciting RISC-V start-up! The Silicon Validation Engineer holds the responsibility for bringing up and validating the SOC subsystems within the SOC design. This role demands an extensive comprehension of cutting-edge SOC design across diverse domains, encompassing physical...


  • Austin, United States Oho Group Ltd Full time

    Silicon Validation EngineerWe're looking for a Silicon Validation Engineer at an exciting RISC-V start-up! The Silicon Validation Engineer holds the responsibility for bringing up and validating the SOC subsystems within the SOC design. This role demands an extensive comprehension of cutting-edge SOC design across diverse domains, encompassing physical...


  • Austin, United States Oho Group Ltd Full time

    Silicon Validation EngineerWe're looking for a Silicon Validation Engineer at an exciting RISC-V start-up! The Silicon Validation Engineer holds the responsibility for bringing up and validating the SOC subsystems within the SOC design. This role demands an extensive comprehension of cutting-edge SOC design across diverse domains, encompassing physical...


  • Austin, United States Oho Group Ltd Full time

    A Start-up is a pioneering force in the realm of semiconductor design, renowned for its innovative solutions and ground breaking technologies. As a leading player in the industry, they stand at the forefront of revolutionizing circuit performance and power optimization. With a commitment to pushing the boundaries of what's possible, they offer a dynamic and...


  • Austin, United States Oho Group Ltd Full time

    A Start-up is a pioneering force in the realm of semiconductor design, renowned for its innovative solutions and ground breaking technologies. As a leading player in the industry, they stand at the forefront of revolutionizing circuit performance and power optimization. With a commitment to pushing the boundaries of what's possible, they offer a dynamic and...


  • Austin, United States Oho Group Ltd Full time

    A Start-up is a pioneering force in the realm of semiconductor design, renowned for its innovative solutions and ground breaking technologies. As a leading player in the industry, they stand at the forefront of revolutionizing circuit performance and power optimization. With a commitment to pushing the boundaries of what's possible, they offer a dynamic and...


  • Austin, United States Oho Group Ltd Full time

    A Start-up is a pioneering force in the realm of semiconductor design, renowned for its innovative solutions and ground breaking technologies. As a leading player in the industry, they stand at the forefront of revolutionizing circuit performance and power optimization. With a commitment to pushing the boundaries of what's possible, they offer a dynamic and...


  • Austin, United States Oho Group Ltd Full time

    A RISC-V Start Up is seeking SOC Verification - Emulation engineers to work on projects ranging from subsystem level to multi-chip level, covering all aspects of emulation including functional, performance, microarchitecture, and debugging. Role Overview As an SOC Verification - Emulation Engineer, you will develop Emulation and FPGA-based prototyping...


  • Austin, United States NXP Semiconductors N.V. Full time

    Role Summary: We are part of MCU/MPU Engineering, a central design organization within NXP, developing products for multiple business lines in Automotive, Internet of Things (IoT), Networking, and Radio Frequency products, with expertise in hardware engineering, including architecture, IP, and full SoC Design. MME's Digital IP team produces design...


  • Austin, Texas, United States Apple Full time

    SummaryPosted: Dec 6, 2022Role Number: At Apple, we work every single day to craft products that enrich people's lives. Do you love working on challenges that no one has solved yet? Do you like changing the game? We have an opportunity for an exceptionally talented design verification engineer. As a member of our dynamic group, you will have the rare and...


  • Austin, United States NXP Semiconductors N.V. Full time

    Role Summary: We are part of MCU/MPU Engineering, a central design organization within NXP, developing products for multiple business lines in Automotive, Internet of Things (IoT), Networking, and Radio Frequency products, with expertise in hardware engineering, including architecture, IP, and full SoC Design. MME's Digital IP team produces design...


  • Austin, Texas, United States Apple Full time

    SummaryPosted: Jun 20, 2023Role Number: Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC) You'll ensure Apple products and services can seamlessly and efficiently handle the...


  • Austin, United States Meta Platforms, Inc. Full time

    Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications. As a Design Verification Engineer, you will be part of a dynamic team working with the best in the industry, focused on developing...


  • Austin, Texas, United States Apple Full time

    SummaryPosted: Jun 20, 2023Role Number: Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC) You'll ensure Apple products and services can seamlessly and efficiently handle the...


  • Austin, Texas, United States Apple Full time

    SummaryPosted: Jun 20, 2023Role Number: Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC) You'll ensure Apple products and services can seamlessly and efficiently handle the...