| KEYWORD |
Verification and Validation of Chip Functionalities in the APPLE Design Flow (stage presso APPLE, Campeon, Neubiberg, Munich, Germany)
Tesi esterna in azienda 
Tesi all'estero
Parole chiave SPECIFICATION AND SIMULATION OF DIGITAL SYSTEMS
Riferimenti PAOLO BERNARDI, STEFANO QUER
Gruppi di ricerca DAUIN - GR-05 - ELECTRONIC CAD & RELIABILITY GROUP - CAD, DAUIN - GR-13 - METODI FORMALI - FM
Descrizione Apple Inc. is an American multinational technology company specializing in consumer electronics, software, and online services, which needs no introduction, being the leader in the market in these areas. The new facility, born in Campeon, Neubiberg (Munich, Germany), seeks MS students able to work there on a thesis and possibly interested in subsequent stages and internships.
The thesis work is placed in the context of hardware and software testing, verification, and validation, i.e., the process of checking that a system meets specifications and requirements to fulfill its intended purpose. More specifically, part of the task will be within the area of hardware and software formal verification, i.e., the attempt to prove or disprove the correctness of intended algorithms underlying a system with respect to a specific formal specification or property.
The main topics of the thesis will involve:
- Programming
- Circuit design and synthesis (e.g., CMOS)
- High-level description languages (e.g., VHDL and Verilog)
- Testing and verification of digital circuits and software.
The thesis will be followed directly by the academic referents and by the APPLE internal personnel. There will be an initial period of "study" and "adaptation" to the required topics and objectives.
The human-resource personnel inside APPLE will evaluate candidates.
Conoscenze richieste Basic and advanced progamming, operating systems, device programming, computer architecture, specification and simulation of digital systems.
Note The thesis will be carried out at the new APPLE facility in Campeon, Neubiberg (Munich, Germany).
There is both a reimbursement of expenses, during the period of the thesis, as well as a possibile subsequent paid company internship.
Scadenza validita proposta 27/10/2022
PROPONI LA TUA CANDIDATURA