PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Verification and Validation of Chip Functionalities in the APPLE Design Flow (stage presso APPLE, Campeon, Neubiberg, Munich, Germany)

azienda Tesi esterna in azienda    estero 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