Autor Goli, Mehran
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
TÃtulo : Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications Tipo de documento: documento electrónico Autores: Goli, Mehran, Autor ; Drechsler, Rolf, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXI, 166 p. 53 ilustraciones ISBN/ISSN/DL: 978-3-030-44282-8 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 Objetos cooperantes (Sistemas informáticos) Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Sistemas ciberfÃsicos Arquitecturas de procesador Ãndice Dewey: 6.213.815 Resumen: Este libro describe un conjunto de metodologÃas de análisis de prototipos virtuales basadas en SystemC, que incluyen comprensión del diseño, verificación, validación de seguridad y exploración del espacio de diseño. Los lectores obtendrán una descripción general de los últimos resultados de investigación en el campo de la automatización del diseño electrónico (EDA) a nivel de sistema electrónico (ESL). Las metodologÃas analizadas permiten a los lectores abordar fácilmente tareas y aplicaciones clave en el proceso de diseño. Proporciona una amplia introducción al campo del análisis de prototipos virtuales (VP) basado en SystemC a nivel de sistema electrónico; Describe una metodologÃa de comprensión del diseño desde la perspectiva tanto basada en depuradores como basada en compiladores; Ilustra un enfoque de verificación semiformal para comprobar la validez de un VP determinado frente a su especificación, reglas definidas por el usuario y protocolo; Analiza un enfoque de validación de seguridad para validar el comportamiento en tiempo de ejecución de un SoC basado en VP determinado frente a modelos de amenazas a la seguridad, como la fuga de información (confidencialidad) y el acceso no autorizado a datos en una memoria (integridad); Describe un enfoque de exploración del espacio de diseño para VP basados ​​en SystemC para guiar a los diseñadores a saber bajo qué lÃmites de error se pueden aproximar diferentes partes de un VP determinado en diferentes niveles de granularidad. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology -- Chapter 4. Application I: Verification -- Chapter 5. Application II: Security Validation -- Chapter 6. Application III: Design Space Exploration -- Chapter 7. Conclusion. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications [documento electrónico] / Goli, Mehran, Autor ; Drechsler, Rolf, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - XXI, 166 p. 53 ilustraciones.
ISBN : 978-3-030-44282-8
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 Objetos cooperantes (Sistemas informáticos) Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Sistemas ciberfÃsicos Arquitecturas de procesador Ãndice Dewey: 6.213.815 Resumen: Este libro describe un conjunto de metodologÃas de análisis de prototipos virtuales basadas en SystemC, que incluyen comprensión del diseño, verificación, validación de seguridad y exploración del espacio de diseño. Los lectores obtendrán una descripción general de los últimos resultados de investigación en el campo de la automatización del diseño electrónico (EDA) a nivel de sistema electrónico (ESL). Las metodologÃas analizadas permiten a los lectores abordar fácilmente tareas y aplicaciones clave en el proceso de diseño. Proporciona una amplia introducción al campo del análisis de prototipos virtuales (VP) basado en SystemC a nivel de sistema electrónico; Describe una metodologÃa de comprensión del diseño desde la perspectiva tanto basada en depuradores como basada en compiladores; Ilustra un enfoque de verificación semiformal para comprobar la validez de un VP determinado frente a su especificación, reglas definidas por el usuario y protocolo; Analiza un enfoque de validación de seguridad para validar el comportamiento en tiempo de ejecución de un SoC basado en VP determinado frente a modelos de amenazas a la seguridad, como la fuga de información (confidencialidad) y el acceso no autorizado a datos en una memoria (integridad); Describe un enfoque de exploración del espacio de diseño para VP basados ​​en SystemC para guiar a los diseñadores a saber bajo qué lÃmites de error se pueden aproximar diferentes partes de un VP determinado en diferentes niveles de granularidad. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology -- Chapter 4. Application I: Verification -- Chapter 5. Application II: Security Validation -- Chapter 6. Application III: Design Space Exploration -- Chapter 7. Conclusion. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
