Languages, Design Methods, and Tools for Electronic System Design / Große, Daniel ; Vinco, Sara ; Patel, Hiren  

Público ISBD Ningún comentario para este título. Título : Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2017 Tipo de documento: documento electrónico Autores: Große, Daniel, ; Vinco, Sara, ; Patel, Hiren, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VII, 130 p. 83 ilustraciones, 73 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-02215-0 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 reúne una selección de los mejores artículos de la vigésima edición del Foro sobre especificación y Conferencia de Lenguajes de Diseño (FDL), que tuvo lugar del 18 al 20 de septiembre de 2017 en Verona, Italia. FDL es un foro internacional bien establecido dedicado a la difusión de resultados de investigación, experiencias prácticas y nuevas ideas en la aplicación de lenguajes de especificación, diseño y verificación al diseño, modelado y verificación de circuitos integrados, sistemas complejos integrados de hardware/software y mixtos. -sistemas tecnológicos. Cubre metodologías de modelado y verificación dirigidas a sistemas digitales y analógicos; Aborda el desarrollo y validación de firmware; Se dirige a propiedades tanto funcionales como no funcionales; Incluye descripciones de métodos para el diseño confiable de sistemas. Nota de contenido: 1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces -- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach -- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers -- 4. Language and Hardware Acceleration Backend for Graph Processing -- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2017 [documento electrónico] / Große, Daniel, ; Vinco, Sara, ; Patel, Hiren,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - VII, 130 p. 83 ilustraciones, 73 ilustraciones en color. ISBN : 978-3-030-02215-0 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 reúne una selección de los mejores artículos de la vigésima edición del Foro sobre especificación y Conferencia de Lenguajes de Diseño (FDL), que tuvo lugar del 18 al 20 de septiembre de 2017 en Verona, Italia. FDL es un foro internacional bien establecido dedicado a la difusión de resultados de investigación, experiencias prácticas y nuevas ideas en la aplicación de lenguajes de especificación, diseño y verificación al diseño, modelado y verificación de circuitos integrados, sistemas complejos integrados de hardware/software y mixtos. -sistemas tecnológicos. Cubre metodologías de modelado y verificación dirigidas a sistemas digitales y analógicos; Aborda el desarrollo y validación de firmware; Se dirige a propiedades tanto funcionales como no funcionales; Incluye descripciones de métodos para el diseño confiable de sistemas. Nota de contenido: 1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces -- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach -- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers -- 4. Language and Hardware Acceleration Backend for Graph Processing -- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. 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