Artículos relacionados a A Roadmap for Formal Property Verification
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2006
- ISBN 10 1402047576
- ISBN 13 9781402047572
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas268
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 36,06
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para A Roadmap for Formal Property Verification
Imagen de archivo
A Roadmap For Formal Property Verificaiton (Hb)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: ABNR-73631
Cantidad disponible: 2 disponibles
Imagen de archivo
A Roadmap For Formal Property Verificaiton (Hb)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-166792
Cantidad disponible: 10 disponibles
Imagen de archivo
A Roadmap For Formal Property Verification
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: ABNR-81864
Cantidad disponible: 1 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. LIKE NEW. book. Nº de ref. del artículo: ERICA83014020475763
Cantidad disponible: 1 disponibles
Imagen de archivo
A Roadmap For Formal Property Verification
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-166793
Cantidad disponible: 1 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781402047572_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
A Roadmap for Formal Property Verification
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: New. FPV methods - presented conceptuallyArchitecting assertion suites with System Verilog AssertionsFormal verification coverageConsistency issues in formal specificationsDesign Intent CoverageIntelligent test generation fr. Nº de ref. del artículo: 458474930
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-1402047576
Cantidad disponible: 1 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Publicado por
Springer-Verlag New York Inc., 2006
ISBN 10: 1402047576
ISBN 13: 9781402047572
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 583. Nº de ref. del artículo: C9781402047572
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar2411530143392
Cantidad disponible: Más de 20 disponibles