A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Jacques Weber |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesLe langage systemVerilog / Sébastien Moutault (impr. 2009, cop. 2009)
Titre : Le langage systemVerilog : synthèse et vérification des circuits numériques complexes Type de document : texte imprime Auteurs : Sébastien Moutault ; Jacques Weber Editeur : Paris : Dunod Année de publication : impr. 2009, cop. 2009 Collection : Sciences Sup Importance : (XII-291 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-051801-2 Note générale : La couv. porte en plus : "Cours et exercices corrigés" ; "L3, Master, Ecoles d'ingénieurs" ; "Suppléments en ligne". - L3, Master, Écoles d'ingénieurs
Bibliogr. p. [288]. IndexLangues : Français Mots-clés : Verilog (langage de description de matériel informatique) Circuits intégrés numériques:conception et construction Langages de description de matériel informatique - Index. décimale : 621395 Résumé : L'utilisation d'un langage évolué (VHDL, Very High speed integrated circuits Hardware Description Langage) dans la modélisation et la conception des circuits intégrés numériques est aujourd'hui indispensable.
SystemVerilog est l’un des langages de description des circuits numériques les plus récents (2005). Il est le premier langage qualifié de HDVL, pour Hardware Description and Verification Language. Il hérite à la fois des capacités de description de modules synthétisables et des facultés d’abstraction des langages objets qui permettent la vérification de systèmes complexes.
Cet ouvrage propose de découvrir l'ensemble des possibilités offertes par le langage VHDL. Les tests et les pièges à éviter lors de la démarche d'élaboration d'un composant numérique sont également présentés, à travers un exemple "fil rouge". Des exercices corrigés complètent le cours.
Cette cinquième édition a été revue, corrigée et actualisée et les applications ont été remaniées afin de gagner en clarté.
Le livre est organisé en quatre parties :
Une première exploration rapide permet de découvrir l’ensemble du langage.
La seconde partie présente la boite à outils dont se serviront les deux parties suivantes.
La troisième partie est consacrée à la construction de modules synthétisables et des tests unitaires qui sont indissociables de la conception de ces modules.
La dernière partie est consacrée à la mise en place d’un banc de vérification fondé sur la programmation objet. Elle amène le lecteur à comprendre les deux librairies de vérification les plus couramment rencontrées : VMM library (Verification Methodology Manual for SystemVerilog) et OVM library (Open Verification Methodology).
Note de contenu :
Modélisation et synthèse : le même langage.
Conception et vérification, le langage VHDL à travers un projet.
Un contrôleur de liaison série asynchrone.
Décrire le circuit. Vérifier son fonctionnement.
Quelques pièges.
Simulation de la sémantique du langage VHDL au modèle rétro-annoté vital.
Parallélismes et algorithmes séquentiels : signaux, variables et processus.
Bus, conflits et arithmétiques de vecteurs : le standard IEEE-1076.3.
Communiquer avec l'environnement et le simulateur.
Violation des règles temporelles.
Le langage VHDL, éléments de syntaxe.
Le formalisme de Backus et Naur.
Les objets du langage.
Les instructions.
Structures d'un programme.Permalink : ./index.php?lvl=notice_display&id=13865 Le langage systemVerilog : synthèse et vérification des circuits numériques complexes [texte imprime] / Sébastien Moutault ; Jacques Weber . - Paris : Dunod, impr. 2009, cop. 2009 . - (XII-291 p.) : ill., couv. ill. en coul. ; 25 cm. - (Sciences Sup) .
ISBN : 978-2-10-051801-2
La couv. porte en plus : "Cours et exercices corrigés" ; "L3, Master, Ecoles d'ingénieurs" ; "Suppléments en ligne". - L3, Master, Écoles d'ingénieurs
Bibliogr. p. [288]. Index
Langues : Français
Mots-clés : Verilog (langage de description de matériel informatique) Circuits intégrés numériques:conception et construction Langages de description de matériel informatique - Index. décimale : 621395 Résumé : L'utilisation d'un langage évolué (VHDL, Very High speed integrated circuits Hardware Description Langage) dans la modélisation et la conception des circuits intégrés numériques est aujourd'hui indispensable.
SystemVerilog est l’un des langages de description des circuits numériques les plus récents (2005). Il est le premier langage qualifié de HDVL, pour Hardware Description and Verification Language. Il hérite à la fois des capacités de description de modules synthétisables et des facultés d’abstraction des langages objets qui permettent la vérification de systèmes complexes.
Cet ouvrage propose de découvrir l'ensemble des possibilités offertes par le langage VHDL. Les tests et les pièges à éviter lors de la démarche d'élaboration d'un composant numérique sont également présentés, à travers un exemple "fil rouge". Des exercices corrigés complètent le cours.
Cette cinquième édition a été revue, corrigée et actualisée et les applications ont été remaniées afin de gagner en clarté.
Le livre est organisé en quatre parties :
Une première exploration rapide permet de découvrir l’ensemble du langage.
La seconde partie présente la boite à outils dont se serviront les deux parties suivantes.
La troisième partie est consacrée à la construction de modules synthétisables et des tests unitaires qui sont indissociables de la conception de ces modules.
La dernière partie est consacrée à la mise en place d’un banc de vérification fondé sur la programmation objet. Elle amène le lecteur à comprendre les deux librairies de vérification les plus couramment rencontrées : VMM library (Verification Methodology Manual for SystemVerilog) et OVM library (Open Verification Methodology).
Note de contenu :
Modélisation et synthèse : le même langage.
Conception et vérification, le langage VHDL à travers un projet.
Un contrôleur de liaison série asynchrone.
Décrire le circuit. Vérifier son fonctionnement.
Quelques pièges.
Simulation de la sémantique du langage VHDL au modèle rétro-annoté vital.
Parallélismes et algorithmes séquentiels : signaux, variables et processus.
Bus, conflits et arithmétiques de vecteurs : le standard IEEE-1076.3.
Communiquer avec l'environnement et le simulateur.
Violation des règles temporelles.
Le langage VHDL, éléments de syntaxe.
Le formalisme de Backus et Naur.
Les objets du langage.
Les instructions.
Structures d'un programme.Permalink : ./index.php?lvl=notice_display&id=13865 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L279/1 L279 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtL279/2 L279 Livre Magasin d'Ouvrages / INF Langage Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le Langage VHDL / Jacques Weber (2001)
Titre : Le Langage VHDL : cours et exercice Type de document : texte imprime Auteurs : Jacques Weber ; Maurice Meaudre Mention d'édition : 2 ème éd. Editeur : Paris : Dunod Année de publication : 2001 Collection : Science Sup Importance : 232 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-004755-0 Note générale : Bibliogr .Index Mots-clés : Langage VHDL Modélisation Circuits programmables Index. décimale : 621.395 Permalink : ./index.php?lvl=notice_display&id=11993 Le Langage VHDL : cours et exercice [texte imprime] / Jacques Weber ; Maurice Meaudre . - 2 ème éd. . - Paris : Dunod, 2001 . - 232 p. ; 24 cm. - (Science Sup) .
ISBN : 978-2-10-004755-0
Bibliogr .Index
Mots-clés : Langage VHDL Modélisation Circuits programmables Index. décimale : 621.395 Permalink : ./index.php?lvl=notice_display&id=11993 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA466/1 IA466 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA466/2 IA466 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA466/3 IA466 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Suivi de trajectoire d’un drone type quadrirotor approche par modèles flous Takagi-Sugeno Hamdani, Samir Introduction à l'analyse numérique matricielle et à l'optimisation Ciarlet, Philippe Gaston Cours de robotique description et fonctionnement des robots industriels Giordano, Max Électronique de puissance Lavabre, Michel Architecture des réseaux Dromard, Danièle Introduction aux méthodes numériques Jedrzejewski, Franck Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le Langage VHDL / Jacques Weber (2007)
Titre : Le Langage VHDL : du langage au circuit, du circuit au langage Type de document : texte imprime Auteurs : Jacques Weber ; Sébastien Moutault Maurice Meaudre Mention d'édition : 2 ème éd. Editeur : Paris : Dunod Année de publication : 2007 Collection : Science Sup Importance : 282 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-050191-5 Note générale : Bibliogr .Index Langues : Français Mots-clés : Langage VHDL Système sur puce Modélisation Circuits programmables Index. décimale : 621.395 Permalink : ./index.php?lvl=notice_display&id=12097 Le Langage VHDL : du langage au circuit, du circuit au langage [texte imprime] / Jacques Weber ; Sébastien Moutault Maurice Meaudre . - 2 ème éd. . - Paris : Dunod, 2007 . - 282 p. ; 24 cm. - (Science Sup) .
ISBN : 978-2-10-050191-5
Bibliogr .Index
Langues : Français
Mots-clés : Langage VHDL Système sur puce Modélisation Circuits programmables Index. décimale : 621.395 Permalink : ./index.php?lvl=notice_display&id=12097 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA180/1 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA180/2 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/3 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/4 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/5 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/6 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/7 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/8 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/9 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/10 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA180/11 IA180 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Les automates programmables industriels Bolton, William Conception et réalisation d’un système de surveillance d’une serre agricole avec une carte Raspberry PI 2 Douki, Koceila Transmissions et réseaux Lohier, Stéphane Conception structurée des systèmes logiques Bernard, Jean-Michel Programmation objet en langage C++ Guidet, Alexandre Automatique et informatique industrielle Ney, Henri Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le Langage VHDL / Jacques Weber (2007)
Titre : Le Langage VHDL : du langage au circuit ,du circuit au langage Type de document : texte imprime Auteurs : Jacques Weber ; Maurice Meaudre Sébastien Moutault Mention d'édition : 3ème éd. Editeur : Paris : Dunod Année de publication : 2007 Collection : Science Sup Importance : 282 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978210 0519105 Note générale : Index Langues : Français Mots-clés : VHDL Circuits intégrés numériques Systèmes sur puces Systèmes on aship SOC Modélisation Permalink : ./index.php?lvl=notice_display&id=13800 Le Langage VHDL : du langage au circuit ,du circuit au langage [texte imprime] / Jacques Weber ; Maurice Meaudre Sébastien Moutault . - 3ème éd. . - Paris : Dunod, 2007 . - 282 p. : ill. ; 24 cm. - (Science Sup) .
ISSN : 978210 0519105
Index
Langues : Français
Mots-clés : VHDL Circuits intégrés numériques Systèmes sur puces Systèmes on aship SOC Modélisation Permalink : ./index.php?lvl=notice_display&id=13800 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L191/1 L191 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtL191/2 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/3 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/4 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/5 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/6 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/7 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/8 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/9 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/10 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/11 L191 Livre Magasin d'Ouvrages / INF Langage Disponible L191/12 L191 Livre Magasin d'Ouvrages / INF Langage Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !


