Cours

CS-472: Design technologies for integrated systems

Résumé

Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.

Séances de cours

Enseignant·e·s (3)

Giovanni De Micheli

Expertise Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques. En savoir plus Consulter svp http://si2.epfl.ch/~demichel/ Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth

Pasquale Davide Schiavone

Enseignement et PhD Cours Design technologies for integrated systems CS-472 La synthèse hardware est le processus de transformation - itérativement raffiné, détaillé et optimisé - d'une représentation faite en langage de description matérielle en un circuit. Ce cours présente les algorithmes, outils et méthodes de la compilation matérielle et de la synthèse logique.

David Mallasen Quintana

Source officielle

https://edu.epfl.ch/coursebook/fr/design-technologies-for-integrated-systems-CS-472

Page Moodle

http://go.epfl.ch/CS-472

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Résumé

Séances de cours

Enseignant·e·s (3)

Giovanni De Micheli

Pasquale Davide Schiavone

David Mallasen Quintana

Source officielle

https://edu.epfl.ch/coursebook/fr/design-technologies-for-integrated-systems-CS-472

Page Moodle

http://go.epfl.ch/CS-472

Séances de ce cours (8)

Circuits logiques synchrones : modélisation et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.

Circuits séquentiels : Optimisation et Retiming Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les modèles structurels, les approches de synthèse et les techniques de retiming pour les circuits séquentiels.

Retiming basé sur la relaxation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le retiming basé sur la relaxation pour optimiser le temps de cycle en raccourcissant les chemins avec des retards excessifs.

Optimisation booléenne: MIGs et portes majoritaires Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des fonctions booléennes à l'aide de Majority-Inverter Graphs et Majority Gates, y compris les règles algébriques et la synthèse exacte.

Vérification et optimisation du timing Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la vérification de la synchronisation, la modélisation du retard de la porte, le retard du réseau, les chemins sensibilisables et l'analyse du chemin critique dans les circuits numériques.

Afficher plus

Cours associés (32)

EE-334: Digital systems design

Students will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware. They learn how to design synchronous digital circuits on register transfer level, analyse their timing a ...

CS-471: Advanced multiprocessor architecture

Multiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacenters. It includes a research project on multiprocessors ...

CS-173: Fundamentals of digital systems

Welcome to the introductory course in digital design and computer architecture. In this course, we will embark on a journey into the world of digital systems, exploring the fundamental principles and concepts that underpin modern computing technology. ...

EE-110: Systèmes logiques (pour MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de synthèse de systèmelogiques sont étudiées et appliquée ...

EE-330: Digital IC design

Digital IC Design presents the fundamentals of digital integrated circuit design. The methods and techniques aiming at the fabrication and development of digital integrated circuits are reviewed, the major design style pertaining to digital logic and memor ...

Afficher plus