|
| Titre : | Liaisons mécanismes et assemblages : cours et exercices et applications industrielles avec MECA 3 D... | | Type de document : | texte imprime | | Auteurs : | Pierre Agati ; Frédéric Lerouge. Marc Rossetto. | | Mention d'édition : | 2e éd. | | Editeur : | Paris : Dunod | | Année de publication : | 2001 | | Collection : | Sciences Sup | | Importance : | 359 p. | | Présentation : | ill. | | Format : | 25 cm | | ISBN/ISSN/EAN : | 978-2-10-004702-4 | | Langues : | Français | | Mots-clés : | Modélisation Liaisons Mécanisme | | Index. décimale : | 621.815 | | Résumé : | Cet ouvrage est destiné aux étudiants en Licences processionnelles Eea, en masters Eea ou en école d'ingénieurs.
Il intéressera également les professionnels de la conception de circuits numériques.
SystemVerilog est l'un des langages de description des circuits numériques les plus récents.
Il est le premier 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.
Le livre est organisé en quatre parties : Une exploration rapide permet de découvrir l'ensemble du langage.
La boîte à outils proposée servira dans 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, à l'aide des deux librairies de vérification les plus utilisées : Vmm library (Verification Methodology Manual for SystemVerilog) et Ovm library (Open Verification Methodology).
L'ouvrage est complété d'exercices corrigés.
Les exemples du livre ont tous été testés en synthèse et/ ou en simulation, suivant le cas.
Ces exemples sont disponibles en téléchargement sur le site compagnon du livre : www.
lelangagesystemverilog.
net. | | Permalink : | ./index.php?lvl=notice_display&id=13041 |
Liaisons mécanismes et assemblages : cours et exercices et applications industrielles avec MECA 3 D... [texte imprime] / Pierre Agati ; Frédéric Lerouge. Marc Rossetto. . - 2e éd. . - Paris : Dunod, 2001 . - 359 p. : ill. ; 25 cm. - ( Sciences Sup) . ISBN : 978-2-10-004702-4 Langues : Français | Mots-clés : | Modélisation Liaisons Mécanisme | | Index. décimale : | 621.815 | | Résumé : | Cet ouvrage est destiné aux étudiants en Licences processionnelles Eea, en masters Eea ou en école d'ingénieurs.
Il intéressera également les professionnels de la conception de circuits numériques.
SystemVerilog est l'un des langages de description des circuits numériques les plus récents.
Il est le premier 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.
Le livre est organisé en quatre parties : Une exploration rapide permet de découvrir l'ensemble du langage.
La boîte à outils proposée servira dans 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, à l'aide des deux librairies de vérification les plus utilisées : Vmm library (Verification Methodology Manual for SystemVerilog) et Ovm library (Open Verification Methodology).
L'ouvrage est complété d'exercices corrigés.
Les exemples du livre ont tous été testés en synthèse et/ ou en simulation, suivant le cas.
Ces exemples sont disponibles en téléchargement sur le site compagnon du livre : www.
lelangagesystemverilog.
net. | | Permalink : | ./index.php?lvl=notice_display&id=13041 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesLiaisons mécanismes et assemblages / Pierre Agati (2001)
