Coop UQAM | Coopsco

Créer mon profil | Mot de passe oublié?

Magasiner par secteur

Matériel obligatoire et recommandé

Voir les groupes
Devenir membre

Nos partenaires

UQAM
ESG UQAM
Réseau ESG UQAM
Bureau des diplômés
Centre sportif
Citadins
Service de la formation universitaire en région
Université à distance
Société de développement des entreprises culturelles - SODEC
L'institut du tourisme et de l'hotellerie - ITHQ
Pour le rayonnement du livre canadien
Presses de l'Université du Québec
Auteurs UQAM : Campagne permanente de promotion des auteures et auteurs UQAM
Fondation de l'UQAM
Écoles d'été en langues de l'UQAM
Canal savoir
L'économie sociale, j'achète
Millénium Micro



Recherche avancée...

Spécification et validation des systèmes monopuces


Éditeur : Lavoisier-Hermès
ISBN numérique PDF: 9782746227057
Parution : 2021
Catégorisation : Livres numériques / Autre / Autre / Autre.

Formats disponibles

Format Qté. disp. Prix* Commander
Numérique PDF
Protection acs4***
Illimité Prix : 118,95 $
x

*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
***Ce produit est protégé en vertu des droits d'auteurs.




Description

Cet ouvrage présente les éléments fondamentaux utilisés par les concepteurs lors de la modélisation et de la conception d'un système, à travers toutes les étapes du flot de conception partant d'un niveau d'abstraction élevé. Il en découle une méthodologie pour la spécification et la modélisation des systèmes monopuces. Les auteurs analysent également la problématique de la validation globale de ces systèmes et présentent une méthodologie de co-simulation. Ils proposent un modèle de simulation des systèmes d'exploitation permettant la simulation native comme solution alternative plus efficace que l'emploi des simulateurs des processeurs de niveau jeu d'instructions (ISS). Cet ouvrage présente une démarche pour l'évaluation des performances des systèmes mixtes matériels/logiciels. Il met l'accent sur l'approche SystemC pour la modélisation et le raffinement des systèmes monopuces. Les méthodologies et les outils présentés dans les différents chapitres sont illustrés par des exemples d'applications