Design Automation Techniques for Approximation Circuits / Chandrasekharan, Arun  

Público ISBD Ningún comentario para este registro. Título : Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test Tipo de documento: documento electrónico Autores: Chandrasekharan, Arun, ; Große, Daniel, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIX, 130 p. 24 ilustraciones, 19 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-98965-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Electrónica  Circuitos y sistemas electrónicos  Arquitecturas de procesador  Electrónica y Microelectrónica  Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe técnicas de automatización de diseño confiables y eficientes para el diseño e implementación de un sistema informático aproximado. Los autores abordan las facetas importantes del diseño aproximado de hardware informático, desde la verificación formal y las garantías de error hasta la síntesis y prueba de sistemas de aproximación. Proporcionan algoritmos y metodologías basadas en técnicas clásicas de verificación formal, síntesis y prueba para un flujo de diseño de circuitos integrados informáticos aproximado. Este es uno de los primeros libros sobre Computación Aproximada que aborda los aspectos de la automatización del diseño, con el objetivo no solo de esbozar la posibilidad, sino también de brindar una descripción general completa de las diferentes tareas y, especialmente, de cómo se pueden implementar. Proporciona una descripción general del diseño aproximado del hardware informático; Ofrece una explicación detallada del problema de verificación formal para hardware aproximado; Explica detalladamente varios algoritmos para la síntesis y verificación de un hardware aproximado; Incluye una descripción general de las pruebas de posproducción para circuitos de aproximación y metodologías para mejorar potencialmente el rendimiento del proceso de fabricación; Utiliza estudios de casos y resultados experimentales para describir el problema y la utilidad del enfoque. Nota de contenido: Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References. Tipo de medio : Computadora Summary : This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test [documento electrónico] / Chandrasekharan, Arun, ; Große, Daniel, ; Drechsler, Rolf,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIX, 130 p. 24 ilustraciones, 19 ilustraciones en color. ISBN : 978-3-319-98965-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos  Microprocesadores  Arquitectura de Computadores  Electrónica  Circuitos y sistemas electrónicos  Arquitecturas de procesador  Electrónica y Microelectrónica  Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe técnicas de automatización de diseño confiables y eficientes para el diseño e implementación de un sistema informático aproximado. Los autores abordan las facetas importantes del diseño aproximado de hardware informático, desde la verificación formal y las garantías de error hasta la síntesis y prueba de sistemas de aproximación. Proporcionan algoritmos y metodologías basadas en técnicas clásicas de verificación formal, síntesis y prueba para un flujo de diseño de circuitos integrados informáticos aproximado. Este es uno de los primeros libros sobre Computación Aproximada que aborda los aspectos de la automatización del diseño, con el objetivo no solo de esbozar la posibilidad, sino también de brindar una descripción general completa de las diferentes tareas y, especialmente, de cómo se pueden implementar. Proporciona una descripción general del diseño aproximado del hardware informático; Ofrece una explicación detallada del problema de verificación formal para hardware aproximado; Explica detalladamente varios algoritmos para la síntesis y verificación de un hardware aproximado; Incluye una descripción general de las pruebas de posproducción para circuitos de aproximación y metodologías para mejorar potencialmente el rendimiento del proceso de fabricación; Utiliza estudios de casos y resultados experimentales para describir el problema y la utilidad del enfoque. Nota de contenido: Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References. Tipo de medio : Computadora Summary : This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200