Articoli correlati a Formal Methods in Computer-Aided Design: 4th International...

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings: 4th ... Or, Usa, November 2002, Proceedings: 2517 - Brossura

 
9783540001164: Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings: 4th ... Or, Usa, November 2002, Proceedings: 2517

Sinossi

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Abstraction.- Abstraction by Symbolic Indexing Transformations.- Counter-Example Based Predicate Discovery in Predicate Abstraction.- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.- Symbolic Simulation.- Simplifying Circuits for Formal Verification Using Parametric Representation.- Generalized Symbolic Trajectory Evaluation — Abstraction in Action.- Model Checking: Strongly-Connected Components.- Analysis of Symbolic SCC Hull Algorithms.- Sharp Disjunctive Decomposition for Language Emptiness Checking.- Microprocessor Specification and Verification.- Relating Multi-step and Single-Step Microprocessor Correctness Statements.- Modeling and Verification of Out-of-Order Microprocessors in UCLID.- Decision Procedures.- On Solving Presburger and Linear Arithmetic with SAT.- Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods.- Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.- Model Checking: Reachability Analysis.- Exploiting Transition Locality in the Disk Based Mur? Verifier.- Traversal Techniques for Concurrent Systems.- Model Checking: Fixed Points.- A Fixpoint Based Encoding for Bounded Model Checking.- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.- Verification Techniques and Methodology.- Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem.- A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols.- Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.- Hardware Description Languages.- Functional Design Using Behavioural and Structural Components.- Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries.- Prototyping and Synthesis.- Input/Output Compatibility of Reactive Systems.- Smart Play-out of Behavioral Requirements.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
Ex-library paperback in very nice...
Visualizza questo articolo

EUR 5,96 per la spedizione in U.S.A.

Destinazione, tempi e costi

Risultati della ricerca per Formal Methods in Computer-Aided Design: 4th International...

Foto dell'editore

Aagaard, Mark D. [Editor]; O'Leary, John W. [Editor];
Editore: Springer, 2008
ISBN 10: 3540001166 ISBN 13: 9783540001164
Antico o usato Paperback

Da: GuthrieBooks, Spring Branch, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-1301

Contatta il venditore

Compra usato

EUR 19,97
Convertire valuta
Spese di spedizione: EUR 5,96
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Mark (editor) and John W. (editor) O'Leary Aagaard
ISBN 10: 3540001166 ISBN 13: 9783540001164
Antico o usato Softcover

Da: CSG Onlinebuch GMBH, Darmstadt, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Condizione: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals. Codice articolo 13391

Contatta il venditore

Compra usato

EUR 16,92
Convertire valuta
Spese di spedizione: EUR 35,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

O'Leary, John W.; Aagaard, Mark D.
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540001164

Contatta il venditore

Compra nuovo

EUR 48,27
Convertire valuta
Spese di spedizione: EUR 7,65
In U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

O'Leary, John W.; Aagaard, Mark D.
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020155198

Contatta il venditore

Compra nuovo

EUR 52,66
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aagaard, Mark D.; O'Leary, John W. (EDT)
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 1703863-n

Contatta il venditore

Compra nuovo

EUR 53,82
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aagaard, Mark D.; O'Leary, John W. (EDT)
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Antico o usato Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 1703863

Contatta il venditore

Compra usato

EUR 61,24
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

O'Leary, John W.; Aagaard, Mark D.
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540001164

Contatta il venditore

Compra nuovo

EUR 64,95
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

O'Leary, John W.; Aagaard, Mark D.
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540001164_new

Contatta il venditore

Compra nuovo

EUR 58,46
Convertire valuta
Spese di spedizione: EUR 13,84
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Aagaard, Mark D.
Editore: Springer 2002-10, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540001164

Contatta il venditore

Compra nuovo

EUR 57,34
Convertire valuta
Spese di spedizione: EUR 17,90
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aagaard, Mark D.; O'Leary, John W. (EDT)
Editore: Springer, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 1703863-n

Contatta il venditore

Compra nuovo

EUR 58,45
Convertire valuta
Spese di spedizione: EUR 17,33
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 5 copie di questo libro

Vedi tutti i risultati per questo libro