Articoli correlati a A Roadmap for Formal Property Verification
Sinossi
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
The author leads the Formal Verification Group at the Indian Institute of Technology, Kharagpur (http://www.facweb.iitkgp.ernet.in/~pallab/forverif.html). He has collaborations with leading companies, including Intel, Sun Microsystems, Synopsys, Texas Instruments, National Semiconductors, General Motors, Interra Systems and Virtio Corp, on developing formal methods for design verification. The author is a senior member of IEEE.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer-Verlag New York Inc
- Data di pubblicazione2006
- ISBN 10 1402047576
- ISBN 13 9781402047572
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine251
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 33,88
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per A Roadmap for Formal Property Verification
Foto dell'editore
A Roadmap For Formal Property Verificaiton (Hb)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-73631
Quantità: 2 disponibili
Foto dell'editore
A Roadmap For Formal Property Verificaiton (Hb)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-166792
Quantità: 9 disponibili
Foto dell'editore
A Roadmap For Formal Property Verification
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-81864
Quantità: 1 disponibili
Foto dell'editore
A Roadmap For Formal Property Verification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-166793
Quantità: 1 disponibili
Foto dell'editore
A Roadmap for Formal Property Verification
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. LIKE NEW. book. Codice articolo ERICA83014020475763
Quantità: 1 disponibili
Foto dell'editore
A Roadmap for Formal Property Verification
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781402047572_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Roadmap for Formal Property Verification
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. FPV methods - presented conceptuallyArchitecting assertion suites with System Verilog AssertionsFormal verification coverageConsistency issues in formal specificationsDesign Intent CoverageIntelligent test generation fr. Codice articolo 458474930
Quantità: Più di 20 disponibili
Foto dell'editore
A Roadmap for Formal Property Verification
Da: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-1402047576
Quantità: 1 disponibili
Foto dell'editore
A Roadmap for Formal Property Verification
Editore:
Springer-Verlag New York Inc., 2006
ISBN 10: 1402047576
ISBN 13: 9781402047572
Nuovo
Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 583. Codice articolo C9781402047572
Quantità: Più di 20 disponibili
Foto dell'editore
A Roadmap for Formal Property Verification
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2411530143392
Quantità: Più di 20 disponibili