Design Automation Techniques for Approximation Circuits / Chandrasekharan, Arun  

Público ISBD Ningún comentario para este título. 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. 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: 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. 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. 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: 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. 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