Personnaliser

OK

Test Pattern Generation Using Boolean Proof Engines - Daniel Tille

Note : 0

0 avis
  • 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

    RiaChristie

    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

    Publicité
     
    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

    Gratuit et sans engagement

    Félicitations !

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

    En savoir plus

    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

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


        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

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        La sécuritéSatisfait ou remboursé
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com