Job Description and Requirements
Individual Contributor Job Description and requirements
You will be a member of the R&D team developing a software product called Formality that performs equivalence checking using formal, static techniques to determine if two versions of a design (integrated circuit) are functionally equivalent.
The verification engine deploys SAT, Binary Decision Diagrams (BDDs), and other formal techniques.
Enhance the product through algorithm development and code implementation.
Learn, analyze, test, debug, and maintain the existing Formality code base.
Interact with other members of Synopsys R&D, customer support, and sales experts as necessary to understand customer needs and product goals.
C / C++ / STL programming, with knowledge of object-oriented design.
Broad understanding of data structures, algorithms, heuristics, and their application.
Good analytical and problem-solving skills.
Exercise of judgment in developing methods, techniques, and evaluation criteria to meet project goals. Comfortable with learning and applying new technologies.
Ability to work in both independent and collaborative settings.
Good written and oral communication skills in English.
Knowledge of software specification, design process, and regression testing.
Special consideration given to those with background and experience in : Formal Verification; Logic Synthesis; Compilers;
Verilog and VHDL; BDD and SAT technology.
Knowledge on EDA tools.
Añadir a los favoritos
Eliminar de mis favoritos
Debes iniciar sesión en tu cuenta para agregar este empleo a tus favoritos. Haz clic en "Continuar" para acceder a tu cuenta o crear una cuenta nueva. Luego de iniciar sesión, podrás ver y organizar tus favoritos tanto en nuestro sitio web como en la aplicación móvil.