Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié

Test Pattern Generation Using Boolean Proof Engines - Daniel Tille

Format: Relié

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

135,29 €

Produit Neuf

Ou 33,82 € /mois

Livraison à 0,01 €
Livré entre le 7 et le 14 avril

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;ria9789048123599_dbm

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 Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale

Note : 0 0 avis sur Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

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 Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié
- Livre Littérature Générale

Livre Littérature Générale - Daniel Tille - 01/04/2009 - Relié - Langue : Anglais

Auteur(s) : Daniel Tille - Görschwin Fey - Rolf Drechsler - Stephan Eggersglüß

Editeur : Springer Netherland

Langue : Anglais

Parution : 01/04/2009

Format : Moyen, de 350g à 1kg

Nombre de pages : 192.0

Expédition : 467

Dimensions : 23.3 x 15.5 x 1.3

ISBN : 9789048123599

Résumé :
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work. ...

Sommaire:
Preliminaries.- Boolean Satisfiability.- SAT-Based ATPG.- Learning Techniques.- Multiple-Valued Logic.- Improved Circuit-to-CNF Conversion.- Branching Strategies.- Integration into Industrial Flow.- Delay Faults.- Summary and Outlook....

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Test Pattern Generation Using Boolean Proof Engines - Daniel Tille

Avis sur Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale

Présentation Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale

Présentation Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié
- Livre Littérature Générale