Verification and Validation of Chip Functionalities in the APPLE Design Flow (inership at APPLE, Campeon, Neubiberg, Munich, Germany)
Thesis in external company Thesis abroad
keywords SPECIFICATION AND SIMULATION OF DIGITAL SYSTEMS, COMPUTER ARCHITECTURES, DEVICE PROGRAMMING, OPERATING SYSTEMS, PROGRAMMING
Reference persons PAOLO BERNARDI, STEFANO QUER
Research Groups DAUIN - GR-05 - ELECTRONIC CAD & RELIABILITY GROUP - CAD, DAUIN - GR-13 - METODI FORMALI - FM
Description 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:
- 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.
Required skills Basic and advanced progamming, operating systems, device programming, computer architecture, specification and simulation of digital systems.
Notes 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.
Deadline 27/10/2022 PROPONI LA TUA CANDIDATURA