REPORT.mdin each lab's sub-directory). Do not forget to work in your own branch and to add-commit-push your work (reports and source code). Write your reports in Markdown format. When looking at the result on the GitLab web site do not forget to select your own branch. REMEMBER THAT THE GIT REPOSITORY WILL BECOME READ-ONLY THE 6TH OF FEBRUARY AT 23:59 UTC+1.
|Date of presentation||Internship||Group|
|2018-11-08||V5 (Generate hardware assertion checkers for CPU verification on FPGA)||Abbé, Trym, Hugo|
|2018-11-08||D2 (Fast CPU power model based on events and machine learning)||Berkay, Naoufel, Yasmine D.|
|2018-11-15||P3 (Develop timing back-annotation infrastructure in QEMU)||Pauline, Corentin, Tom|
|2018-11-29||D1 (Next generation branch prediction unit)||Kaja, Embla, Jakob|
|2018-11-29||V2 (Check data hazard using formal methods)||Alessandro, Fausto, Pietro|
|2018-12-13||D3 (Prefetcher hybridation for pointer chasing)||Paul, Antonin, Yasmine B.|
|2018-12-13||P1 (Detect and optimize critical loads in an Out of Order processor)||Antoine, Sami, Arthur|
|2019-01-17 (afternoon)||P2 (Enable system level virtualization studies)||Sebastian, Louis-André, Bechir|
|2019-01-17 (afternoon)||V4 (Find and fix security flaws using formal methods)||Alberto, Simone Alessandro, Giulio|
Internship, PhD, job proposals...
This course presents a global view of the architecture of microprocessor-based systems. It is mandatory in the Smart Objects track. The main studied topics are: the types of microprocessors, from the simplest to the most powerful, their instruction sets, the interactions between hardware and software, the peripherals (memories, interconnects, inputs-outputs, graphics engines,...), the interfaces between peripherals and microprocessors, how the peripherals are seen and used by the different software layers... The lectures are complemented by lab sessions to illustrate the interactions between hardware and software (processor simulators, debugging, step by step execution...). One or several mini-conferences given by industrials bring face to face the theory and the reality of a specific domain (high performance computing, Internet of Things - IoT...)
Note: attending the lab sessions and the ARM conferences is mandatory.
You read one of these books? Or another that is not in the list and should? Please drop me note and give me some feedback.