Artículos relacionados a Polynomial Formal Verification of Arithmetic Circuits...
Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation) - Tapa blanda
Sinopsis
In recent years, significant effort has been put into developing formal verification approaches in both academic and industrial research. In practice, these techniques often give satisfying results for some types of circuits, while they fail for others. A major challenge in this domain is that the verification techniques suffer from unpredictability in their performance. The only way to overcome this challenge is the calculation of bounds for the space and time complexities. If a verification method has polynomial space and time complexities, scalability can be guaranteed.
In this monograph, Polynomial Formal Verification (PFV) of arithmetic circuits is evaluated. The importance and advantages of PFV are discussed, and subsequently it is proved that PFV of different types of arithmetic circuits, including adders, multipliers, and Arithmetic Logic Units (ALUs), is possible. Furthermore, the exact upper-bound space and time complexities of verifying these circuits are calculated.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 65,21
EUR 17,19 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 62,90
EUR 6,88 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Polynomial Formal Verification of Arithmetic Circuits...
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends(r) in Electronic Design Automation)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781638284048
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends(r) in Electronic Design Automation)
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: ria9781638284048_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 48367360-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
now publishers Inc, US, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Nuevo
Paperback
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781638284048
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
now publishers Inc, US, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Nuevo
Paperback
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781638284048
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
now publishers Inc, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 135. Nº de ref. del artículo: C9781638284048
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
now publishers Inc, US, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Nuevo
Paperback
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781638284048
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
Now Publishers, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 48367360
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Polynomial Formal Verification of Arithmetic Circuits
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 48367360-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Polynomial Formal Verification of Arithmetic Circuits
Publicado por
now publishers Inc, US, 2024
ISBN 10: 1638284040
ISBN 13: 9781638284048
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781638284048
Cantidad disponible: Más de 20 disponibles