Design Verification Engineer

Themesoft Inc.; Austin (TX); On-site; USD 120,000 - 150,000; Full time

Job summary

Themesoft Inc. is seeking an experienced verification engineer based in Austin, TX. The ideal candidate will have over 8 years of experience, particularly in architecting and developing complex verification environments using SystemVerilog. Responsibilities include writing tests and sequences, coordinating with RTL engineers, and driving formal verification metrics. Candidates should possess a Bachelor's or Master's degree in Computer Engineering or Electrical Engineering. Familiarity with verification tools such as VCS and Cadence is preferred.

Qualifications

• Minimum 8+ years of experience in verification engineering.
• Proven ability to architect and develop complex verification environments.
• Good understanding of computer organization and architecture.

Responsibilities

• Write tests, sequences, and testbench components in SystemVerilog and UVM.
• Coordinate with RTL engineers for logic design and verification.
• Collaborate with multiple engineering teams to develop expertise in design architecture.
• Drive formal verification and write properties to verify the design.
• Responsible for verification quality metrics.

Skills

SystemVerilog

Perl

Ruby

Make

Formal verification tools

RTL design

Computer organization

Education

Bachelor's or Master's in Computer Engineering/Electrical Engineering

Tools

VCS

Cadence

Mentor Graphics

Job description

Locations

Austin, TX or Santa Clara, CA or Boston, MA - Onsite

Experience

Minimum 8+ years of experience

Preferred Experience

• Architected and developed complex verification environments in SystemVerilog, including scripting using Perl, Ruby, Make, or the likes.
• Exposure to RTL design, software development, formal verification, or other related domains.
• Good understanding of computer organization/architecture.
• Experience or familiarity with formal tools and/or functional verification tools by VCS, Cadence, Mentor Graphics

Responsibilities

• Write tests, sequences, and testbench components in SystemVerilog and UVM along with formal to achieve verification of the design.
• Coordinate with RTL engineers to implement logic design for better clock gating and verify the various aspects of the design.
• Interact with architects, RTL designers, performance engineers, and post-silicon validation engineers to develop deep expertise in the Infinity Fabric architecture.
• Collaborate with architects, hardware engineers, and multiple IP development groups.
• Drive formal verification for the block and write formal properties and assertions to verify the design.
• Responsible for verification quality metrics like pass rates, code coverage and functional coverage.

Qualifications

• Bachelors or Masters degree in computer engineering/Electrical Engineering preferred