- 5 Résultats
prix le plus bas: € 98,50, prix le plus élevé: € 171,19, prix moyen: € 129,91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
Commander
sur hive.co.uk
£ 84,58
(environ € 98,50)
Envoi: € 0,001
CommanderLien sponsorisé
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691671

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 verificat… Plus…

No. 9780387691671. Frais d'envoiInstock, Despatched same working day before 3pm, GB. (EUR 0.00)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
Commander
sur eBook.de
€ 106,99
Envoi: € 0,001
CommanderLien sponsorisé

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691671

SAT-Based Scalable Formal Verification Solutions: ab 106.99 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Frais d'envoiin stock, , , DE. (EUR 0.00)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
Commander
sur hive.co.uk
£ 90,10
(environ € 101,67)
CommanderLien sponsorisé
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - nouveau livre

ISBN: 9780387691671

; EPUB; Scientific, Technical and Medical > Electronics & communications engineering, Grand Central Publishing

No. 9780387691671. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Commander
sur lehmanns.de
€ 171,19
Envoi: € 0,001
CommanderLien sponsorisé
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - Première édition

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Commander
sur lehmanns.de
€ 171,19
Envoi: € 0,001
CommanderLien sponsorisé
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - nouveau livre

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

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


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Date de parution: 2007
Editeur: Springer US
330 Pages
Langue: eng/Englisch

Livre dans la base de données depuis 2009-07-11T13:02:08+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-08-03T13:27:01+02:00 (Paris)
ISBN/EAN: 0387691677

ISBN - Autres types d'écriture:
0-387-69167-7, 978-0-387-69167-1
Autres types d'écriture et termes associés:
Auteur du livre: mala gupta
Titre du livre: scala, sat


Données de l'éditeur

Auteur: Malay Ganai; Aarti Gupta
Titre: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Editeur: Springer; Springer US
330 Pages
Date de parution: 2007-05-26
New York; NY; US
Langue: Anglais
106,99 € (DE)
110,00 € (AT)
130,00 CHF (CH)
Available
XXX, 330 p. 118 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Computer-Aided Design (CAD); Verstehen; algorithms; complexity; computer-aided design (CAD); design process; model; modeling; C; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Electrical and Electronic Engineering; Computer Science; Schaltkreise und Komponenten (Bauteile); Elektrotechnik; BC

Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abstraction/Refinement.- Proof-Based Iterative Abstraction.- Verification Procedure.- SAT-Based Verification Framework.- Synthesis for Verification.
Describes SAT-based model checking approaches and gives engineering details on what makes model checking practical Techniques covered can be synergistically combined into a scalabe solution Focuses on engineering design and not mathematics Includes supplementary material: sn.pub/extras;

< pour archiver...