Logic Synthesis and Verification Algorithms - Somenzi, Fabio
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre110,14 €
Produit Neuf
Ou 27,54 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 11 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781475770360_dbm
Nos autres offres
-
121,99 €
Occasion · Très Bon État
Ou 30,50 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 21 mai
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus -
141,65 €
Produit Neuf
Ou 35,41 € /mois
- Livraison : 25,00 €
- Livré entre le 18 et le 23 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 Logic Synthesis And Verification Algorithms Format Broché - Livre Littérature Générale
0 avis sur Logic Synthesis And Verification Algorithms Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Conformal Field Theory
Neuf dès 190,65 €
Occasion dès 130,39 €
-
Cogs, Caravels And Galleons
Occasion dès 154,38 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
-
Guerre Et Paix - Tomes 1 Et 2
6 avis
Occasion dès 116,90 €
-
Arda Reconstructed
Neuf dès 67,42 €
-
La Sante Interdite
Occasion dès 71,00 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 106,99 €
-
Bernard Frize: Longues Lignes (Souvent Fermees)
Occasion dès 63,99 €
-
Lewis Carroll's Photography And Modern Childhood
Neuf dès 83,15 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Pomellato
Occasion dès 80,00 €
-
Illuminations-2cd-Prix Conseille 24.20 E/Ttc
Occasion dès 160,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
La Bâtarde
Occasion dès 120,99 €
-
A Glastonbury Romance
Occasion dès 111,99 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
Top-Down Network Design
Occasion dès 67,99 €
Produits similaires
Présentation Logic Synthesis And Verification Algorithms Format Broché
- Livre Littérature Générale
Résumé :
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
Sommaire:
A Quick Tour of Logic Synthesis with the Help of a Simple Example.- Two Level Logic Synthesis.- Boolean Algebras.- Synthesis of Two-Level Circuits.- Heuristic Minimization of Two-level Circuits.- Binary Decision Diagrams (BDDs).- Models of Sequential Systems.- Models of Sequential Systems.- Synthesis and Verification of Finite State Machines.- Finite Automata.- Multilevel Logic Synthesis.- Multi-Level Logic Synthesis.- Multi-Level Minimization.- Automatic Test Generation for Combinational Circuits.- Technology Mapping.
Détails de conformité du produit
Personne responsable dans l'UE