Quality-Driven Systemc Design - Daniel Große
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre154,63 €
Produit Neuf
Ou 38,66 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 août
Nos autres offres
-
55,00 €
Occasion · Très Bon État
Ou 13,75 € /mois
Disponible en retrait gratuit chez le vendeur (Saint-prix)
- Livraison : 3,00 €
4,9/5 sur 14 ventes -
154,63 €
Produit Neuf
Ou 38,66 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 août
Voir le détail de l'annonce -
162,77 €
Produit Neuf
Ou 40,69 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 17 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789048136308_dbm
Voir le détail de l'annonce -
267,17 €
Produit Neuf
Ou 66,79 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Quality - Driven Systemc Design de Daniel Große Format Relié - Livre Littérature Générale
0 avis sur Quality - Driven Systemc Design de Daniel Große Format Relié - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Emi's The Complete Beatles Recording Sessions: The Official Story Of The Abbey Road Years
Occasion dès 42,72 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Canon Eos R5 Mark Ii User Guide
Neuf dès 44,77 €
-
The Art Of Turning Red
1 avis
Neuf dès 36,00 €
-
Triumph Triples & Fours (91-04)
Neuf dès 44,29 €
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
Daggerheart Core Set
Neuf dès 43,59 €
Occasion dès 40,49 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 34,49 €
-
Norman Jewison
Neuf dès 31,39 €
-
The Odyssey: A Graphic Novel
Neuf dès 33,68 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Global Objects
Neuf dès 48,75 €
-
Speed Picking - Frank Gambale Book/Online Audio
Neuf dès 28,37 €
Occasion dès 78,99 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Dc Finest: Hawkman: Wings Across Time
Neuf dès 39,84 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
The Brand Gap
Neuf dès 53,38 €
Occasion dès 38,59 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
Produits similaires
Présentation Quality - Driven Systemc Design de Daniel Große Format Relié
- Livre Littérature Générale
Résumé :
Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements designing electronic systems is a very challenging task. To manage this situation effectively the level of abstraction in modeling has been raised during the past years in the computer aided design community. Meanwhile, for the so-called system-level design the system description language SystemC has become the de facto standard. However, while modeling from abstract to synthesizable descriptions in combination with specification concepts like Transaction Level Modeling (TLM) leads to very good results, the verification quality is poor. The two main reasons are that (1) the existing SystemC verification techniques do not escort the different abstraction levels effectively and (2) in particular the resulting quality in terms of the covered functionality is only checked manually. Hence, due to the increasing design complexity the number of undetected errors is growing rapidly. Therefore a quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.
Sommaire:
Preliminaries.- System-Level Verification.- Block-Level Verification.- Top-Level Verification.- Summary and Conclusions.
Détails de conformité du produit
Personne responsable dans l'UE