Notes BA3 Simon

Mes notes du semestre 3 de bachelor informatique à l'EPFL.

Pour contribuer ou modifier les fichiers de notes : les .typ peuvent être compilés directement avec Typst. Les fichiers .md sont à ouvrir avec Obsidian et le plugin Wypst (pour le support de Typst).

Analyse III

• Notes de cours : PDF
• Formulaire examen final : PDF

Électromagnétisme

• Formulaire examen final : PDF
• Formulaire examen de mi-semestre : PDF
• Tricks des séries : PDF

État et droits humains (SHS)

• Notes de cours : PDF
• Constitution Fédérale : PDF

Probability and Statistics

• Notes (résumé) : PDF
• Notes (distributions) : PDF
• Morris (book) : PDF

Software Construction

• Notes (midterm) : PDF
• Notes (final) : PDF
• Exercises : PDF

Computer Architecture

• Notes : PDF

Setup the RISC-V Toolchain

• Download riscv.zip file from here.
• Extract the contents so the opt/riscv directory is located in /opt/riscv in your computer.
• Run the debugger and see if it is showing the memory preview.

Setup Verilator

If verilator can not be built on your computer, you can use the docker image:

sudo docker run -ti -v ${PWD}:/work --user root:root \ 
verilator/verilator:latest --timescale 1ns/1ns --top-module tb \
--cc --exe --binary --timing --trace --trace-underscore -O2 lu.sv tb.sv

Setup Verible Verilog Linter

If you can not build verible on your computer, you can use my docker image:

sudo docker run -ti -v ${PWD}:/work --user root:root androz2091/verible:sha-2195809 verible-verilog-lint