Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Langage de vérification de matériel

Un langage de vérification de matériel (Hardware verification language, ou HVL) est un langage permettant de vérifier et valider un circuit défini dans un langage de description de matériel (HDL). SystemVerilog est par exemple un HVL pour Verilog ; ce langage est notamment supporté par le logiciel libre Verilator. La méthodologie de vérification universelle (Universal Verification Methodology, ou UVM), est décrite dans le standard IEEE 1800.2-2020, et peut être effectuée à l'aide du module en langage Python pyuvm.

Source officielle

https://fr.wikipedia.org/wiki/Langage_de_vérification_de_matériel

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Cours associés (2)

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-390(a): Lab on hardware-software digital systems codesign

This course explores hardware-software co-design techniques to develop heterogeneous multi-core embedded systems running Linux on FPGAs. The course explores high-level synthesis tools (HLS) to design hardware accelerators that reduce total execution time a ...

Publications associées (3)

Analytic modelling of passive microfluidic mixers

Jean-Michel Sallese

This paper deals with a new analytical model for microfluidic passive mixers. Two common approaches already exist for such a purpose. On the one hand, the resolution of the advection-diffusion-reaction equation (ADRE) is the first one and the closest to ph ...

AMER INST MATHEMATICAL SCIENCES-AIMS2022

Formal Analysis of SystemC Designs in Process Algebra

Hossein Hojjat

SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC designs by providing a mapping to the process algebra mCRL2. Our ...

2011

Physics-based compact model for ultra-scaled FinFETs

Jean-Michel Sallese, Ashkhen Yesayan

A physical and explicit compact model for lightly doped FinFETs is presented. This design-oriented model is valid for a large range of silicon Fin widths and lengths, using only a very few number of model parameters. The quantum mechanical effects (QMEs), ...

2011

Concepts associés (1)

SystemVerilog

SystemVerilog est à la fois un langage de description, se basant pour cela sur Verilog, et un langage de vérification de matériel, permettant de faire de la simulation et vérification. Il est standardisé sous le numéro IEEE 1800 par l'Institute of Electrical and Electronics Engineers (IEEE). En 2020, le langage en était à la septième révision en 20 ans avec IEEE 1800-2017 publié en février 2018. Le développement de la norme est fait de façon transparente et collaborative, via le site accellera.mantishub.

Source officielle

https://fr.wikipedia.org/wiki/Langage_de_vérification_de_matériel

À propos de ce résultat

Cours associés (2)

CS-173: Fundamentals of digital systems

EE-390(a): Lab on hardware-software digital systems codesign

Séances de cours associées (4)

Programmation FPGA avec Speedgoat: un aperçu complet Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la programmation FPGA avec Speedgoat, en se concentrant sur la synthèse, les pratiques de conception et des exemples pratiques.

Circuits logiques numériques : modélisation CMOS et Verilog Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des circuits logiques numériques, en se concentrant sur la technologie CMOS et les techniques de modélisation Verilog.

Circuits logiques numériques : CMOS et Verilog Design Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des circuits logiques numériques, de la technologie CMOS et de Verilog pour la conception de circuits.

Afficher plus

Publications associées (3)

Concepts associés (1)

SystemVerilog