Formal Verification/Equivalence Engineer job in Remote | FP...

Formal Verification/Equivalence Engineer
FPT SoftwareRemote4 days ago
FPT is seeking a seasoned “Hands-on” Equivalence Engineer with a minimum 10- 15+ years of verification experience. Person should have prior experience in defining the Synthesis Flows on the implementation plan. This means defining the methodology, setting up the environment and Formal Verification whether Formality of Conformal-LEC . Comprehensive understanding of the issues faced between the RTL, DFT and the Physical design Teams is required.
Skills Needed

  • Expertise in Verilog and SDC is mandatory.

  • Need solid Verilog debugging skills.

  • Familiarity with Formality or conformal-LEC

  • Strong experience in Synthesis and Formal Verification.

  • PERL /TCL/Python programming ability preferred

  • Prior tapeout experience required in a 16nm environment or smaller.

  • Strong experience in a Cadence/Synopsys Tool environment.

  • Strong communication and presentation skills.

  • BSEE/MSEE is required.


Job Type: Full-time
Benefits:

  • 401(k)

  • Dental insurance

  • Health insurance

  • Paid time off

  • Vision insurance


Schedule:

  • 8 hour shift


Application Question(s):

  • What is your expected salary?


Experience:

  • verification: 8 years (Required)


Work Location: Remote
Custom Reporting Analyst

Press Ganey Associates, Inc.

Remote

Mon, 27 Jun 2022 21:03:04 GMT
The role of the analyst is to structure and present the results of survey resear...
OPS Project Manager

The State of Florida

Tallahassee, FL

Mon, 27 Jun 2022 22:54:43 GMT
The incumbent will additionally serve as a subject matter expert and mentor to o...
Product Manager, Analytics and Data Platforms

Proterra, Inc. / PROT

Remote

Tue, 28 Jun 2022 00:21:59 GMT
Lead discussions with customers and partners in order to assess customer problem...
Engineering Program Project Lead (Distinguished)

Sandia National Laboratories

Albuquerque, NM

Mon, 27 Jun 2022 20:58:32 GMT
Sandia is required by DOE to conduct a pre-employment drug test and background r...
R&D Systems Engineer (Experienced) - PRT Lead

Sandia National Laboratories

Albuquerque, NM

Mon, 27 Jun 2022 20:58:48 GMT
Knowledge and practice of formal nuclear weapons product realization proc...
Security Analyst I - Weekday Nights (Remote)

Deepwatch, inc.

Remote

Tue, 28 Jun 2022 00:05:33 GMT
Degree in Information Security or Information Technology or formal practi...
Security Analyst I - Weekday Afternoons (Remote)

Deepwatch, inc.

Remote

Tue, 28 Jun 2022 00:05:32 GMT
Degree in Information Security or Information Technology or formal practi...
Security Analyst I - Weekend Nights (Remote)

Deepwatch, inc.

Remote

Tue, 28 Jun 2022 00:05:33 GMT
Degree in Information Security or Information Technology or formal practi...
Program Analyst

US National Nuclear Security Administration

Aiken, SC

Mon, 27 Jun 2022 15:52:18 GMT
Certain Military Spouses: Permanent Change of Station (PCS) orders authorizing y...
Senior Analyst

Berkeley Research Group, LLC

Washington, DC

Mon, 27 Jun 2022 18:20:06 GMT
Help design, implement, and perform account-level testing based on Federal / Sta...
STATISTICIAN (OPERATIONS AND ADMINISTRATION)

US Defense Finance and Accounting Service

Indianapolis, IN

Mon, 27 Jun 2022 15:49:35 GMT
Provide statistical support (both sampling and analysis) to all DFAS Operations ...
External Supply Operations Lead (Climate and Sustainability)

Pfizer

Peapack, NJ

Mon, 27 Jun 2022 15:54:09 GMT
Ideally formal Project Management training (e.g. Certified PMP or Operati...
IT System Administration - Senior Level #1056

Washington State Patrol

Olympia, WA

Mon, 27 Jun 2022 20:32:26 GMT
Applicants wishing to claim veterans’ preference MUST attach a copy of their DD-...
Java Software Developer

Torch.AI

Remote

Mon, 27 Jun 2022 17:53:18 GMT
Work well within a formal team structure and with minimal supervision. Pe...
Cyber Systems Administrator

Veterans Enterprise Technology Solutions

Beltsville, MD

Sun, 26 Jun 2022 10:05:25 GMT
Has sufficient background to perform technical planning, system integration, ...