Synopsys Inc

http://www.synopsys.com/

About

Smart, Secure Everything—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―where devices are getting smarter, everything’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’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.

Active Jobs

160 Jobs

Recent jobs

Intern

Synopsys Inc

Bengaluru, Karnataka, India

Posted: 2 days ago

We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation. You Are: You are a dedicated and detail-oriented Formal Verification Engineer with a passion for ensuring the reliability and functionality of complex design IPs. You excel in a collaborative environment, working closely with designers, architects, and verification engineers to drive verification projects to success. You possess a solid understanding of hardware micro-architecture and design, and you are proficient in HDLs like Verilog and SystemVerilog. Your problem-solving skills are top-notch, and you are familiar with formal property verification concepts and tools. You are eager to contribute to a team that is at the forefront of technological innovation and excellence. What You’ll Be Doing: Helping decide on the best applications of formal verification techniques to various parts of the design. Reviewing functional and micro-architectural specifications to define the scope for formal verification. Creating high-quality formal verification test plans to sign off on the corresponding design implementation. Building formal verification testbenches, coding assertions and constraints, and applying abstraction techniques. Applying formal coverage techniques to analyze over-constraints and measure functional coverage. Collaborating closely with the Synopsys Tool Development Group to drive verification projects. The Impact You Will Have: Ensuring the reliability and functionality of complex design IPs through rigorous formal verification. Contributing to the development of high-quality IP that meets the stringent requirements of our clients. Driving innovation in verification methodologies and techniques. Collaborating with a talented team to achieve project milestones and goals. Enhancing the overall quality and performance of Synopsys' product offerings. Playing a key role in the success of various high-profile projects within the company. What You’ll Need: Pursuing or completed BTech/MTech degree in Electrical Engineering, Computer Engineering, or a related field. Good understanding of hardware micro-architecture and design. Proficiency in HDLs like Verilog and SystemVerilog. Familiarity with SystemVerilog Assertions (SVA) and basic concepts of formal property verification. Good debugging and problem-solving skills. Scripting knowledge (Python/Perl/shell). Good interpersonal and communication skills and a dream to work as a great team member. Who You Are: An excellent communicator who can articulate complex ideas clearly and effectively. A team player who thrives in a collaborative environment. A detail-oriented individual with strong analytical and problem-solving skills. A proactive learner who stays updated with the latest industry trends. A highly motivated and driven professional with a passion for technology.

Formal Verification Intern

Synopsys Inc

Bengaluru, Karnataka, India

Posted: 6 days ago

Formal Verification Engineer at Synopsys, you will be responsible for formally verifying complex design IPs. Synopsys IP Group has a strong formal verification methodology that enables hardware verification engineers to use FV tools and techniques successfully on complex and/or critical RTL logic. The job involves very close interaction with the designers, architects, verification engineers and Synopsys's Tool Development Group to drive verification projects.   Expectations from the candidate 1. Help decide on the best applications of formal verification techniques to various parts of the design. 2. Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation. 3. Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth. 4. Apply formal coverage techniques for analysing over-constraints and for measuring functional coverage.   Required skills 1. Pursuing or completed BTech/ MTech degree 2. Good understanding of hardware micro-architecture and design 3. Proficiency in HDLs like Verilog, SystemVerilog 4. Familiarity with SystemVerilog Assertions (SVA) and basic concepts of formal property verification 5. Good debugging and problem-solving skills 6. Scripting knowledge (Python/Perl/shell) 7. Good interpersonal and communication skills and dream to work as a great team member   Good to have skills 1. Academic projects related to formal verification or digital design verification 2. Exposure to formal verification tools like VCFormal, Jasper, Yosys etc 3. Knowledge of protocols like AXI, CHI, PCIe, DDR, etc

Software Engineer, Staff

Synopsys Inc

Bengaluru, Karnataka, India

Posted: 7 days ago

We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation. You Are: You are a seasoned software engineer with a passion for innovation and problem-solving. With a BE/B.Tech degree in programming, computer/electronics, IT, or a related engineering field, you bring 5-8 years of hands-on experience in software development. Your proficiency in Python or C/C++, coupled with a strong understanding of algorithms and data structures, sets you apart. You thrive in UNIX/Linux and Windows OS environments and have a keen interest in exploring new technologies. Your ability to design and implement sophisticated algorithms, along with your prior knowledge of EDA tools and schematic/layout design, makes you an ideal candidate. Excellent English communication skills and the ability to compile functional and design specifications are essential for this role. What You’ll Be Doing: Designing, developing, troubleshooting, and maintaining software programs for std. cells development automations Involving in all phases of software development, including project planning, problem identification, design specification, development, testing, and product support Exercising judgment within broadly defined practices and policies in selecting methods, techniques, and evaluation criteria for obtaining results Developing state-of-the-art solutions through technical contributions that lead to significant product differentiation Designing and implementing sophisticated algorithms to solve complex problems Collaborating with cross-functional teams to ensure seamless integration and delivery of software solutions The Impact You Will Have: Driving innovation in software solutions for std. cells development automations Enhancing the efficiency and effectiveness of our software development lifecycle Contributing to the development of cutting-edge technology that sets Synopsys apart in the industry Ensuring high-quality software delivery through rigorous testing and problem-solving Influencing the design and implementation of future software projects Supporting the continuous improvement of our software development processes What You’ll Need: Proficiency in Python or C/C++ Knowledge of algorithms and data structures Working experience on UNIX/Linux and Windows OS Knowledge in OOP programming Strong desire to learn and explore new technologies Ability to demonstrate good analysis and problem-solving skills Prior knowledge and experience of EDA tools and schematic/layout design Excellent English language communication skills Ability to compile functional and design specifications Who You Are: Innovative thinker with a passion for technology Excellent communicator and collaborator Detail-oriented and highly organized Adept at problem-solving and critical thinking Proactive and self-motivated

Internship in Functional Verification

Synopsys Inc

Bengaluru, Karnataka, India

Posted: a month ago

Join our DDR IP verification team as an intern and undergo training on functional verification of DDR PHY IP. This 1-year internship is ideal for fresh BTECH graduates with a background in digital electronics. The role is based in Bangalore, India, at Synopsys Inc, and requires knowledge in Verilog/System Verilog, C/C++, scripting languages, OO programming, and computer memory organization.

Intern (Infrastructure)

Synopsys Inc

Hyderabad, Telangana, India

+1 more

Posted: a month ago

Join Synopsys as an Intern (Infrastructure) in Bangalore, India, and collaborate on cutting-edge projects with global engineering teams. Dive into real-world projects related to Generative AI Platforms and AI software development. Ideal opportunity for Computer Science students with a strong AI/ML understanding and programming skills in Python.

DevOps Intern (Technical)

Synopsys Inc

Hyderabad, Telangana, India

Posted: 2 months ago

Join our team as a DevOps intern to gain hands-on experience with various DevOps tools and technologies, ensuring smooth system operations and application deployment. Collaborate with cross-functional teams on infrastructure development and process improvement.