. .
Français
France
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 153,99 €, prix le plus élevé: 183,83 €, prix moyen: 170,26 €
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
Livre non disponible
(*)
Malay Ganai#Aarti Gupta:

SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691664

ID: ef902bfc75f97668e2306ee46d83cb87

SAT-Based Scalable Formal Verification Solutions Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm. These techniques have been designed and implemented in a verification platform Verisol (formally called DiVer) and have been used successfully in industry. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization. It also includes the authors practical experiences and recommendations in verifying the large industry designs using VeriSol. The book is primarily written for researchers, scientists, and verification engineers who would like to gain an in-depth understanding of scalable SAT-based verification techniques. The book will also be of interest for CAD tool developers who would like to incorporate various SAT-based advanced techniques in their products. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-387-69166-4, Springer

Nouveaux livres Buch.de
Nr. 14272111 Frais d'envoiBücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
Livre non disponible
(*)

Malay Ganai#Aarti Gupta:

SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691664

ID: bf27fc51e856c013a7dbee420122dbf6

SAT-Based Scalable Formal Verification Solutions Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm. These techniques have been designed and implemented in a verification platform Verisol (formally called DiVer) and have been used successfully in industry. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization. It also includes the authors practical experiences and recommendations in verifying the large industry designs using VeriSol.The book is primarily written for researchers, scientists, and verification engineers who would like to gain an in-depth understanding of scalable SAT-based verification techniques. The book will also be of interest for CAD tool developers who would like to incorporate various SAT-based advanced techniques in their products. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-387-69166-4, Springer

Nouveaux livres Buch.ch
Nr. 14272111 Frais d'envoiBei Bestellungen innerhalb der Schweiz berechnen wir Fr. 3.50 Portokosten, Bestellungen ab EUR Fr. 75.00 sind frei. Die voraussichtliche Versanddauer liegt bei 1 bis 2 Werktagen., Versandfertig innert 3 - 5 Werktagen, zzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
Livre non disponible
(*)
Malay Ganai#Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691664

ID: 189438841

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm. These techniques have been designed and implemented in a verification platform Verisol (formally called DiVer) and have been used successfully in industry. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization. It also includes the authors practical experiences and recommendations in verifying the large industry designs using VeriSol. The book is primarily written for researchers, scientists, and verification engineers who would like to gain an in-depth understanding of scalable SAT-based verification techniques. The book will also be of interest for CAD tool developers who would like to incorporate various SAT-based advanced techniques in their products. SAT-Based Scalable Formal Verification Solutions Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Nouveaux livres Thalia.de
No. 14272111 Frais d'envoi, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay; Gupta, Aarti
Livre non disponible
(*)
Ganai, Malay; Gupta, Aarti:
SAT-Based Scalable Formal Verification Solutions - edition reliée, livre de poche

2007, ISBN: 0387691669

ID: A4905764

Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, mit Schutzumschlag, [PU:Springer-Verlag GmbH]

Nouveaux livres Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Frais d'envoiVersandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Sat-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Livre non disponible
(*)
Malay Ganai; Aarti Gupta:
Sat-Based Scalable Formal Verification Solutions - edition reliée, livre de poche

2007, ISBN: 9780387691664

ID: 7762542

Hardcover, Buch, [PU: Springer-Verlag New York Inc.]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 10-15 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
SAT-Based Scalable Formal Verification Solutions
Auteur:

Ganai, Malay; Gupta, Aarti

Titre:

SAT-Based Scalable Formal Verification Solutions

ISBN:

0387691669

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Informations détaillées sur le livre - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691664
ISBN (ISBN-10): 0387691669
Version reliée
Date de parution: 2007
Editeur: Springer-Verlag GmbH
330 Pages
Poids: 0,703 kg
Langue: eng/Englisch

Livre dans la base de données depuis 11.11.2007 17:18:47
Livre trouvé récemment le 08.12.2016 16:56:07
ISBN/EAN: 0387691669

ISBN - Autres types d'écriture:
0-387-69166-9, 978-0-387-69166-4

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres