Séance de cours

Systèmes robustes : technologies émergentes et expérience utilisateur

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.

Description

Cette séance de cours présente le professeur Subashish Mitra de l'Université de Stanford discutant de ses recherches sur les systèmes robustes, y compris la vérification des systèmes complexes, la fiabilité des technologies du silicium et les nanotechnologies émergentes. Il aborde également des questions urgentes dans le domaine des TIC, telles que la garantie d’un fonctionnement robuste, l’amélioration de l’expérience utilisateur et l’extension d’applications à des domaines tels que les neurosciences. Le professeur Mitra souligne l'importance de comprendre l'ensemble du système, des nanotechnologies à la conception au niveau du système, pour créer des solutions innovantes avec une efficacité et une fiabilité énergétiques élevées.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (13)

Electronic system-level design and verification

Electronic system level (ESL) design and verification is an electronic design methodology, focused on higher abstraction level concerns. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, an EDA-industry-analysis firm, on February 1, 2001. It is defined in ESL Design and Verification as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner.

Conception assistée par ordinateur pour l'électronique

La CAO électronique (pour Conception assistée par ordinateur électronique), nommée également en anglais EDA (pour Electronic design automation), est la catégorie des outils servant à la conception et la production des systèmes électroniques allant des circuits imprimés jusqu'aux circuits intégrés. Le terme CAO est aussi utilisé pour désigner la CAO mécanique, la conception assistée par ordinateur et la fabrication assistée par ordinateur en électronique et en électrotechnique.

Register Transfer Level (RTL) est une méthode de description des architectures microélectroniques. Dans la conception RTL, le comportement d'un circuit est défini en termes d'envois de signaux ou de transferts de données entre registres, et les opérations logiques effectuées sur ces signaux. Le RTL est utilisé dans les langages de description matérielle (HDL) comme Verilog et VHDL pour créer des représentations d'un circuit à haut niveau, à partir duquel les représentations à plus bas niveau et le câblage réel peuvent être dérivés.

Nanotechnologie

Les nanosciences et nanotechnologies (d’après le grec , « nain »), ou NST, peuvent être définies au minimum comme l’ensemble des études et des procédés de fabrication et de manipulation de structures (physiques, chimiques ou biologiques), de dispositifs et de systèmes matériels à l’échelle du nanomètre (nm), qui est l'unité la plus proche de la distance entre deux atomes. Les NST présentent plusieurs acceptions liées à la nature transversale de cette jeune discipline.

Expérience utilisateur

thumb|Diagramme situant l'expérience utilisateur L'expérience utilisateur (EU) (en anglais, user experience, abrégé UX) est la qualité du vécu de l'utilisateur dans des environnements numériques ou physiques. C'est une notion de plus en plus courante là où l'on utilisait, encore récemment, les notions d'ergonomie des logiciels et d'utilisabilité.

Afficher plus

Séances de cours associées (11)

Vérification basée sur la simulation

Explore la vérification basée sur la simulation dans les systèmes VLSI à l'aide d'algorithmes basés sur le code compilé et les événements.

Vérification du matériel en utilisant des langages de conception de haut niveau

Explore les défis en matière de vérification matérielle, de spécifications claires, de dommages spéculatifs et de sémantique précise du cycle.

Semicustom RTL Design : Frontend avec Synthesis

Couvre les bases de la conception VLSI, en se concentrant sur le flux de conception semi-personnalisé.

Matériel Description Langues

Explore l'histoire et l'importance des langages de description de matériel dans l'automatisation des processus de conception et la description du matériel parallèle.

Circuits numériques synchrones : principes et conception

Couvre les principes de la conception synchrone RTL, des circuits numériques personnalisés, de la visualisation des diagrammes Y, des classes de signaux et de la gestion de la hiérarchie.

Afficher plus

Concepts associés (13)

Electronic system-level design and verification

Conception assistée par ordinateur pour l'électronique

Nanotechnologie

Expérience utilisateur

Afficher plus