ASIC Digital Design, Sr Staff Engineer

8-15 years
a month ago
Job Description

Job Description:
Experience - 8-15 Years
Job Location - Synopsys Bangalore

As a formal verification engineer working on Synopsys Interface IP's you will be responsible for:
- Developing comprehensive formal verification test plan
- Proving properties of the design, finding design bugs, and working closely with design teams to help improve IP quality
- Crafting novel and creative solutions for verifying complex design micro-architectures
- Developing and implementing re-usable and optimized formal models and verification code base
- Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
- Formal Method or Formal Verification technologies experience and abstraction techniques
- Knowledge and experience in interpreting hardware specifications and using temporal logic assertion-based languages such as SVA
- Experience in using EDA formal tools and tool development experience
- Strong proficiency in any scripting language with excellent debugging skills
- Extraordinary teammate with excellent interpersonal skills
- Passionate about developing world-class/innovative formal verification solutions

JOB TYPE

Function

Skills

Formal Method
hardware specifications
temporal logic assertion-based languages
EDA formal tools
debugging skills

Smart, Secure Everything&#8212&#x3B;From Silicon to Software
Synopsys technology is at the heart of innovations that are changing the way we live and work. The Internet of Things. Autonomous cars. Wearables. Smart medical devices. Secure financial services. Machine learning and computer vision. These breakthroughs are ushering in the era of Smart, Secure Everything&#8213&#x3B;where devices are getting smarter, everything&#8217&#x3B;s connected, and everything must be secure.

Powering this new era of technology are advanced silicon chips, which are made even smarter by the remarkable software that drives them. Synopsys is at the forefront of Smart, Secure Everything with the world&#8217&#x3B;s most advanced tools for silicon chip design, verification, IP integration, and application security testing. Our technology helps customers innovate from Silicon to Software, so they can deliver Smart, Secure Everything.

Since 1986, Synopsys has been at the heart of accelerating electronics innovation with engineers around the world having used Synopsys technology to successfully design and create billions of chips and systems that are found in the electronics that people rely on every day.

Career Advice to Find Better