Silicon Logic Formal Verification Engineer

4 weeks ago


Mountain View, United States Ursus Inc Full time
JOB TITLE: Silicon Logic Formal Verification
LOCATION: (US) Santa Clara CA , Austin TX, Portland OR, Fort Collins CO

Responsibilities
    • Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification.
    • Developing a comprehensive formal verification test plan.
    • Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture.
    • Crafting Client and creative solutions for verifying complex design micro-architectures.
    • Developing and implementing re-usable and optimized formal models and testbenches.
    • rchitecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
Requirements
    • Interest in learning and becoming an expert in the VLSI, and digital logic design and verification techniques.
    • Detail oriented mindset and desire to overcome challenges is required.
    • Formal Method or Formal Verification technologies and abstraction techniques experience is a plus.
    • Knowledge in interpreting hardware specifications using assertion-based languages such as SVA.
    • Experience in using formal tools and models.
    • Proficiency in any scripting language with excellent debugging skills.
    • Passionate about developing innovative formal verification solutions.
    • Excellent skills in problem solving, written and verbal communication, excellent organization skills, and highly self-motivated.
    • bility to work well in a team and be productive under aggressive schedules.


Education and Experience
PhD, Master's Degree or Bachelor's Degree in technical subject area.

IND123

  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Logic Formal Verification LOCATION: (US) Santa Clara CA , Austin TX, Portland OR, Fort Collins CO Responsibilities Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification. Developing a comprehensive formal verification test plan. Proving properties of the design, finding...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Logic Formal Verification LOCATION: (US) Santa Clara CA , Austin TX, Portland OR, Fort Collins CO Responsibilities Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification. Developing a comprehensive formal verification test plan. Proving properties of the design, finding...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Logic Formal Verification LOCATION: (US) Santa Clara CA , Austin TX, Portland OR, Fort Collins CO Responsibilities Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification. Developing a comprehensive formal verification test plan. ...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Verification Engineer LOCATION: Santa Clara CA , Austin TX, Portland OR, Fort Collins CO SALARY: 160-190K annual Responsibilities Work closely with architecture and RTL designers on verifying the functionality correctness of the design Reviewing Architecture and Design Specifications Develop test plans and test environments Develop tests...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Verification Engineer LOCATION: Santa Clara CA , Austin TX, Portland OR, Fort Collins CO SALARY: 160-190K annual    Responsibilities Work closely with architecture and RTL designers on verifying the functionality correctness of the design Reviewing Architecture and Design Specifications Develop test plans and test...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Verification Engineer LOCATION: Santa Clara CA , Austin TX, Portland OR, Fort Collins CO SALARY: 160-190K annual Responsibilities Work closely with architecture and RTL designers on verifying the functionality correctness of the design Reviewing Architecture and Design Specifications Develop test plans and test environments Develop...


  • Mountain View, United States Ursus Inc Full time

    JOB TITLE: Silicon Verification Engineer LOCATION: Santa Clara CA , Austin TX, Portland OR, Fort Collins CO SALARY: 160-190K annual Responsibilities Work closely with architecture and RTL designers on verifying the functionality correctness of the design Reviewing Architecture and Design Specifications Develop test plans and test environments Develop...


  • Mountain View, United States BrickRed Systems Full time

    We are seeking a highly skilled Silicon Verification Engineer to join our team. The ideal candidate will be responsible for writing Silicon verification tests, running and debugging tests, and ensuring the overall quality and functionality of our silicon designs. This role requires a strong background in electrical or computer engineering, proficiency in...


  • Mountain View, United States BrickRed Systems Full time

    We are seeking a highly skilled Silicon Verification Engineer to join our team. The ideal candidate will be responsible for writing Silicon verification tests, running and debugging tests, and ensuring the overall quality and functionality of our silicon designs. This role requires a strong background in electrical or computer engineering, proficiency in...


  • Mountain View, United States Randstad Full time

    silicon verification engineer. mountain view , california posted 1 day ago job details summary $67.72 - $72.72 per hour contract bachelor degree category computer and mathematical occupations reference1053364 job details job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write...


  • Mountain View, United States Randstad Full time

    silicon verification engineer. mountain view , california posted 2 days ago job details summary $67.72 - $72.72 per hour contract bachelor degree category computer and mathematical occupations reference1053364 job details job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write...


  • Mountain View, United States Randstad Full time

    silicon verification engineer. mountain view , california posted 3 days ago job details summary $67.72 - $72.72 per hour contract bachelor degree category computer and mathematical occupations reference1053364 job details job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write...


  • Mountain View, United States Randstad Full time

    silicon verification engineer. mountain view , california posted 4 days ago job details summary $67.72 - $72.72 per hour contract bachelor degree category computer and mathematical occupations reference1053364 job details job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write...


  • Mountain View, United States Randstad Full time

    silicon verification engineer. mountain view , california posted 10 days ago job details summary $67.72 - $72.72 per hour contract bachelor degree category computer and mathematical occupations reference1053364 job details job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write...


  • Mountain View, United States Randstad Full time

    job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write test plans and implement them by developing tests, test generators, test benches, checkers, coverage, and other verification collateral Run tests on RTL and Gate Level Netlists, debug failures to root cause, and recommend fixes Support...


  • Mountain View, United States Randstad Full time

    job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write test plans and implement them by developing tests, test generators, test benches, checkers, coverage, and other verification collateral Run tests on RTL and Gate Level Netlists, debug failures to root cause, and recommend fixes Support...


  • Mountain View, California, United States Randstad USA Full time

    job summary: Define, document, and implement a UVM verification environment including agents and scoreboardsWrite test plans and implement them by developing tests, test generators, test benches, checkers, coverage, and other verification collateralRun tests on RTL and Gate Level Netlists, debug failures to root cause, and recommend fixesSupport post-silicon...


  • Mountain View, United States Randstad USA Full time

    job summary: Define, document, and implement a UVM verification environment including agents and scoreboardsWrite test plans and implement them by developing tests, test generators, test benches, checkers, coverage, and other verification collateralRun tests on RTL and Gate Level Netlists, debug failures to root cause, and recommend fixesSupport...


  • Mountain View, United States Randstad Full time

    job summary: Define, document, and implement a UVM verification environment including agents and scoreboards Write test plans and implement them by developing tests, test generators, test benches, checkers, coverage, and other verification collateral Run tests on RTL and Gate Level Netlists, debug failures to root cause, and recommend fixes Support...


  • Mountain View, United States Understanding Recruitment Full time

    Acceler8 Talent has recently partnered with a company that is redefining AI hardware, focusing on maximizing performance for large language models (LLMs) like GPT. With a commitment to cost efficiency and optimizing performance-per-dollar, their technology offers competitive latency and low-level hardware control. Their scalable hardware enables faster model...