Información del autor
Autor Drechsler, Rolf |
Documentos disponibles escritos por este autor (14)
Crear una solicitud de compra Refinar búsqueda
Título : Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems Tipo de documento: documento electrónico Autores: Drechsler, Rolf, ; Soeken, Mathias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20323-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. Tipo de medio : Computadora Summary : This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems [documento electrónico] / Drechsler, Rolf, ; Soeken, Mathias, . - 1 ed. . - [s.l.] : Springer, 2020 . - VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color.
ISBN : 978-3-030-20323-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. Tipo de medio : Computadora Summary : This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Advanced Logic Synthesis Tipo de documento: documento electrónico Autores: Reis, André Inácio, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 232 p. 118 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-67295-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Clasificación: 6.213.815 Resumen: Este libro proporciona una referencia única al estado del arte en síntesis lógica. Los lectores se beneficiarán de las perspectivas expertas de los autores sobre nuevas tecnologías y síntesis lógica, nuevas estructuras de datos, big data y síntesis lógica, y síntesis lógica convergente. Los autores describen técnicas que permitirán a los lectores aprovechar los avances recientes en técnicas y marcos de big data para tener mejores algoritmos de síntesis lógica. Describe cómo mapear la lógica en nuevas tecnologías y dispositivos post-CMOS; Explica cómo utilizar diferentes tipos de estructuras de datos internas, como Majority-Inverter-Graphs; Analiza cómo combinar la síntesis lógica y el diseño físico para tener formas más efectivas y convergentes de realizar la síntesis lógica integrada en un flujo completo. Tipo de medio : Computadora Summary : This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms. Describes how to map logic into new post-CMOS technologies and devices; Explains how to use different types of internal data structures, such as Majority-Inverter-Graphs; Discusses how to mix logic synthesis and physical design in order to have more effective and convergent ways to perform logic synthesis integrated in a complete flow. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Logic Synthesis [documento electrónico] / Reis, André Inácio, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 232 p. 118 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-319-67295-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Clasificación: 6.213.815 Resumen: Este libro proporciona una referencia única al estado del arte en síntesis lógica. Los lectores se beneficiarán de las perspectivas expertas de los autores sobre nuevas tecnologías y síntesis lógica, nuevas estructuras de datos, big data y síntesis lógica, y síntesis lógica convergente. Los autores describen técnicas que permitirán a los lectores aprovechar los avances recientes en técnicas y marcos de big data para tener mejores algoritmos de síntesis lógica. Describe cómo mapear la lógica en nuevas tecnologías y dispositivos post-CMOS; Explica cómo utilizar diferentes tipos de estructuras de datos internas, como Majority-Inverter-Graphs; Analiza cómo combinar la síntesis lógica y el diseño físico para tener formas más efectivas y convergentes de realizar la síntesis lógica integrada en un flujo completo. Tipo de medio : Computadora Summary : This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms. Describes how to map logic into new post-CMOS technologies and devices; Explains how to use different types of internal data structures, such as Majority-Inverter-Graphs; Discusses how to mix logic synthesis and physical design in order to have more effective and convergent ways to perform logic synthesis integrated in a complete flow. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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, ; Drechsler, Rolf, 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process. Provides an extensive introduction to the field of SystemC‐based virtual prototype (VP) analysis at the electronic system level; Describes a design understanding methodology from both debugger-based and compiler‐based perspectives; Illustrates a semi‐formal verification approach to check the validity of a given VP against its specification, user‐defined rules and protocol; Discusses a security validation approach to validate the run‐time behavior of a given VP-based SoC against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity); Describes a design space exploration approach for SystemC-based VPs to guide designers to know under which error limits, different portions of a given VP can be approximated at different granularity levels. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications [documento electrónico] / Goli, Mehran, ; Drechsler, Rolf, . - 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process. Provides an extensive introduction to the field of SystemC‐based virtual prototype (VP) analysis at the electronic system level; Describes a design understanding methodology from both debugger-based and compiler‐based perspectives; Illustrates a semi‐formal verification approach to check the validity of a given VP against its specification, user‐defined rules and protocol; Discusses a security validation approach to validate the run‐time behavior of a given VP-based SoC against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity); Describes a design space exploration approach for SystemC-based VPs to guide designers to know under which error limits, different portions of a given VP can be approximated at different granularity levels. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Tipo de documento: documento electrónico Autores: Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 255 p. 16 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-72814-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) 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: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. Tipo de medio : Computadora Summary : This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [documento electrónico] / Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 255 p. 16 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-72814-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
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: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. Tipo de medio : Computadora Summary : This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Automatic Methods for the Refinement of System Models : From the Specification to the Implementation Tipo de documento: documento electrónico Autores: Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-41480-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) 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: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. Tipo de medio : Computadora Summary : This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automatic Methods for the Refinement of System Models : From the Specification to the Implementation [documento electrónico] / Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-41480-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
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: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. Tipo de medio : Computadora Summary : This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
