Baya Systems Logo

Baya Systems

Sr Formal Verification Engineer

Posted 16 Days Ago
Be an Early Applicant
Easy Apply
In-Office
Bengaluru, Bengaluru Urban, Karnataka
Senior level
Easy Apply
In-Office
Bengaluru, Bengaluru Urban, Karnataka
Senior level
As a Senior Formal Verification Engineer, you'll create verification test plans, implement models, optimize design quality, and collaborate on micro-architectural specifications.
The summary above was generated by AI

Baya Systems is inspired by the baya bird, also known as the weaver. Baya birds weave very unique and intricate hanging nests from different materials. The nests are robust and safe while being extremely lightweight and efficient.

Baya is a fast-moving Series B startup built by serial entrepreneurs with a vision to accelerate intelligent computing in the emerging chiplet era.  We focus on software-driven, unified fabric solutions for single-die and multi-die systems. We design and license disruptive intellectual property for use in semiconductor chips, with software development platforms to simplify the design process and reduce the time to market for complex System-on-Chip (SoC) and multi-chiplet systems. This enables our partners to innovate and deliver compelling solutions for data center, infrastructure, AI, Automotive, and Edge IoT markets. We are looking for energetic and dedicated individuals share our passion for enabling innovation and excellence in the semiconductor industry that empowers game-changing products and services!

 
Baya Systems
Senior Formal Verification Engineer
Bengaluru, India (onsite)
 
Develop detailed formal verification (FV) test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications.
Identify key logic components and critical micro-architectural properties essential for ensuring design correctness.
Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs.
Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth.
Develop and maintain scripts to enhance FV productivity and streamline verification processes.
Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels.
Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback.
Strong proficiency in System Verilog/Verilog.
Good scripting abilities with Python or Perl.
 
Preferred Experience:
 
Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold.
Experience with both bug hunting and static proof verification techniques.
Familiarity with automating formal verification workflows within a CI/CD environment.

Compensation:

  • Salary commensurate with experience
  • Performance incentives
  • Comprehensive medical, dental, and vision benefits
  • 401(k) retirement plan
  • Equity

Top Skills

Eda Tools
Perl
Python
System Verilog
Verilog

Baya Systems Bengaluru East, Karnataka, IND Office

Pattandur Agrahara Road, Brigade Tech Park, Bengaluru East, Karnataka, India, 560066

Similar Jobs

SiFive Logo
SiFive

Senior/Staff - Formal Verification Engineer

2 Days Ago
In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
Senior level
Senior level
Software
The Formal Verification Engineer is responsible for applying verification techniques to ensure the correctness of digital hardware designs, managing verification environments, and mentoring team members.
Top Skills: ChiselJaspergoldSystem VerilogVc FormalVerilogVhdl
NVIDIA Logo
NVIDIA

Senior Formal Verification Engineer

22 Days Ago
In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
Senior level
Senior level
Artificial Intelligence • Computer Vision • Hardware • Robotics • Metaverse
The role involves optimizing formal verification flows for CPU/GPU projects, resolving tool issues, and ensuring design correctness through advanced verification techniques.
Top Skills: CpuFormal Verification ToolsGpuScriptingSystem VerilogVerilog
Q2 Logo
Q2

Senior Software Engineer

An Hour Ago
Hybrid
Bangalore, Bengaluru Urban, Karnataka, IND
Senior level
Senior level
Digital Media • Fintech • Information Technology • Mobile • Payments • Software • Financial Services
Senior Software Engineer role focused on building SaaS online banking solutions, optimizing performance, maintaining documentation, collaborating cross-functionally, and ensuring security best practices.
Top Skills: Angular JsAWSHTML5JavaNomadPythonReact JsSQLTerraformVue

What you need to know about the Bengaluru Tech Scene

Dubbed the "Silicon Valley of India," Bengaluru has emerged as the nation's leading hub for information technology and a go-to destination for startups. Home to tech giants like ISRO, Infosys, Wipro and HAL, the city attracts and cultivates a rich pool of tech talent, supported by numerous educational and research institutions including the Indian Institute of Science, Bangalore Institute of Technology, and the International Institute of Information Technology.

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account