Sequential Logic Testing And Verification Format Broché

Sequential Logic Testing and Verification - Devadas, Srinivas

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

227,62 €

Produit Neuf

Ou 56,91 € /mois

Livraison à 0,01 €
Livré entre le 25 juillet et le 6 août

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461366225_dbm

Voir le détail de l'annonce

Nos autres offres

232,98 €

Produit Neuf

Ou 58,25 € /mois

En savoir plus
- Livraison : 3,99 €
- Livré entre le 24 et le 30 juillet
Voir les modes de livraison
M_plus_L

PRO

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Sequential Logic Testing And Verification Format Broché - Livre Littérature Générale

Note : 0 0 avis sur Sequential Logic Testing And Verification Format Broché - Livre Littérature Générale

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Sequential Logic Testing And Verification Format Broché
- Livre Littérature Générale

Livre Littérature Générale - Devadas, Srinivas - 01/10/2012 - Broché - Langue : Anglais

Auteur(s) : Devadas, Srinivas - Ghosh, Abhijit - Newton, A. Richard

Editeur : Springer Us, New York, N.Y.

Langue : Anglais

Parution : 01/10/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 240

Expédition : 371

Dimensions : 23.5 x 15.5 x 1.4

ISBN : 1461366224

Sommaire:
List of Figures.- List of Tables.- Preface.- Acknowledgements.- 1 Introduction.- 1.1 IC Design Systems.- 1.2 Implementation Verification.- 1.3 Testing.- 1.4 Synthesis For Testability.- 1.5 Outline.- 2 Sequential Test Generation.- 2.1 Preliminaries.- 2.2 Methods for Sequential Test Generation.- 2.3 Test Generation Strategy.- 2.4 Cover Extraction and Combinational ATG.- 2.5 Justification.- 2.6 Initialization of Circuits.- 2.7 State Differentiation.- 2.8 Identification of Redundant Faults.- 2.9 Test Generation Results Using STEED.- 2.10 Conclusions.- 3 Test Generation Using RTL Descriptions.- 3.1 Preliminaries.- 3.2 Previous Work.- 3.3 Global Strategy for Test Generation.- 3.4 State Justification.- 3.5 Indexed Backtracking.- 3.6 Conflict Resolution.- 3.6.1 Assembling the equations.- 3.7 State Differentiation.- 3.8 Test Generation Results Using ELEKTRA.- 3.9 Conclusions.- 4 Sequential Synthesis for Testability.- 4.1 Preliminaries.- 4.2 Previous Work.- 4.3 Theoretical Results.- 4.4 The Synthesis and Test Strategy.- 4.5 Detection of Invalid States.- 4.6 Detection of Equivalent States.- 4.7 Experimental Results.- 4.8 Conclusions.- 5 Verification of Sequential Circuits.- 5.1 Preliminaries.- 5.2 Previous Work.- 5.3 Implicit STG Traversal.- 5.4 Implicit STG Enumeration.- 5.5 Experimental Results.- 5.6 Conclusions.- 6 Symbolic FSM Traversal Methods.- 6.1 Preliminaries.- 6.2 Traversal by Recursive Range Computation.- 6.3 Traversal based on Transition Relations.- 6.4 Depth-First Geometric Chaining.- 6.5 A Mixed Traversal Algorithm.- 6.6 Implementation of Algorithm.- 6.7 Experimental Results.- 6.8 Conclusions.- 7 Conclusions.- 7.1 Test Generation.- 7.2 Synthesis for Testability.- 7.3 Verification.- 7.4 Directions for Future Work.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Sequential Logic Testing and Verification - Devadas, Srinivas

Avis sur Sequential Logic Testing And Verification Format Broché - Livre Littérature Générale

Présentation Sequential Logic Testing And Verification Format Broché - Livre Littérature Générale

Présentation Sequential Logic Testing And Verification Format Broché
- Livre Littérature Générale