Sr. Applications Engineer - Formal Verification
35946BR
USA - California - California, USA - California - Folsom, USA - California - Irvine, USA - California - Los Angeles, USA - California - Mountain View/Sunnyvale, USA - California - Pasadena, USA - California - San Diego, USA - California - San Francisco, USA - California - San Jose, USA - Colorado - Denver, USA - Colorado - Longmont, USA - Colorado - Westminster, USA - Florida - Oviedo, USA - Georgia - Atlanta, USA - Illinois - Chicago, USA - Illinois - Schaumburg, USA - Indiana - Bloomington, USA - Indiana - Indianapolis, USA - Maryland - Columbia, USA - Massachusetts - Boston, USA - Massachusetts - Boxborough, USA - Massachusetts - Burlington, USA - Massachusetts - Marlboro, USA - Michigan - Detroit, USA - Michigan - Novi, USA - Minnesota - Bloomington, USA - Minnesota - Minneapolis, USA - Minnesota - Roseville, USA - New Jersey - Bedminster, USA - New Jersey - Newark, USA - New York - New York City, USA - New York - Ossining, USA - North Carolina - Durham, USA - Ohio - Cincinnati, USA - Ohio - Columbus, USA - Oregon - Hillsboro, USA - Pennsylvania - Allentown, USA - Tennessee - Nashville, USA - Texas - Austin, USA - Texas - Dallas, USA - Texas - Plano, USA - USA, USA - Virginia - Dulles, USA - Washington - Bellevue, USA - Washington - Seattle, USA - Washington DC, USA-Texas-Addison, USA-Texas-Addison, USA-Virginia-Herndon, USA-Williston-Vermont
Job Description and Requirements
The VC Formal AE team is looking for motivated, self-starter and talented applicants to join our growing and thriving team in North America. The position is technically challenging and holds great responsibilities. In return, there is an exceptional career growth path for applicants who excel in the fast moving and high rewarding environment. The candidate will be part of an agile global team that works very closely with top customers and ensures the high quality of our solutions in a constantly changing and highly results oriented environment. The ideal candidate will be self-starter, will thrive in a fast-moving setting, is hungry for understanding and is motivated to grow and take on more responsibilities in the organization. The applicant will have the opportunity to learn a multitude of hardware and software tools, new hardware and software languages, and be exposed to the latest development in the industry.
The candidate will perform product validation tasks such as examining requirements, designing RTL blocks, developing formal environments, running a multitude of EDA tools, and developing scripts for automation. Will work closely with R&D, global CAEs and customers to specify and develop next generation features, capabilities and applications. Includes examining of the environment and setup, identification of appropriate blocks and metrics, examination of root-cause of tool performance and problem complexity, and optimizing modeling, formal test benches and environment for optimal tool performance. Ensures that client's needs have been met and that the product/solution is fully functioning according to specification. Application of formal verification including formal property verification, sequential equivalence checking, formal coverage, connectivity checking and other formal verification apps.
Desirable Skills:
EE graduate from reputed school. Post-graduates are preferred
5-7 yrs. of industry experience in RTL design or verification engineers involved in deploying verification methodology using simulation-based technologies
Exposure to assertion-based verification (in simulation) is preferred and experience with formal verification tool is desirable but not mandatory
Managing verification responsibility for hardware designs, verification consulting experience is desirable
Good understanding of hardware design (Verilog/VHDL) and micro-architecture.
Exceptional understanding of Unix/Linux automation shell (bash, csh) and scripting (Tcl, Perl, Python)
Great oral and written communication skills.
Ability to work autonomouslyAt Synopsys, we're at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. And we're powering it all with the world's most advanced technologies for chip design and software security. If you share our passion for innovation, we want to meet you.
Our Silicon Design & Verification business is all about building high-performance... For full info follow application link.
Synopsys maintains a workplace where all personnel, customers, and vendors are treated with dignity, fairness, and respect. We maintain worldwide policies in our Work Rules Policy, which is applicable to all employees in furtherance of these principles. We pride ourselves on providing a healthy and productive work environment that is free from discrimination and harassment based on race, color, religion, gender, gender identity, sexual orientation, marital status, veteran status, age, national origin, citizenship, ancestry, physical or mental disability, pregnancy, medical condition, and any other characteristic protected by law. For applicants and employees with disabilities, we also make reasonable accommodations consistent with applicable laws and regulations. We are each expected to do our part to create a healthy and productive work environment for everyone. This includes bringing issues to management’s attention when you believe certain conditions are distracting from a good work environment. Our Work Rules Policy also allows you to raise concerns with other Synopsys managers. If employees are still unable to resolve their concerns, their disputes may be resolved through our Internal Issue Resolution Process Policy. In addition, all managers and employees in positions of authority have a special obligation to maintain and support a healthy and productive work environment.