{"product_id":"formal-verification-of-floating-point-hardware-design-a-mathematical-approach-9783030871833","title":"Verificación formal del diseño de hardware de punto flotante: un enfoque matemático","description":"\u003cp\u003eEste es el primer libro que se centra en el problema de garantizar la corrección de los diseños de hardware de punto flotante mediante métodos matemáticos. \u003ci\u003eFormal Verification of Floating-Point Hardware Design, Second Edition\u003c\/i\u003e presenta una metodología de verificación basada en una teoría unificada de lógica de transferencia de registros y aritmética de punto flotante que ha sido desarrollada y aplicada a la verificación formal de unidades de punto flotante comerciales durante más de dos décadas, tiempo durante el cual el autor fue empleado por varias de las principales empresas de diseño de microprocesadores. La teoría se extiende al análisis de varios algoritmos y técnicas de optimización que se utilizan comúnmente en implementaciones comerciales de operaciones aritméticas elementales. \u003c\/p\u003e\u003cp\u003eComo base para la verificación formal de dichas implementaciones, se presentan especificaciones de alto nivel de las instrucciones aritméticas básicas de varias arquitecturas de punto flotante estándar de la industria, incluyendo todos los detalles relacionados con el manejo de condiciones excepcionales. La metodología se ilustra en la verificación exhaustiva de una variedad de diseños comerciales de punto flotante de última generación desarrollados por Arm Holdings.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e Esta edición revisada refleja las microarquitecturas en evolución y la creciente sofisticación de los procesadores Arm, y la variación en los objetivos de diseño de velocidad de ejecución, requisitos de área de hardware y consumo de energía. Se han añadido muchos resultados nuevos a las Partes I-III (Lógica de transferencia de registros, Aritmética de punto flotante e Implementación de operaciones elementales), ampliando la teoría y describiendo nuevas técnicas. Estos se derivaron según fue necesario en la verificación de los nuevos diseños RTL descritos en la Parte V. \u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-11877539\"\u003eDavid M. Russinoff\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 03\/05\/2023\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 436\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.43 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.94d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9783030871833\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 3030871835\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051230\"\u003eDesarrollo e ingeniería de software | General\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-TEC\"\u003eTecnología e Ingeniería\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-TEC008010\"\u003eElectrónica | Circuitos | General\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM011000\"\u003eArquitectura de computadoras\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del Autor\u003c\/b\u003e\u003cbr\u003eDavid M. Russinoff es Ingeniero Principal Senior en Arm Holdings. Es licenciado por el Instituto Tecnológico de Massachusetts y doctor por la Universidad de Nueva York, ambos en matemáticas, y tiene un máster en ciencias de la computación por la Universidad de Texas en Austin. Ha dedicado veinticinco años al desarrollo de métodos matemáticos de verificación de hardware, con énfasis en la demostración interactiva de teoremas, y a su aplicación en el análisis de diseños comerciales, especialmente circuitos aritméticos.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44454626328813,"sku":"9783030871833","price":179.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_aa932170-bf63-4c0c-a1fd-5e2b611210c1.jpg?v=1700378046","url":"https:\/\/sureshotbooks.com\/es\/products\/formal-verification-of-floating-point-hardware-design-a-mathematical-approach-9783030871833","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}