EE-535: NanoelectronicsThis lecture overviews and discusses the last trends in the technology and principles of nanoelectronic devices for more aggressive scaling, better performances, added functionalities and lower energy
EE-111: Circuits and systemsCe cours présente une introduction à la théorie et aux méthodes d'analyse et de résolution des circuits électriques.
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MICRO-100: Electrotechnics ILe cours aborde les bases des circuits électriques composés d'éléments linéaires, en régime continu. Une série de méthodes de transformations sera traitée.
Le régime alternatif est traité en fin de se
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
NX-422: Neural interfacesNeural interfaces (NI) are bioelectronic systems that interface the nervous system to digital technologies. This course presents their main building blocks (transducers, instrumentation & communicatio
EE-530: Test of VLSI systemsTest of VLSI Systems covers theoretical knowledge related to the major algorithms used in VLSI test, and design for test techniques. Basic knowledge related to computer-aided design for test technique