Bloomberg

Formal Verification Engineer

Bloomberg • $110K — $130K *
Austin, TX 78745In-Person
Technical Services
Less than 5 years of experience
Today
Be an Early Applicant
Job Overview by Ladders

Qualifications

  • 5-7 years of hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)
  • Strong proficiency in System Verilog Assertions (SVA)
  • Experience with formal verification tasks such as FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
  • Familiarity with scripting languages including TCL, Python, and Perl
  • Extensive background in design verification with emphasis on formal methods
  • Expertise in System Verilog and UVM-based verification methodologies is preferred

Responsibilities

  • Conduct formal verification using VC Formal and/or Jasper Gold
  • Create and implement System Verilog Assertions for verification
  • Perform standard formal verification tasks such as equivalence and connectivity checking
  • Automate workflows using scripting languages
  • Engage in extensive design verification projects focusing on formal approaches
  • Collaborate with cross-functional teams to ensure verification alignment
Full Job Description
PREFERRED EXPERIENCE:
Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)
Strong proficiency in System Verilog Assertions (SVA) and formal property specification
Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
Familiarity with scripting languages (TCL, Python, Perl) for flow automation
Extensive experience in design verification with a strong focus on formal verification
Expertise in System Verilog and UVM-based verification methodologies - Nice to have

About Bloomberg

Bloomberg L.P. is a privately held financial, software, data, and media company headquartered in Midtown Manhattan, New York City. It was founded by Michael Bloomberg in 1981, with the help of Thomas Secunda, Duncan MacMillan, Charles Zegar, and a 12% ownership investment by Merrill Lynch. Bloomberg L.P. provides financial software tools and enterprise applications such as analytics and equity trading platform, data services, and news to financial companies and organizations through the Bloomberg Terminal (via its Bloomberg Professional Service), its core revenue-generating product. Bloomberg L.P. also includes a wire service (Bloomberg News), a global television network (Bloomberg Television), digital websites, a radio station (WBBR), subscription-only newsletters, and three magazines: Bloomberg Businessweek, Bloomberg Markets, and Bloomberg Pursuits.
Learn more about Bloomberg
Size
20,000 employees
Industry
Media
Founded
1981
* Ladders Estimates

Similar Jobs

Ad banner background

Get Ready For Your
Next Interview

More Jobs at Bloomberg

More Technical Services Jobs

Find similar Formal Verification Engineer jobs:

NationwideAustin, TX