Verwandte Artikel zu A Roadmap for Formal Property Verification
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2006
- ISBN 10 1402047576
- ISBN 13 9781402047572
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten268
- Kontakt zum HerstellerNicht verfügbar
EUR 69,63
EUR 29,65 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 34,41
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für A Roadmap for Formal Property Verification
Beispielbild für diese ISBN
A Roadmap For Formal Property Verificaiton (Hb)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-166792
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
A Roadmap For Formal Property Verificaiton (Hb)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-73631
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
A Roadmap For Formal Property Verification
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-166793
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Roadmap For Formal Property Verification
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-81864
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Roadmap for Formal Property Verification
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Like New. LIKE NEW. book. Bestandsnummer des Verkäufers ERICA83014020475763
Anzahl: 1 verfügbar
Foto des Verkäufers
A Roadmap for Formal Property Verification
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Gebunden. Zustand: New. FPV methods - presented conceptuallyArchitecting assertion suites with System Verilog AssertionsFormal verification coverageConsistency issues in formal specificationsDesign Intent CoverageIntelligent test generation fr. Bestandsnummer des Verkäufers 458474930
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Roadmap for Formal Property Verification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781402047572_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Roadmap for Formal Property Verification
Verlag:
Springer-Verlag New York Inc., 2006
ISBN 10: 1402047576
ISBN 13: 9781402047572
Neu
Hardcover
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 583. Bestandsnummer des Verkäufers C9781402047572
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Roadmap for Formal Property Verification
Anbieter: BennettBooksLtd, North Las Vegas, NV, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-1402047576
Anzahl: 1 verfügbar
Foto des Verkäufers
A Roadmap for Formal Property Verification
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties Have I written a consistent set of properties What should I do when the FPV tool runs into capacity issues 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples - you do not need any background on formal methods to read most parts of this book. Bestandsnummer des Verkäufers 9781402047572
Anzahl: 2 verfügbar