Languages, Design Methods, and Tools for Electronic System Design / Kazmierski, Tom J. ; Steinhorst, Sebastian ; Große, Daniel  

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 2018 Tipo de documento: documento electrónico Autores: Kazmierski, Tom J., ; Steinhorst, Sebastian, ; Große, Daniel, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VII, 192 p. 77 ilustraciones, 41 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31585-6 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 primera edición del Foro sobre especificación y Conferencia de Lenguajes de Diseño (FDL), que tuvo lugar del 10 al 12 de septiembre de 2018 en Munich, Alemania. 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 diseño, verificación y depuración basados ​​en afirmaciones; Incluye técnicas de diseño y modelado basadas en lenguaje para sistemas integrados; Cubre el diseño, modelado y verificación de sistemas de dominio físico mixto y de señales mixtas que incluyen partes analógicas importantes en dominios eléctricos y no eléctricos; Incluye métodos de diseño a nivel de sistema formales y semiformales para sistemas integrados complejos basados ​​en el lenguaje de modelado unificado (UML) y la ingeniería basada en modelos (MDE). Nota de contenido: Introduction -- Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs -- Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach -- Symbolic Simulation of Dataflow Synchronous Programs with Timers -- Language and Hardware Acceleration Backend for Graph Processing -- Runtime Task Mapping for Lifetime Budgeting in Many-Core Systems -- Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- Towards Consistency Checking Between HDL and UPF 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 2018 [documento electrónico] / Kazmierski, Tom J., ; Steinhorst, Sebastian, ; Große, Daniel,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - VII, 192 p. 77 ilustraciones, 41 ilustraciones en color. ISBN : 978-3-030-31585-6 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 primera edición del Foro sobre especificación y Conferencia de Lenguajes de Diseño (FDL), que tuvo lugar del 10 al 12 de septiembre de 2018 en Munich, Alemania. 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 diseño, verificación y depuración basados ​​en afirmaciones; Incluye técnicas de diseño y modelado basadas en lenguaje para sistemas integrados; Cubre el diseño, modelado y verificación de sistemas de dominio físico mixto y de señales mixtas que incluyen partes analógicas importantes en dominios eléctricos y no eléctricos; Incluye métodos de diseño a nivel de sistema formales y semiformales para sistemas integrados complejos basados ​​en el lenguaje de modelado unificado (UML) y la ingeniería basada en modelos (MDE). Nota de contenido: Introduction -- Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs -- Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach -- Symbolic Simulation of Dataflow Synchronous Programs with Timers -- Language and Hardware Acceleration Backend for Graph Processing -- Runtime Task Mapping for Lifetime Budgeting in Many-Core Systems -- Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- Towards Consistency Checking Between HDL and UPF 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