Talent.com
Silicon Logic Formal Verification - Full Time

Silicon Logic Formal Verification - Full Time

RivosSanta Clara, CA, United States
3 days ago
Job type
  • Full-time
Job description

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.

    We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

    Create a job alert for this search

    Silicon Verification • Santa Clara, CA, United States

    Related jobs
    • Promoted
    Silicon Design Verification Engineer.

    Silicon Design Verification Engineer.

    Advanced Micro DevicesSan Jose, CA, United States
    Full-time
    WHAT YOU DO AT AMD CHANGES EVERYTHING.At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded syst...Show moreLast updated: 10 days ago
    • Promoted
    Post Silicon Validation- Semiconductor Industry

    Post Silicon Validation- Semiconductor Industry

    DBSI Services, Inc.Santa Clara, CA, United States
    Full-time
    Title : Post Silicon Validation.Location : Santa Clara, California.Power & Perf measurements under various use case scenarios, associated debugs and analysis. DDR interface bring up and qualification ...Show moreLast updated: 30+ days ago
    • Promoted
    FVCTO - Formal Verification Architect

    FVCTO - Formal Verification Architect

    IntelSanta Clara, CA, United States
    Full-time
    Intel put Silicon in Silicon Valley.No one else is obsessed with engineering and.Join us, because at Intel, we are building a better tomorrow. The Data Center and AI (DCAI) delivers leadership Xeon ...Show moreLast updated: 30+ days ago
    • Promoted
    U.S. Border Patrol Agent

    U.S. Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport Landing, CA, US
    Full-time
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Show moreLast updated: 3 days ago
    • Promoted
    Travel Echo Tech - $3,250 to $3,300 per week in Santa Cruz, CA

    Travel Echo Tech - $3,250 to $3,300 per week in Santa Cruz, CA

    AlliedTravelCareersSanta Cruz, CA, US
    Full-time +1
    AlliedTravelCareers is working with Lancesoft Inc.Echo Tech in Santa Cruz, California, 95062!.Shift : Day 4x10-Hour (07 : 00 - 17 : 30). Stress Echocardiogram experiences preferred.Established in 2000, L...Show moreLast updated: 7 days ago
    • Promoted
    FVCTO - Formal Verification Architect

    FVCTO - Formal Verification Architect

    Intel CorporationSanta Clara, CA, United States
    Full-time
    FVCTO - Formal Verification Architect at Intel Corporation.Intel builds world‑changing technology that enriches the lives of everyone on earth. If you have a big idea, join us to create a better tom...Show moreLast updated: 30+ days ago
    • Promoted
    Help Shape Innovation Paid Study for New Tech (Fremont, CA)

    Help Shape Innovation Paid Study for New Tech (Fremont, CA)

    uTest by ApplauseLivermore, CA, US
    Full-time +1
    Looking for Fresh Eyes - Paid Study Opportunity! (Fremont, CA).We have launched a new, in-person testing opportunity - get ready for Project ONYX. No experience? No problem! Everyone is welcome to a...Show moreLast updated: 3 days ago
    • Promoted
    Post-Silicon Validation Engineer

    Post-Silicon Validation Engineer

    Diverse LynxSunnyvale, CA, United States
    Full-time
    AMS, specifically in post silicon validation.Experienced in AMS Test development.Experience in PMIC, Data converters testing. Well-versed in lab automation using Python, LabVIEW.Experienced in debug...Show moreLast updated: 3 days ago
    • Promoted
    Analog / Mixed-Signal IC Verification Engineer

    Analog / Mixed-Signal IC Verification Engineer

    TetraMem INCFremont, CA, United States
    Full-time
    TetraMem is a fast-growing well-funded startup company working on the next generation of computing platforms with unique ReRAM-based in-memory computing technologies. In this role, you will be respo...Show moreLast updated: 30+ days ago
    • Promoted
    Sr. Flight Software Engineer (Verification)

    Sr. Flight Software Engineer (Verification)

    Reliable RoboticsMountain View, CA, United States
    Permanent
    We're building safety-enhancing technology for aviation that will save lives.Automated aviation systems will enable a future where air transportation is safer, more convenient and fundamentally tra...Show moreLast updated: 30+ days ago
    • Promoted
    CPU Formal Verification Engineer

    CPU Formal Verification Engineer

    IntelSanta Clara, CA, United States
    Full-time
    Silicon Engineering Group (SiG).As part of our elite engineering organization, you'll be at the forefront of semiconductor innovation, transforming cutting-edge concepts into the silicon that drive...Show moreLast updated: 3 days ago
    • Promoted
    Senior Formal Verification Engineer

    Senior Formal Verification Engineer

    NVIDIASanta Clara, CA, United States
    Full-time
    Nvidia’s Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI capabilities into formal verification ta...Show moreLast updated: 3 days ago
    • Promoted
    GPU Formal Design Verification Engineer

    GPU Formal Design Verification Engineer

    ProdaptSan Jose, CA, United States
    Temporary
    Prodapt is a global technology company and the largest specialized player in the Connectedness industry.As an AI-first strategic partner, Prodapt provides consulting, business transformation, and m...Show moreLast updated: 3 days ago
    • Promoted
    Post Silicon Validation Engineer

    Post Silicon Validation Engineer

    Diverse LynxSunnyvale, CA, United States
    Full-time
    RolePost Silicon Validation Engineer.Firmware development / Strong hands-on programming experience, C / C++, Validation.JD : Responsible for SoC and E2E system validation plan development, and execution...Show moreLast updated: 30+ days ago
    • Promoted
    Post-Silicon Validation Engineer

    Post-Silicon Validation Engineer

    ETCHED LLCSan Jose, CA, United States
    Full-time
    Etched is building the world's first AI inference system purpose-built for transformers - delivering over 10x higher performance and dramatically lower cost and latency than a B200.With Etched ASIC...Show moreLast updated: 3 days ago
    Subsystem Hardware Validation

    Subsystem Hardware Validation

    Pi-Square Technologies LLCSan Jose, CA, United States
    Full-time +1
    Quick Apply
    The Component and Sub System Hardware Validation team is responsible for ensuring components and sub-systems, meet all functional and reliability targets needed to facilitate our autonomous mobilit...Show moreLast updated: 7 days ago
    • Promoted
    Border Patrol Agent

    Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport, CA, US
    Full-time
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Show moreLast updated: 3 days ago
    • Promoted
    United States Border Patrol Agent

    United States Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport Landing, CA, US
    Full-time
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Show moreLast updated: 3 days ago