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.
Otras 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
Comprar nuevo
EUR 36,23
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
A Roadmap For Formal Property Verificaiton (Hb)
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-73631
Comprar nuevo
EUR 37,82
Gastos de envío:
GRATIS
A Estados Unidos de America
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: ABEOCT25-154219
Comprar nuevo
EUR 48,78
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 3 disponibles
Edición internacional
A Roadmap For Formal Property Verificaiton (Hb)
Edición internacionalLibrería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Nº de ref. del artículo: CBS 9781402047572
Comprar nuevo
EUR 46,19
Gastos de envío:
EUR 4,54
De Reino Unido a Estados Unidos de America
Cantidad disponible: 8 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK154219
Comprar nuevo
EUR 54,68
Gastos de envío:
GRATIS
De Australia a Estados Unidos de America
Cantidad disponible: 3 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 NewLIKE NEW. book. Nº de ref. del artículo: ERICA83814020475763
Comprar usado
EUR 66,78
Gastos de envío:
EUR 28,44
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 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
Comprar nuevo
EUR 95,45
Gastos de envío:
GRATIS
A Estados Unidos de America
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: ABEOCT25-154220
Comprar nuevo
EUR 95,45
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
A Roadmap for Formal Property Verification
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK154220
Comprar nuevo
EUR 105,71
Gastos de envío:
GRATIS
De Australia a Estados Unidos de America
Cantidad disponible: 1 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
Comprar nuevo
EUR 104,56
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles