Languages, Design Methods, and Tools for Electronic System Design / Fummi, Franco ; Wille, Robert  

Público ISBD Ningún comentario para este registro. Título : Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 Tipo de documento: documento electrónico Autores: Fummi, Franco, ; Wille, Robert, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: VII, 116 p. 61 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-62920-9 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 Índice Dewey: 6.213.815 Resumen: Este libro reúne una selección de los mejores artículos de la decimonovena edición de la Conferencia del Foro sobre Lenguajes de Diseño y Especificación (FDL), que tuvo lugar del 14 al 16 de septiembre de 2016 en Bremen, 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 embebidos complejos de hardware/software y sistemas de tecnología mixta. · Cubre técnicas de diseño de señales analógicas-mixtas; · Incluye descripciones de métodos para el diseño de sistemas confiables, así como la localización de fallas; · Introduce métodos estocásticos para el modelado de potencia; · Cubre técnicas de diseño para circuitos analógicos y adiabáticos. Nota de contenido: Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation -- Chapter2. Designing Reliable Cyber-Physical Systems -- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study -- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems -- Chapter5. Feature based State Space Coverage of Analog Circuits -- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation. 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 Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 [documento electrónico] / Fummi, Franco, ; Wille, Robert,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - VII, 116 p. 61 ilustraciones, 48 ilustraciones en color. ISBN : 978-3-319-62920-9 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 Índice Dewey: 6.213.815 Resumen: Este libro reúne una selección de los mejores artículos de la decimonovena edición de la Conferencia del Foro sobre Lenguajes de Diseño y Especificación (FDL), que tuvo lugar del 14 al 16 de septiembre de 2016 en Bremen, 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 embebidos complejos de hardware/software y sistemas de tecnología mixta. · Cubre técnicas de diseño de señales analógicas-mixtas; · Incluye descripciones de métodos para el diseño de sistemas confiables, así como la localización de fallas; · Introduce métodos estocásticos para el modelado de potencia; · Cubre técnicas de diseño para circuitos analógicos y adiabáticos. Nota de contenido: Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation -- Chapter2. Designing Reliable Cyber-Physical Systems -- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study -- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems -- Chapter5. Feature based State Space Coverage of Analog Circuits -- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation. 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

---

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